public interface IProofFileParser
KeYParser
needs to parse a *.proof file
and to apply the rules again.Modifier and Type | Interface and Description |
---|---|
static class |
IProofFileParser.ProofElementID
Enumeration of the different syntactic elements occurring in a saved
proof tree representation.
|
Modifier and Type | Method and Description |
---|---|
void |
beginExpr(IProofFileParser.ProofElementID eid,
java.lang.String str) |
void |
endExpr(IProofFileParser.ProofElementID eid,
int stringLiteralLine) |
java.util.List<java.lang.Throwable> |
getErrors() |
java.lang.String |
getStatus() |
void beginExpr(IProofFileParser.ProofElementID eid, java.lang.String str)
void endExpr(IProofFileParser.ProofElementID eid, int stringLiteralLine)
java.lang.String getStatus()
java.util.List<java.lang.Throwable> getErrors()