de.uka.ilkd.key.java.reference
Interfaces
ConstructorReference
IExecutionContext
MemberReference
MethodName
MethodOrConstructorReference
NameReference
PackageReferenceContainer
ReferencePrefix
ReferenceSuffix
TypeReference
TypeReferenceContainer
TypeReferenceInfix
Classes
ArrayLengthReference
ArrayReference
ExecutionContext
FieldReference
MetaClassReference
MethodReference
PackageReference
SchematicFieldReference
SchemaTypeReference
SpecialConstructorReference
SuperConstructorReference
SuperReference
ThisConstructorReference
ThisReference
TypeRef
TypeReferenceImp
VariableReference