dk.brics.tajs.lattice

Class Context

java.lang.Object

dk.brics.tajs.lattice.Context

All Implemented Interfaces:

IContext<Context>, DeepImmutable

public final class Context
extends java.lang.Object
implements IContext<Context>, DeepImmutable

Context for context sensitive analysis. Immutable.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj) Checks whether this context is equal to the given object.
ContextArguments	getFunArgs() Returns the function arguments.
LocalContext	getLocalContext() Returns the local context information.
LocalContext	getLocalContextAtEntry() Returns the local context at entry information.
java.util.Map<java.lang.Integer,Value>	getSpecialRegisters() Returns the special registers map.
Value	getThisVal() Returns the this-value.
int	hashCode() Computes a hash code for this context.
static Context	make(Value thisval, ContextArguments funArgs, java.util.Map<java.lang.Integer,Value> specialRegs, LocalContext localContext, LocalContext localContextAtEntry)
Context	makeEntryContext() Reconstructs the context at function or for-in entry.
java.lang.String	toString() Returns a description of this context.

Methods inherited from class java.lang.Object

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

Method Detail

equals

public boolean equals(java.lang.Object obj)

Description copied from interface: IContext

Checks whether this context is equal to the given object.

Specified by:

equals in interface IContext<Context>

Overrides:

equals in class java.lang.Object

getFunArgs

public ContextArguments getFunArgs()

Returns the function arguments.

getLocalContext

public LocalContext getLocalContext()

Returns the local context information.

getLocalContextAtEntry

public LocalContext getLocalContextAtEntry()

Returns the local context at entry information.

getSpecialRegisters

public java.util.Map<java.lang.Integer,Value> getSpecialRegisters()

Returns the special registers map.

getThisVal

public Value getThisVal()

Returns the this-value.

hashCode

public int hashCode()

Description copied from interface: IContext

Computes a hash code for this context.

Specified by:

hashCode in interface IContext<Context>

Overrides:

hashCode in class java.lang.Object

make

public static Context make(Value thisval,
                           ContextArguments funArgs,
                           java.util.Map<java.lang.Integer,Value> specialRegs,
                           LocalContext localContext,
                           LocalContext localContextAtEntry)

makeEntryContext

public Context makeEntryContext()

Reconstructs the context at function or for-in entry.

Specified by:

makeEntryContext in interface IContext<Context>

toString

public java.lang.String toString()

Description copied from interface: IContext

Returns a description of this context.

Specified by:

toString in interface IContext<Context>

Overrides:

toString in class java.lang.Object