public class Transfer extends java.lang.Object implements INodeTransfer<State,Context>, IEdgeTransfer<Context>
Constructor and Description |
---|
Transfer()
Constructs a new AbstractNodeTransfer object.
|
Modifier and Type | Method and Description |
---|---|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Initializes the connection to the solver.
|
void |
transfer(AbstractNode n)
Applies the transfer function on the given node.
|
Context |
transfer(BasicBlock src,
BasicBlock dst)
Returns non-null context if flow should occur on the given edge.
|
void |
transferReturn(AbstractNode call_node,
BasicBlock callee_entry,
Context caller_context,
Context callee_context,
Context edge_context,
boolean implicit)
Processes ordinary and exceptional return flow when a new call edge has been added.
|
void |
visit(Node n)
Visits a flowgraph node.
|
public void setSolverInterface(GenericSolver.SolverInterface c)
public void transfer(AbstractNode n)
INodeTransfer
transfer
in interface INodeTransfer<State,Context>
public Context transfer(BasicBlock src, BasicBlock dst)
IEdgeTransfer
transfer
in interface IEdgeTransfer<Context>
public void transferReturn(AbstractNode call_node, BasicBlock callee_entry, Context caller_context, Context callee_context, Context edge_context, boolean implicit)
INodeTransfer
transferReturn
in interface INodeTransfer<State,Context>
public void visit(Node n)
AbstractNodeVisitor
visit
in interface AbstractNodeVisitor
Copyright © 2009-2019 Aarhus University