Skip navigation links
KeY 2.6.0_3b928241d3c6497f2bf3626bad48a3118b304db1

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