public class Scope extends Annotated
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<java.lang.String,Parameter> |
parameters
The set of Parameters in Scope.
|
| Modifier | Constructor and Description |
|---|---|
|
Scope()
Creates an unnamed Scope.
|
protected |
Scope(java.lang.String name)
Creates a named Scope.
|
| Modifier and Type | Method and Description |
|---|---|
Scope |
addParameter(Parameter parameter)
Adds a Parameter to this Scope.
|
Scope |
addScope(Scope scope)
Adds the contents of another Scope to this Scope.
|
Parameter |
getParameter(java.lang.String name)
Returns the named Parameter stored in this Scope.
|
java.util.Set<Parameter> |
getParameters()
Returns the set of all Parameters, both Constants and Variables.
|
Scope |
unbind()
Unbinds the variable Parameters in this Scope.
|
equals, getName, hashCode, setName, setName, toStringsafeEquals, safeHashCode, semanticErrorprotected java.util.Map<java.lang.String,Parameter> parameters
public Scope()
protected Scope(java.lang.String name)
name - the name of this Scope.public Parameter getParameter(java.lang.String name)
name - the name of the Parameter.public java.util.Set<Parameter> getParameters()
public Scope addParameter(Parameter parameter)
parameter - the Parameter to add.public Scope addScope(Scope scope)
scope - another Scope.public Scope unbind()