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 java.lang.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
java.lang.String	inClass
java.lang.String	inPackage
SpecificationEntity.Type	type

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

inPackage

public final java.lang.String inPackage

inClass

public final java.lang.String inClass

type

public final SpecificationEntity.Type type

Constructor Detail

SpecificationEntity

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

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

qualifiedName

public abstract java.lang.String qualifiedName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object