Skip navigation links

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

Copyright © 2003-2019 The KeY-Project.