Package | Description |
---|---|
de.uka.ilkd.key.nparser.builder |
Modifier and Type | Class and Description |
---|---|
class |
ContractsAndInvariantsFinder
This visitor finds all contracts and invariant clauses in
KeyAst . |
class |
DeclarationBuilder
This visitor evaluates all basic (level 0) declarations.
|
class |
ExpressionBuilder
This visitor creates expression from
KeyAst.Term . |
class |
FunctionPredicateBuilder
This visitor evaluates all secondary (level 1) declarations.
|
class |
ProblemFinder
This visitor finds the problem information (problemTerm, choosedContract, and proofObligation)
of a
KeyAst.File . |
class |
TacletPBuilder |
Copyright © 2003-2019 The KeY-Project.