de.uka.ilkd.key.util.rifl

Class SpecificationEntity

java.lang.Object

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

Direct Known Subclasses:

SpecificationEntity.Field, SpecificationEntity.Parameter, SpecificationEntity.ReturnValue

public abstract class SpecificationEntity
extends Object

Program elements which may be named as sources or sinks in RIFL/Java. Currently fields, method parameters, and method return values can be named both sources and sinks.

Author:

bruns

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SpecificationEntity.Field
static class	SpecificationEntity.Parameter
static class	SpecificationEntity.ReturnValue
(package private) static class	SpecificationEntity.Type

Field Summary

Fields

Modifier and Type	Field and Description
String	inClass
String	inPackage
SpecificationEntity.Type	type

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SpecificationEntity(String p, String c, SpecificationEntity.Type t)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

inPackage

public final String inPackage

inClass

public final String inClass

type

public final SpecificationEntity.Type type

Constructor Detail

SpecificationEntity

private SpecificationEntity(String p,
                            String c,
                            SpecificationEntity.Type t)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class Object

qualifiedName

public abstract String qualifiedName()

toString

public String toString()

Overrides:

toString in class Object