KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a

Package de.uka.ilkd.key.parser

This package contains the parser for .key and .proof files.

See: Description

Package de.uka.ilkd.key.parser Description

This package contains the parser for .key and .proof files. The subpackages also contain parsers for extended versions of Java, as it is used in proofs and in rule files.
KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a