Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4

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.
Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4