Package | Description |
---|---|
de.uka.ilkd.key.nparser.builder | |
de.uka.ilkd.key.parser |
This package contains the parser for .key and .proof files.
|
Modifier and Type | Method and Description |
---|---|
protected void |
TacletPBuilder.declareSchemaVariable(org.antlr.v4.runtime.ParserRuleContext ctx,
java.lang.String name,
Sort s,
boolean makeVariableSV,
boolean makeSkolemTermSV,
boolean makeTermLabelSV,
SchemaVariableModifierSet mods) |
Modifier and Type | Class and Description |
---|---|
static class |
SchemaVariableModifierSet.FormulaSV |
static class |
SchemaVariableModifierSet.FreshProgVarSV |
static class |
SchemaVariableModifierSet.ProgramSV |
static class |
SchemaVariableModifierSet.SkolemTermSV |
static class |
SchemaVariableModifierSet.TermLabelSV |
static class |
SchemaVariableModifierSet.TermSV |
static class |
SchemaVariableModifierSet.VariableSV |
Copyright © 2003-2019 The KeY-Project.