de.uka.ilkd.key.util.rifl

Class SpecificationEntity.Parameter

java.lang.Object

de.uka.ilkd.key.util.rifl.SpecificationEntity

de.uka.ilkd.key.util.rifl.SpecificationEntity.Parameter

Enclosing class:

SpecificationEntity

public static final class SpecificationEntity.Parameter
extends SpecificationEntity

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.util.rifl.SpecificationEntity

SpecificationEntity.Field, SpecificationEntity.Parameter, SpecificationEntity.ReturnValue, SpecificationEntity.Type

Field Summary

Fields

Modifier and Type	Field and Description
String	methodName
String[]	paramTypes
int	position

Fields inherited from class de.uka.ilkd.key.util.rifl.SpecificationEntity

inClass, inPackage, type

Constructor Summary

Constructors

Constructor and Description
Parameter(int pos, String m, String[] pt, String p, String c, SpecificationEntity.Type t) Creates a new specification element for a method parameter.
Parameter(int pos, String m, String p, String c, SpecificationEntity.Type t) Creates a new specification element for a method parameter.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
String	qualifiedName()

Methods inherited from class de.uka.ilkd.key.util.rifl.SpecificationEntity

toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

methodName

public final String methodName

paramTypes

public final String[] paramTypes

position

public final int position

Constructor Detail

Parameter

Parameter(int pos,
          String m,
          String p,
          String c,
          SpecificationEntity.Type t)

Creates a new specification element for a method parameter.

Parameters:

pos - the index within the sequence of parameters

m - name of the method with parameter types in parentheses

p - package name of the class where the method is declared

c - name of the class where the method is declared

Parameter

Parameter(int pos,
          String m,
          String[] pt,
          String p,
          String c,
          SpecificationEntity.Type t)

Creates a new specification element for a method parameter.

Parameters:

pos - the index within the sequence of parameters

m - name of the method

pt - names of the parameter types of the method

p - package name of the class where the method is declared

c - name of the class where the method is declared

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class SpecificationEntity

hashCode

public int hashCode()

Specified by:

hashCode in class SpecificationEntity

qualifiedName

public String qualifiedName()

Specified by:

qualifiedName in class SpecificationEntity