public class NamespaceSet extends Object
Modifier and Type | Field and Description |
---|---|
private Namespace |
choiceNS |
private Namespace |
funcNS |
private Namespace |
progVarNS |
private Namespace |
ruleSetNS |
private Namespace |
sortNS |
private Namespace |
varNS |
Constructor and Description |
---|
NamespaceSet() |
NamespaceSet(Namespace varNS,
Namespace funcNS,
Namespace sortNS,
Namespace ruleSetNS,
Namespace choiceNS,
Namespace programVarNS) |
Modifier and Type | Method and Description |
---|---|
void |
add(NamespaceSet ns) |
void |
addProtocolled(NamespaceSet nss)
adds the protocolled names of the given NamespaceSet to this one
|
private Namespace[] |
asArray()
returns all namespaces in an array
|
Namespace |
choices() |
<T extends Name> |
contains(ImmutableSet<T> names) |
NamespaceSet |
copy() |
Namespace |
functions() |
private Namespace[] |
logicAsArray()
returns all namespaces with symbols that may occur
in a real sequent (this means all namespaces without
variables, choices and ruleSets)
|
Named |
lookup(Name name)
looks up if the given name is found in one of the namespaces
and returns the named object or null if no object with the same name
has been found
|
private Named |
lookup(Name name,
Namespace[] spaces) |
Named |
lookupLogicSymbol(Name name)
looks up for the symbol in the namespaces sort, functions and
programVariables
|
Namespace |
programVariables() |
Namespace |
ruleSets() |
void |
setChoices(Namespace choiceNS) |
void |
setFunctions(Namespace funcNS) |
void |
setProgramVariables(Namespace progVarNS) |
void |
setRuleSets(Namespace ruleSetNS) |
void |
setSorts(Namespace sortNS) |
void |
setVariables(Namespace varNS) |
Namespace |
sorts() |
void |
startProtocol()
starts the protocol of all contained namespaces
|
String |
toString() |
Namespace |
variables() |
private Namespace varNS
private Namespace progVarNS
private Namespace funcNS
private Namespace ruleSetNS
private Namespace sortNS
private Namespace choiceNS
public Namespace variables()
public void setVariables(Namespace varNS)
public Namespace programVariables()
public void setProgramVariables(Namespace progVarNS)
public Namespace functions()
public void setFunctions(Namespace funcNS)
public Namespace ruleSets()
public void setRuleSets(Namespace ruleSetNS)
public Namespace sorts()
public void setSorts(Namespace sortNS)
public Namespace choices()
public void setChoices(Namespace choiceNS)
public void add(NamespaceSet ns)
public NamespaceSet copy()
public void startProtocol()
private Namespace[] asArray()
private Namespace[] logicAsArray()
public void addProtocolled(NamespaceSet nss)
public Named lookup(Name name)
public Named lookupLogicSymbol(Name name)
name
- the Name to look upprivate Named lookup(Name name, Namespace[] spaces)
name
- spaces
- public <T extends Name> boolean contains(ImmutableSet<T> names)