Package de.uka.ilkd.key.parser

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

See: Description

Class Summary

Class	Description
DefaultTermParser	This class wraps the default KeY-Term-Parser.
IdDeclaration
KeYLexer
KeYLexerF
KeYLexerTokens	This class provides better literals to the tokens in the keyparser.
KeYParser
KeYParser.accessterm_bracket_suffix_return
KeYParser.PairOfStringAndJavaBlock
KeYParserF	Extends generated class KeYParser with custom constructors.
Location	This class represents a location in a file.
ParserConfig
SchemaVariableModifierSet
SchemaVariableModifierSet.FormulaSV
SchemaVariableModifierSet.FreshProgVarSV
SchemaVariableModifierSet.ProgramSV
SchemaVariableModifierSet.SkolemTermSV
SchemaVariableModifierSet.TermLabelSV
SchemaVariableModifierSet.TermSV
SchemaVariableModifierSet.VariableSV

Enum Summary

Enum	Description
ParserMode	The mode in which the parser is currently running.

Exception Summary

Exception	Description
AmbigiousDeclException
GenericSortException
InvalidFindException
JavaParserException
KeYSemanticException
NotDeclException
ParserException	This class represents an error of a parser.
UnfittingReplacewithException
WarningException

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.