public static class KeyAst.File extends KeyAst<KeYParser.FileContext>
KeyAst.File, KeyAst.Seq, KeyAst.Term
Modifier and Type | Method and Description |
---|---|
org.antlr.v4.runtime.Token |
findProof() |
Triple<java.lang.String,java.lang.Integer,java.lang.Integer> |
findProofScript() |
ProofSettings |
findProofSettings() |
ChoiceInformation |
getChoices() |
Includes |
getIncludes(java.net.URL base) |
java.lang.String |
getProblemHeader()
Extracts the decls and taclets into a string.
|
ProblemInformation |
getProblemInformation() |
@Nullable public ProofSettings findProofSettings()
@Nullable public Triple<java.lang.String,java.lang.Integer,java.lang.Integer> findProofScript()
public Includes getIncludes(java.net.URL base)
public ChoiceInformation getChoices()
public ProblemInformation getProblemInformation()
public org.antlr.v4.runtime.Token findProof()
public java.lang.String getProblemHeader()
Copyright © 2003-2019 The KeY-Project.