dk.brics.tajs.analysis

Class EvalCache

java.lang.Object

dk.brics.tajs.analysis.EvalCache

public class EvalCache
extends Object

Cache for the unevalizer.

Constructor Summary

Constructors

Constructor and Description
EvalCache() Constructs a new uneval cache.

Method Summary

Methods

Modifier and Type	Method and Description
FlowGraphFragment	getCode(NodeAndContext<CallContext> nc) Returns the entry_block, or null if not found.
void	setCode(NodeAndContext<CallContext> nc, FlowGraphFragment extension) Stores the abstract value and associated code in the cache.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EvalCache

public EvalCache()

Constructs a new uneval cache.

Method Detail

getCode

public FlowGraphFragment getCode(NodeAndContext<CallContext> nc)

Returns the entry_block, or null if not found.

setCode

public void setCode(NodeAndContext<CallContext> nc,
           FlowGraphFragment extension)

Stores the abstract value and associated code in the cache.