de.uka.ilkd.key.parser

Class SchemaVariableModifierSet

java.lang.Object

de.uka.ilkd.key.parser.SchemaVariableModifierSet

Direct Known Subclasses:

SchemaVariableModifierSet.FormulaSV, SchemaVariableModifierSet.FreshProgVarSV, SchemaVariableModifierSet.ProgramSV, SchemaVariableModifierSet.SkolemTermSV, SchemaVariableModifierSet.TermLabelSV, SchemaVariableModifierSet.TermSV, SchemaVariableModifierSet.VariableSV

public abstract class SchemaVariableModifierSet
extends java.lang.Object

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	list
private boolean	rigid
private boolean	strict

Constructor Summary

Constructors

Constructor and Description
SchemaVariableModifierSet()

Method Summary

Modifier and Type	Method and Description
boolean	addList()
boolean	addModifier(java.lang.String option)
boolean	addRigid()
boolean	addStrict()
boolean	list()
protected boolean	listEnabled()
boolean	rigid()
protected boolean	rigidEnabled()
boolean	strict()
protected boolean	strictEnabled()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

strict

private boolean strict

rigid

private boolean rigid

list

private boolean list

Constructor Detail

SchemaVariableModifierSet

public SchemaVariableModifierSet()

Method Detail

rigid

public boolean rigid()

rigidEnabled

protected boolean rigidEnabled()

strict

public boolean strict()

strictEnabled

protected boolean strictEnabled()

list

public boolean list()

listEnabled

protected boolean listEnabled()

addModifier

public boolean addModifier(java.lang.String option)

Returns:

true iff option is a valid modifier for the considered kind of schema variables

addRigid

public boolean addRigid()

addStrict

public boolean addStrict()

addList

public boolean addList()