KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a

Package de.uka.ilkd.key.java.abstraction

This package contains the meta model abstractions as used by the semantical services.

See: Description

Package de.uka.ilkd.key.java.abstraction Description

This package contains the meta model abstractions as used by the semantical services. The ProgramModelElements 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 - ArrayType, DefaultConstructor, and Package, as well as the predefined types NullType and the base class for the small number of PrimitiveTypes.

Scopes are attached to ScopeDefiningElements by SourceInfo implementations and should not be modified from others.

KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a