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, toString
safeEquals, safeHashCode, semanticError
protected 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()