| Constructor and Description |
|---|
ExecutionContext()
Constructs a new empty context.
|
ExecutionContext(ScopeChain scope_chain,
Set<ObjectLabel> var_obj,
Set<ObjectLabel> this_obj)
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() |
boolean |
equals(Object obj)
Checks whether the given execution context is equal to this one.
|
Set<ObjectLabel> |
getObjectLabels()
Returns the set of object labels within the execution context.
|
ScopeChain |
getScopeChain()
Returns the scope chain of this execution context.
|
Set<ObjectLabel> |
getThisObject()
Returns the 'this' object of this execution context.
|
Set<ObjectLabel> |
getVariableObject()
Returns the variable object of this execution context.
|
int |
hashCode()
Computes the hash code for this execution context.
|
boolean |
isEmpty()
Checks whether all sets are empty.
|
void |
popScopeChain()
Pops the top item off the scope chain.
|
void |
pushScopeChain(Set<ObjectLabel> objlabels)
Pushes a new item onto the scope chain.
|
void |
remove(ExecutionContext other)
Removes components in the other state from this state.
|
void |
replaceObjectLabel(ObjectLabel oldlabel,
ObjectLabel newlabel,
Map<ScopeChain,ScopeChain> cache)
Replaces all occurrences of oldlabel by newlabel.
|
void |
replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m,
Map<ScopeChain,ScopeChain> cache)
Replaces all object labels according to the given map.
|
void |
summarize(Summarized s)
Summarizes this execution context.
|
String |
toString()
Returns a string representation of this execution context.
|
public ExecutionContext()
public ExecutionContext(ScopeChain scope_chain, Set<ObjectLabel> var_obj, Set<ObjectLabel> this_obj)
public boolean add(ExecutionContext other)
public ExecutionContext clone()
public boolean equals(Object obj)
public Set<ObjectLabel> getObjectLabels()
public ScopeChain getScopeChain()
public Set<ObjectLabel> getThisObject()
public Set<ObjectLabel> getVariableObject()
public int hashCode()
public boolean isEmpty()
public void popScopeChain()
public void pushScopeChain(Set<ObjectLabel> objlabels)
public void remove(ExecutionContext other)
public void replaceObjectLabel(ObjectLabel oldlabel, ObjectLabel newlabel, Map<ScopeChain,ScopeChain> cache)
public void replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m, Map<ScopeChain,ScopeChain> cache)
public void summarize(Summarized s)
Copyright © 2012 Aarhus University