public final class ExecutionContext
extends java.lang.Object
implements java.lang.Cloneable
Constructor and Description |
---|
ExecutionContext()
Constructs a new empty context.
|
ExecutionContext(ScopeChain scope_chain,
java.util.Set<ObjectLabel> var_obj,
Value thisval)
Constructs a new execution context.
|
Modifier and Type | Method and Description |
---|---|
boolean |
add(ExecutionContext other)
Joins the given execution context into this one.
|
ExecutionContext |
clone() |
java.util.Set<ObjectLabel> |
getObjectLabels()
Returns the set of object labels within the execution context.
|
ScopeChain |
getScopeChain()
Returns the scope chain of this execution context.
|
Value |
getThis()
Returns the 'this' value of this execution context.
|
java.util.Set<ObjectLabel> |
getVariableObject()
Returns the variable object of this execution context.
|
boolean |
isEmpty()
Checks whether all sets are empty.
|
void |
popScopeChain()
Pops the top item off the scope chain.
|
void |
pushScopeChain(java.util.Set<ObjectLabel> objlabels)
Pushes a new item onto the scope chain.
|
void |
replaceObjectLabel(ObjectLabel oldlabel,
ObjectLabel newlabel,
java.util.Map<ScopeChain,ScopeChain> cache)
Replaces all occurrences of oldlabel by newlabel.
|
void |
setThis(Value new_this)
Sets the 'this' value of this execution context.
|
void |
setVariableObject(java.util.Set<ObjectLabel> new_var_obj)
Sets the variable object of this execution context.
|
void |
summarize(Summarized s)
Summarizes this execution context.
|
java.lang.String |
toString()
Returns a string representation of this execution context.
|
public ExecutionContext()
public ExecutionContext(ScopeChain scope_chain, java.util.Set<ObjectLabel> var_obj, Value thisval)
public boolean add(ExecutionContext other)
public ExecutionContext clone()
clone
in class java.lang.Object
public java.util.Set<ObjectLabel> getObjectLabels()
public ScopeChain getScopeChain()
public Value getThis()
public java.util.Set<ObjectLabel> getVariableObject()
public boolean isEmpty()
public void popScopeChain()
public void pushScopeChain(java.util.Set<ObjectLabel> objlabels)
public void replaceObjectLabel(ObjectLabel oldlabel, ObjectLabel newlabel, java.util.Map<ScopeChain,ScopeChain> cache)
public void setThis(Value new_this)
public void setVariableObject(java.util.Set<ObjectLabel> new_var_obj)
public void summarize(Summarized s)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University