Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4

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.

Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4