de.uka.ilkd.key.util.rifl

Class SpecificationEntity.Field

java.lang.Object

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

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

Enclosing class:

SpecificationEntity

public static final class SpecificationEntity.Field
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	name

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

inClass, inPackage, type

Constructor Summary

Constructors

Constructor and Description
Field(java.lang.String n, java.lang.String p, java.lang.String c, SpecificationEntity.Type t) Creates a new specification element for a field.

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

name

public final java.lang.String name

Constructor Detail

Field

Field(java.lang.String n,
      java.lang.String p,
      java.lang.String c,
      SpecificationEntity.Type t)

Creates a new specification element for a field.

Parameters:

n - name of the field

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

c - name of the class where the field 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