NodeTransfer (TAJS)

java.lang.Object
- dk.brics.tajs.analysis.js.NodeTransfer

All Implemented Interfaces:: NodeVisitor<State>

public class NodeTransfer
extends Object
implements NodeVisitor<State>

Transfer for flow graph nodes.

Constructor Summary

Constructors
Constructor and Description

NodeTransfer()
Constructs a new TransferFunctions object.

Constructors
Constructor and Description
`NodeTransfer()` Constructs a new TransferFunctions object.

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`setSolverInterface(GenericSolver.SolverInterface c)` Initializes the connection to the solver.
`void`	`transferExceptionalReturn(BasicBlock block, State state, NodeAndContext<CallContext> caller)` Transfer for an exceptional-return statement.
`Void`	`transferReturn(AbstractNode call_node, Function callee, CallContext caller_context, CallContext callee_context)` Transfer ordinary and exceptional return for the given call node and callee function.
`void`	`transferReturn(int valueReg, BasicBlock block, State state, NodeAndContext<CallContext> caller)` Transfer for a return statement.
`void`	`visit(AssumeNode n, State state)` Assumption.
`void`	`visit(BeginForInNode n, State state)` 12.6.4 begin 'for-in' statement.
`void`	`visit(BinaryOperatorNode n, State state)` 11.13 and 11.5/6/7/8 assignment with binary operator.
`void`	`visit(CallConversionNode n, State state)` Conversion using ToString or ValueOf.
`void`	`visit(CallNode n, State state)` 11.2.2, 11.2.3, 13.2.1, and 13.2.2 'new' / function call.
`void`	`visit(CatchNode n, State state)` 12.14 'catch' block.
`void`	`visit(ConstantNode n, State state)` 11.13 and 7.8 assignment with literal.
`void`	`visit(DeclareFunctionNode n, State state)` 13 function definition.
`void`	`visit(DeclareVariableNode n, State state)` 12.2 variable declaration.
`void`	`visit(DeletePropertyNode n, State state)` 11.13 and 11.4.1 assignment with 'delete' operator.
`void`	`visit(EndForInNode n, State state)` 12.6.4 end of loop of 'for-in' statement.
`void`	`visit(EnterWithNode n, State state)` 12.10 enter 'with' statement.
`void`	`visit(EventDispatcherNode n, State state)` Visits an EventDispatcherNode.
`void`	`visit(EventEntryNode n, State state)` Visits an EventEntryNode.
`void`	`visit(ExceptionalReturnNode n, State state)` 13.2.1 exceptional return.
`void`	`visit(HasNextPropertyNode n, State state)` 12.6.4 check for more properties of 'for-in' statement.
`void`	`visit(IfNode n, State state)` 12.5 and 12.6 'if'/iteration statement.
`void`	`visit(LeaveWithNode n, State state)` 12.10 leave 'with' statement.
`void`	`visit(NewObjectNode n, State state)` 11.1.5 object initializer.
`void`	`visit(NextPropertyNode n, State state)` 12.6.4 get next property of 'for-in' statement.
`void`	`visit(NopNode n, State state)` 12.3 empty statement.
`void`	`visit(ReadPropertyNode n, State state)` 11.2.1 assignment with right-hand-side property accessor.
`void`	`visit(ReadVariableNode n, State state)` 11.1.2 assignment with right-hand-side identifier reference.
`void`	`visit(ReturnNode n, State state)` 12.9 and 13.2.1 'return' statement.
`void`	`visit(ThrowNode n, State state)` 12.13 'throw' statement.
`void`	`visit(TypeofNode n, State state)` 11.13 and 11.4.3 assignment with 'typeof' operator.
`void`	`visit(UnaryOperatorNode n, State state)` 11.13 and 11.4 assignment with unary operator.
`void`	`visit(WritePropertyNode n, State state)` 11.2.1 assignment with left-hand-side property accessor.
`void`	`visit(WriteVariableNode n, State state)` 11.13 and 11.1.2 assignment with left-hand-side identifier reference.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - NodeTransfer
```
public NodeTransfer()
```
    Constructs a new TransferFunctions object.
- Method Detail
  - setSolverInterface
```
public void setSolverInterface(GenericSolver.SolverInterface c)
```
    Initializes the connection to the solver.
  - transferExceptionalReturn
```
public void transferExceptionalReturn(BasicBlock block,
                             State state,
                             NodeAndContext<CallContext> caller)
```
    Transfer for an exceptional-return statement.
    
    Parameters:
    caller - if non-null, only consider this caller
  - transferReturn
```
public Void transferReturn(AbstractNode call_node,
                  Function callee,
                  CallContext caller_context,
                  CallContext callee_context)
```
    Transfer ordinary and exceptional return for the given call node and callee function.
  - transferReturn
```
public void transferReturn(int valueReg,
                  BasicBlock block,
                  State state,
                  NodeAndContext<CallContext> caller)
```
    Transfer for a return statement.
    
    Parameters:
    caller - if non-null, only consider this caller
  - visit
```
public void visit(AssumeNode n,
         State state)
```
    Assumption.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(BeginForInNode n,
         State state)
```
    12.6.4 begin 'for-in' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(BinaryOperatorNode n,
         State state)
```
    11.13 and 11.5/6/7/8 assignment with binary operator.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(CallConversionNode n,
         State state)
```
    Conversion using ToString or ValueOf.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(CallNode n,
         State state)
```
    11.2.2, 11.2.3, 13.2.1, and 13.2.2 'new' / function call.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(CatchNode n,
         State state)
```
    12.14 'catch' block.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(ConstantNode n,
         State state)
```
    11.13 and 7.8 assignment with literal.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(DeclareFunctionNode n,
         State state)
```
    13 function definition.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(DeclareVariableNode n,
         State state)
```
    12.2 variable declaration.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(DeletePropertyNode n,
         State state)
```
    11.13 and 11.4.1 assignment with 'delete' operator.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(EndForInNode n,
         State state)
```
    12.6.4 end of loop of 'for-in' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(EnterWithNode n,
         State state)
```
    12.10 enter 'with' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(EventDispatcherNode n,
         State state)
```
    Description copied from interface: NodeVisitor
    
    Visits an EventDispatcherNode.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(EventEntryNode n,
         State state)
```
    Description copied from interface: NodeVisitor
    
    Visits an EventEntryNode.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(ExceptionalReturnNode n,
         State state)
```
    13.2.1 exceptional return.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(HasNextPropertyNode n,
         State state)
```
    12.6.4 check for more properties of 'for-in' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(IfNode n,
         State state)
```
    12.5 and 12.6 'if'/iteration statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(LeaveWithNode n,
         State state)
```
    12.10 leave 'with' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(NewObjectNode n,
         State state)
```
    11.1.5 object initializer.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(NextPropertyNode n,
         State state)
```
    12.6.4 get next property of 'for-in' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(NopNode n,
         State state)
```
    12.3 empty statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(ReadPropertyNode n,
         State state)
```
    11.2.1 assignment with right-hand-side property accessor.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(ReadVariableNode n,
         State state)
```
    11.1.2 assignment with right-hand-side identifier reference.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(ReturnNode n,
         State state)
```
    12.9 and 13.2.1 'return' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(ThrowNode n,
         State state)
```
    12.13 'throw' statement.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(TypeofNode n,
         State state)
```
    11.13 and 11.4.3 assignment with 'typeof' operator.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(UnaryOperatorNode n,
         State state)
```
    11.13 and 11.4 assignment with unary operator.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(WritePropertyNode n,
         State state)
```
    11.2.1 assignment with left-hand-side property accessor.
    
    Specified by:
    
    visit in interface NodeVisitor<State>
  - visit
```
public void visit(WriteVariableNode n,
         State state)
```
    11.13 and 11.1.2 assignment with left-hand-side identifier reference.
    
    Specified by:
    
    visit in interface NodeVisitor<State>

Class NodeTransfer

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

NodeTransfer

Method Detail

setSolverInterface

transferExceptionalReturn

transferReturn

transferReturn

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit