dk.brics.tajs.analysis.nativeobjects.concrete

Class CachingNativeConcreteSemantics

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.concrete.CachingNativeConcreteSemantics

All Implemented Interfaces:

NativeConcreteSemantics

public class CachingNativeConcreteSemantics
extends java.lang.Object
implements NativeConcreteSemantics

Decorator that caches the results of its delegate.

Constructor Summary

Constructors

Constructor and Description
CachingNativeConcreteSemantics(NativeConcreteSemantics delegate)

Method Summary

Modifier and Type	Method and Description
MappedNativeResult<ConcreteValue>	apply(java.lang.String functionName, ConcreteValue base, java.util.List<ConcreteValue> arguments)
NativeResult<ConcreteValue>	eval(java.lang.String script)

Methods inherited from class java.lang.Object

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

Constructor Detail

CachingNativeConcreteSemantics

public CachingNativeConcreteSemantics(NativeConcreteSemantics delegate)

Method Detail

apply

public MappedNativeResult<ConcreteValue> apply(java.lang.String functionName,
                                               ConcreteValue base,
                                               java.util.List<ConcreteValue> arguments)

Specified by:

apply in interface NativeConcreteSemantics

eval

public NativeResult<ConcreteValue> eval(java.lang.String script)

Specified by:

eval in interface NativeConcreteSemantics