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