public class KeyIO.Loader
extends java.lang.Object
Little sister of ProblemInitializer
.
Modifier and Type | Method and Description |
---|---|
KeyIO.Loader |
activateLDTs() |
Term |
getProblem() |
ProblemInformation |
getProblemInformation() |
Namespace<SchemaVariable> |
getSchemaNamespace() |
ChoiceInformation |
loadChoices() |
java.util.List<Taclet> |
loadComplete() |
ProblemFinder |
loadCompleteProblem() |
KeyIO.Loader |
loadDeclarations() |
ProblemFinder |
loadProblem() |
KeyIO.Loader |
loadSndDegreeDeclarations() |
java.util.List<Taclet> |
loadTaclets() |
KeyIO.Loader |
parseFile() |
public Namespace<SchemaVariable> getSchemaNamespace()
public java.util.List<Taclet> loadComplete() throws java.io.IOException
java.io.IOException
public KeyIO.Loader activateLDTs()
public ProblemFinder loadCompleteProblem() throws java.io.IOException
java.io.IOException
public KeyIO.Loader parseFile() throws java.io.IOException
java.io.IOException
public ProblemInformation getProblemInformation()
public ChoiceInformation loadChoices()
public KeyIO.Loader loadDeclarations()
public KeyIO.Loader loadSndDegreeDeclarations()
public ProblemFinder loadProblem()
public java.util.List<Taclet> loadTaclets()
public Term getProblem()
Copyright © 2003-2019 The KeY-Project.