Skip navigation links
KeY 2.6.0_3b928241d3c6497f2bf3626bad48a3118b304db1

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.0_3b928241d3c6497f2bf3626bad48a3118b304db1