de.uka.ilkd.key.util.rifl

Class SpecificationEntity.ReturnValue

java.lang.Object

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

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

Enclosing class:

SpecificationEntity

public static final class SpecificationEntity.ReturnValue
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
java.lang.String	methodName
java.lang.String[]	paramTypes

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

inClass, inPackage, type

Constructor Summary

Constructors

Constructor and Description
ReturnValue(java.lang.String m, java.lang.String[] pt, java.lang.String p, java.lang.String c, SpecificationEntity.Type t) Creates a new specification element for a method return.
ReturnValue(java.lang.String m, java.lang.String p, java.lang.String c, SpecificationEntity.Type t) Creates a new specification element for a method return.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.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 java.lang.String methodName

paramTypes

public final java.lang.String[] paramTypes

Constructor Detail

ReturnValue

ReturnValue(java.lang.String m,
            java.lang.String p,
            java.lang.String c,
            SpecificationEntity.Type t)

Creates a new specification element for a method return.

Parameters:

m - name of the method with parameter types in parentheses

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

ReturnValue

ReturnValue(java.lang.String m,
            java.lang.String[] pt,
            java.lang.String p,
            java.lang.String c,
            SpecificationEntity.Type t)

Creates a new specification element for a method return.

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(java.lang.Object o)

Overrides:

equals in class SpecificationEntity

hashCode

public int hashCode()

Specified by:

hashCode in class SpecificationEntity

qualifiedName

public java.lang.String qualifiedName()

Specified by:

qualifiedName in class SpecificationEntity