Class | Description |
---|---|
BuilderHelpers | |
ChoiceFinder |
This visitor gathers the choice information in
KeyAst.File
and provide ChoiceInformation . |
ContractsAndInvariantsFinder |
This visitor finds all contracts and invariant clauses in
KeyAst . |
DeclarationBuilder |
This visitor evaluates all basic (level 0) declarations.
|
DefaultBuilder |
Helper class for are visitor that requires a namespaces and services.
|
ExpressionBuilder |
This visitor creates expression from
KeyAst.Term . |
FindProblemInformation |
The visitor for extracting the
ProblemInformation . |
FunctionPredicateBuilder |
This visitor evaluates all secondary (level 1) declarations.
|
IncludeFinder |
This visitor finds all includes in the given ASTs.
|
ProblemFinder |
This visitor finds the problem information (problemTerm, choosedContract, and proofObligation)
of a
KeyAst.File . |
TacletPBuilder |
Copyright © 2003-2019 The KeY-Project.