public class UnevalTools
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
VAR_PLACEHOLDER |
Constructor and Description |
---|
UnevalTools() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
gensym() |
static java.lang.String |
get_call_name(FlowGraph fg,
CallNode n)
Returns the function name that was used to call the function or empty string if unknown.
|
static java.lang.String |
rebuildFullExpression(FlowGraph fg,
AbstractNode n,
int register)
Rebuilds the expression used to create the value in a register from the flow graph.
|
static java.lang.String |
rebuildFullFromMapping(FlowGraph fg,
java.lang.String unevaled,
java.util.Map<java.lang.String,java.lang.Integer> mapping,
AbstractNode n)
Rebuild a full expression from a normal form and a mapping.
|
static NormalForm |
rebuildNormalForm(FlowGraph fg,
CallNode n,
State s,
GenericSolver.SolverInterface c)
Returns the normal form expression used to create the first argument to the CallNode.
|
static AnalyzerCallback |
unevalizerCallback(FlowGraph fg,
GenericSolver.SolverInterface c,
AbstractNode evalCall,
NormalForm input,
boolean isEvalCall)
Returns a callback object for the transformation component.
|
public static java.lang.String gensym()
public static java.lang.String get_call_name(FlowGraph fg, CallNode n)
public static java.lang.String rebuildFullExpression(FlowGraph fg, AbstractNode n, int register)
public static java.lang.String rebuildFullFromMapping(FlowGraph fg, java.lang.String unevaled, java.util.Map<java.lang.String,java.lang.Integer> mapping, AbstractNode n)
public static NormalForm rebuildNormalForm(FlowGraph fg, CallNode n, State s, GenericSolver.SolverInterface c)
public static AnalyzerCallback unevalizerCallback(FlowGraph fg, GenericSolver.SolverInterface c, AbstractNode evalCall, NormalForm input, boolean isEvalCall)
Copyright © 2009-2019 Aarhus University