| de.uka.ilkd.key.java.reference |
|
Elements of the Java syntax tree representing implicit or explicit (named)
references to other program elements.
|
| Java Source File Name | Type | Comment |
| ArrayLengthReference.java | Class | Array length reference. |
| ArrayReference.java | Class | Array reference. |
| ConstructorReference.java | Interface | Constructor reference. |
| ExecutionContext.java | Class | |
| FieldReference.java | Class | Field reference. |
| IExecutionContext.java | Interface | |
| MemberReference.java | Interface | Member reference. |
| MetaClassReference.java | Class | Meta class reference. |
| MethodName.java | Interface | Method name. |
| MethodReference.java | Class | Method reference. |
| NameReference.java | Interface | A NameReference references an entity by its explicite name. |
| PackageReference.java | Class | Package reference. |
| PackageReferenceContainer.java | Interface | Element that contains a PackageReference. |
| ReferencePrefix.java | Interface | Reference prefix. |
| ReferenceSuffix.java | Interface | Reference suffix. |
| SchematicFieldReference.java | Class | Field reference. |
| SchemaTypeReference.java | Class | |
| SpecialConstructorReference.java | Class | Occurs in a constructor declaration as the first statement
as this(...) or super(...) reference. |
| SuperConstructorReference.java | Class | Super constructor reference. |
| SuperReference.java | Class | Super reference. |
| ThisConstructorReference.java | Class | This constructor reference. |
| ThisReference.java | Class | A reference to the current object. |
| TypeRef.java | Class | |
| TypeReference.java | Interface | TypeReferences reference
recoder.abstraction.Type s by name.
A TypeReference can refer to an outer or inner type and hence can also
be a
MemberReference , but does not have to.
A TypeReference can also occur as part of a reference path and
as a prefix for types, too. |
| TypeReferenceContainer.java | Interface | Type reference container. |
| TypeReferenceImp.java | Class | TypeReferences reference
recoder.abstraction.Type s by name.
A TypeReference can refer to an outer or inner type and hence can also
be a
MemberReference , but does not have to.
A TypeReference can also occur as part of a reference path and
as a prefix for types, too. |
| TypeReferenceInfix.java | Interface | ReferencePrefix and -suffix that is admissible for outer type references. |
| VariableReference.java | Class | Variable reference. |