Package | Description |
---|---|
de.uka.ilkd.key.nparser | |
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
Modifier and Type | Method and Description |
---|---|
static KeyAst.File |
ParsingFacade.parseFile(org.antlr.v4.runtime.CharStream stream) |
static KeyAst.File |
ParsingFacade.parseFile(java.io.File file) |
static KeyAst.File |
ParsingFacade.parseFile(java.nio.file.Path file) |
static KeyAst.File |
ParsingFacade.parseFile(java.net.URL url) |
Modifier and Type | Method and Description |
---|---|
static java.util.List<KeyAst.File> |
ParsingFacade.parseFiles(java.net.URL url) |
Modifier and Type | Method and Description |
---|---|
void |
KeyIO.evalDeclarations(KeyAst.File ctx) |
void |
KeyIO.evalFuncAndPred(KeyAst.File ctx) |
java.util.List<Taclet> |
KeyIO.findTaclets(KeyAst.File ctx) |
Modifier and Type | Method and Description |
---|---|
static ChoiceInformation |
ParsingFacade.getChoices(java.util.List<KeyAst.File> ctxs)
Extracts the choice information from the given the parsed files
ctxs . |
Modifier and Type | Method and Description |
---|---|
protected KeyAst.File |
KeYFile.getParseContext() |
Copyright © 2003-2019 The KeY-Project.