public class KeyIO
extends java.lang.Object
This classes encapsulates the Services
, NamespaceSet
for SchemaVariable
s.
It also modifies them during interpretation.
Modifier and Type | Class and Description |
---|---|
class |
KeyIO.Loader
Loading of complete KeY files into the given schema.
|
Constructor and Description |
---|
KeyIO() |
KeyIO(Services services) |
KeyIO(Services services,
NamespaceSet nss) |
Modifier and Type | Method and Description |
---|---|
void |
evalDeclarations(KeyAst.File ctx) |
void |
evalFuncAndPred(KeyAst.File ctx) |
java.util.List<Taclet> |
findTaclets(KeyAst.File ctx) |
AbbrevMap |
getAbbrevMap() |
Services |
getServices() |
KeyIO.Loader |
load(org.antlr.v4.runtime.CharStream content) |
KeyIO.Loader |
load(java.nio.file.Path file)
Create a loader instance for the given path.
|
KeyIO.Loader |
load(java.lang.String content) |
KeyIO.Loader |
load(java.net.URL u)
Create a loader instance for the given path.
|
Term |
parseExpression(org.antlr.v4.runtime.CharStream stream)
Given an input stream, this function returns an term if parsable.
|
Term |
parseExpression(java.lang.String expr)
Given an input string, this function returns a term if parsable.
|
Sequent |
parseSequence(org.antlr.v4.runtime.CharStream stream)
Given an input stream, this function returns a sequent if parsable.
|
void |
setAbbrevMap(AbbrevMap abbrevMap) |
void |
setSchemaNamespace(Namespace<SchemaVariable> ns) |
public KeyIO(@Nonnull Services services, @Nonnull NamespaceSet nss)
public KeyIO(Services services)
public KeyIO()
@Nonnull public Term parseExpression(@Nonnull java.lang.String expr)
expr
- a valid streamBuildingException
- if an unrecoverable error during construction or parsing happened@Nonnull public Term parseExpression(@Nonnull org.antlr.v4.runtime.CharStream stream)
stream
- a valid streamBuildingException
- if an unrecoverable error during construction or parsing happened@Nonnull public Sequent parseSequence(@Nonnull org.antlr.v4.runtime.CharStream stream)
stream
- a valid streamBuildingException
- if an unrecoverable error during construction or parsing happenedpublic Services getServices()
public KeyIO.Loader load(java.nio.file.Path file)
file
- public KeyIO.Loader load(org.antlr.v4.runtime.CharStream content)
public KeyIO.Loader load(java.lang.String content)
public KeyIO.Loader load(java.net.URL u)
u
- public java.util.List<Taclet> findTaclets(KeyAst.File ctx)
ctx
- public void evalDeclarations(KeyAst.File ctx)
ctx
- public void evalFuncAndPred(KeyAst.File ctx)
ctx
- public void setSchemaNamespace(Namespace<SchemaVariable> ns)
public void setAbbrevMap(AbbrevMap abbrevMap)
public AbbrevMap getAbbrevMap()
Copyright © 2003-2019 The KeY-Project.