public class EvalCache
extends java.lang.Object
Constructor and Description |
---|
EvalCache()
Constructs a new unevalizer cache.
|
Modifier and Type | Method and Description |
---|---|
FlowGraphFragment |
getCode(NodeAndContext<Context> nc)
Returns the flow graph fragment, or null if not found.
|
void |
setCode(NodeAndContext<Context> nc,
FlowGraphFragment extension)
Stores the abstract value and associated code in the cache.
|
public FlowGraphFragment getCode(NodeAndContext<Context> nc)
public void setCode(NodeAndContext<Context> nc, FlowGraphFragment extension)
Copyright © 2009-2019 Aarhus University