Package | Description |
---|---|
de.uka.ilkd.key.nparser | |
de.uka.ilkd.key.nparser.builder |
Modifier and Type | Class and Description |
---|---|
class |
KeYParserBaseVisitor<T>
This class provides an empty implementation of
KeYParserVisitor ,
which can be extended to create a visitor which only needs to handle a subset
of the available methods. |
Modifier and Type | Class and Description |
---|---|
class |
ChoiceFinder
This visitor gathers the choice information in
KeyAst.File
and provide ChoiceInformation . |
class |
ContractsAndInvariantsFinder
This visitor finds all contracts and invariant clauses in
KeyAst . |
class |
DeclarationBuilder
This visitor evaluates all basic (level 0) declarations.
|
class |
DefaultBuilder
Helper class for are visitor that requires a namespaces and services.
|
class |
ExpressionBuilder
This visitor creates expression from
KeyAst.Term . |
class |
FindProblemInformation
The visitor for extracting the
ProblemInformation . |
class |
FunctionPredicateBuilder
This visitor evaluates all secondary (level 1) declarations.
|
class |
IncludeFinder
This visitor finds all includes in the given ASTs.
|
class |
ProblemFinder
This visitor finds the problem information (problemTerm, choosedContract, and proofObligation)
of a
KeyAst.File . |
class |
TacletPBuilder |
Copyright © 2003-2019 The KeY-Project.