public class NodeTransfer extends java.lang.Object implements NodeVisitor
Constructor and Description |
---|
NodeTransfer()
Constructs a new TransferFunctions object.
|
Modifier and Type | Method and Description |
---|---|
GenericSolver.SolverInterface |
getSolverInterface()
Returns the solver interface.
|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Initializes the connection to the solver.
|
void |
transferReturn(AbstractNode call_node,
BasicBlock callee_entry,
Context caller_context,
Context callee_context,
Context edge_context,
boolean implicit)
Transfer ordinary and exceptional return for the given call node and callee entry.
|
void |
visit(BeginForInNode n)
12.6.4 begin 'for-in' statement.
|
void |
visit(BeginLoopNode n)
Beginning of loop.
|
void |
visit(BeginWithNode n)
12.10 enter 'with' statement.
|
void |
visit(BinaryOperatorNode n)
11.13 and 11.5/6/7/8 assignment with binary operator.
|
void |
visit(CallNode n)
11.2.2, 11.2.3, 13.2.1, and 13.2.2 'new' / function call.
|
void |
visit(CatchNode n)
12.14 'catch' block.
|
void |
visit(ConstantNode n)
11.13 and 7.8 assignment with literal.
|
void |
visit(DeclareFunctionNode n)
13 function definition.
|
void |
visit(DeclareVariableNode n)
12.2 variable declaration.
|
void |
visit(DeletePropertyNode n)
11.13 and 11.4.1 assignment with 'delete' operator.
|
void |
visit(EndForInNode n)
12.6.4 end of loop of 'for-in' statement.
|
void |
visit(EndLoopNode n)
End of loop.
|
void |
visit(EndWithNode n)
12.10 leave 'with' statement.
|
void |
visit(EventDispatcherNode n)
Visits an EventDispatcherNode.
|
void |
visit(ExceptionalReturnNode n)
13.2.1 exceptional return.
|
void |
visit(HasNextPropertyNode n)
12.6.4 check for more properties of 'for-in' statement.
|
void |
visit(IfNode n)
12.5 and 12.6 'if'/iteration statement.
|
void |
visit(NewObjectNode n)
11.1.5 object initializer.
|
void |
visit(NextPropertyNode n)
12.6.4 get next property of 'for-in' statement.
|
void |
visit(NopNode n)
12.3 empty statement.
|
void |
visit(ReadPropertyNode n)
11.2.1 assignment with right-hand-side property accessor.
|
void |
visit(ReadVariableNode n)
11.1.2 assignment with right-hand-side identifier reference.
|
void |
visit(ReturnNode n)
12.9 and 13.2.1 'return' statement.
|
void |
visit(ThrowNode n)
12.13 'throw' statement.
|
void |
visit(TypeofNode n)
11.13 and 11.4.3 assignment with 'typeof' operator.
|
void |
visit(UnaryOperatorNode n)
11.13 and 11.4 assignment with unary operator.
|
void |
visit(WritePropertyNode n)
11.2.1 assignment with left-hand-side property accessor.
|
void |
visit(WriteVariableNode n)
11.13 and 11.1.2 assignment with left-hand-side identifier reference.
|
public GenericSolver.SolverInterface getSolverInterface()
public void setSolverInterface(GenericSolver.SolverInterface c)
public void transferReturn(AbstractNode call_node, BasicBlock callee_entry, Context caller_context, Context callee_context, Context edge_context, boolean implicit)
public void visit(BeginForInNode n)
visit
in interface NodeVisitor
public void visit(BeginLoopNode n)
visit
in interface NodeVisitor
public void visit(BeginWithNode n)
visit
in interface NodeVisitor
public void visit(BinaryOperatorNode n)
visit
in interface NodeVisitor
public void visit(CallNode n)
visit
in interface NodeVisitor
public void visit(CatchNode n)
visit
in interface NodeVisitor
public void visit(ConstantNode n)
visit
in interface NodeVisitor
public void visit(DeclareFunctionNode n)
visit
in interface NodeVisitor
public void visit(DeclareVariableNode n)
visit
in interface NodeVisitor
public void visit(DeletePropertyNode n)
visit
in interface NodeVisitor
public void visit(EndForInNode n)
visit
in interface NodeVisitor
public void visit(EndLoopNode n)
visit
in interface NodeVisitor
public void visit(EndWithNode n)
visit
in interface NodeVisitor
public void visit(EventDispatcherNode n)
NodeVisitor
visit
in interface NodeVisitor
public void visit(ExceptionalReturnNode n)
visit
in interface NodeVisitor
public void visit(HasNextPropertyNode n)
visit
in interface NodeVisitor
public void visit(IfNode n)
visit
in interface NodeVisitor
public void visit(NewObjectNode n)
visit
in interface NodeVisitor
public void visit(NextPropertyNode n)
visit
in interface NodeVisitor
public void visit(NopNode n)
visit
in interface NodeVisitor
public void visit(ReadPropertyNode n)
visit
in interface NodeVisitor
public void visit(ReadVariableNode n)
visit
in interface NodeVisitor
public void visit(ReturnNode n)
visit
in interface NodeVisitor
public void visit(ThrowNode n)
visit
in interface NodeVisitor
public void visit(TypeofNode n)
visit
in interface NodeVisitor
public void visit(UnaryOperatorNode n)
visit
in interface NodeVisitor
public void visit(WritePropertyNode n)
visit
in interface NodeVisitor
public void visit(WriteVariableNode n)
visit
in interface NodeVisitor
Copyright © 2009-2019 Aarhus University