| de.uka.ilkd.key.java.abstraction |
|
This package contains the meta model abstractions as used by the
semantical services. The {@link recoder.abstraction.ProgramModelElement}s
hide the origin of the information, be it from Java source code,
Java byte code, or predefined lacking any syntactical representation.
There are three implicitly defined entities -
{@link recoder.abstraction.ArrayType},
{@link recoder.abstraction.DefaultConstructor}, and
{@link recoder.abstraction.Package}, as well as the predefined
types {@link recoder.abstraction.NullType} and the base class for
the small number of {@link recoder.abstraction.PrimitiveType}s.
{@link recoder.abstraction.Scope}s are attached to
{@link recoder.abstraction.ScopeDefiningElement}s by
{@link recoder.service.SourceInfo} implementations and should
not be modified from others.
|
| Java Source File Name | Type | Comment |
| ArrayType.java | Interface | A program model element representing array types. |
| ClassType.java | Interface | A program model element representing class types. |
| ClassTypeContainer.java | Interface | A program model element that may contain class types. |
| Constructor.java | Interface | A program model element representing constructors. |
| DefaultConstructor.java | Class | Default constructor of class types. |
| Field.java | Interface | A program model element representing fields.
author:
AL
author:
RN
author:
The file has been modified by the KeY team. |
| KeYJavaType.java | Class | The KeY java type realises a tuple (sort, type) of a logic sort and
the java type (for example a class declaration). |
| Member.java | Interface | A program model element representing members. |
| Method.java | Interface | A program model element representing methods. |
| NullType.java | Class | A program model element representing the null type. |
| Package.java | Class | A program model element representing packages. |
| PrimitiveType.java | Class | A program model element representing primitive types. |
| ProgramModelElement.java | Interface | An entity of the program meta model. |
| Type.java | Interface | A program model element representing types. |
| Variable.java | Interface | A program model element representing variables. |