Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4

Package de.uka.ilkd.key.speclang

This package contains the specification language frontends of KeY.

See: Description

Package de.uka.ilkd.key.speclang Description

This package contains the specification language frontends of KeY. The task of the individual frontends (locates in subpackages such as "jml"), is to create objects of the types declared in this package. Core types are Contract, OperationContract, and DependencyContract. These are used as input by the proof obligations declared in package proof.init.
Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4