dk.brics.tajs.lattice

Class ExecutionContext

java.lang.Object

dk.brics.tajs.lattice.ExecutionContext

All Implemented Interfaces:

Cloneable

public final class ExecutionContext
extends Object
implements Cloneable

Abstract execution context.

Constructor Summary

Constructors

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.

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ExecutionContext

public ExecutionContext()

Constructs a new empty context.

ExecutionContext

public ExecutionContext(ScopeChain scope_chain,
                Set<ObjectLabel> var_obj,
                Set<ObjectLabel> this_obj)

Constructs a new execution context. The new object gets ownership of the given sets.

Method Detail

add

public boolean add(ExecutionContext other)

Joins the given execution context into this one.

Returns:

true if this execution context is changed by the operation

clone

public ExecutionContext clone()

Overrides:

clone in class Object

equals

public boolean equals(Object obj)

Checks whether the given execution context is equal to this one.

Overrides:

equals in class Object

getObjectLabels

public Set<ObjectLabel> getObjectLabels()

Returns the set of object labels within the execution context.

getScopeChain

public ScopeChain getScopeChain()

Returns the scope chain of this execution context.

getThisObject

public Set<ObjectLabel> getThisObject()

Returns the 'this' object of this execution context.

getVariableObject

public Set<ObjectLabel> getVariableObject()

Returns the variable object of this execution context.

hashCode

public int hashCode()

Computes the hash code for this execution context.

Overrides:

hashCode in class Object

isEmpty

public boolean isEmpty()

Checks whether all sets are empty.

popScopeChain

public void popScopeChain()

Pops the top item off the scope chain.

pushScopeChain

public void pushScopeChain(Set<ObjectLabel> objlabels)

Pushes a new item onto the scope chain.

remove

public void remove(ExecutionContext other)

Removes components in the other state from this state.

replaceObjectLabel

public void replaceObjectLabel(ObjectLabel oldlabel,
                      ObjectLabel newlabel,
                      Map<ScopeChain,ScopeChain> cache)

Replaces all occurrences of oldlabel by newlabel.

replaceObjectLabels

public void replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m,
                       Map<ScopeChain,ScopeChain> cache)

Replaces all object labels according to the given map.

summarize

public void summarize(Summarized s)

Summarizes this execution context.

toString

public String toString()

Returns a string representation of this execution context.

Overrides:

toString in class Object