dk.brics.tajs.js2flowgraph

Class FlowGraphEnv

java.lang.Object

dk.brics.tajs.js2flowgraph.FlowGraphEnv

 class FlowGraphEnv
extends Object

The environment of the flow graph builder which is internal to the module. Flows *downwards*. It's really just a record, so all the fields are public. That does not mean you should mutate the fields though, copy them!

Field Summary

Fields

Modifier and Type	Field and Description
int	baseVal
BasicBlock	breakBlock
BasicBlock	continueBlock
List<BasicBlock>	copyBlocks
BasicBlock	declsBB
Pair<String,Integer>	evalResultMap
FlowGraph	fg
Function	fun
Map<String,Integer>	lineOffsets
int	nextTmp
BasicBlock	panicBB
List<BasicBlock>	pendingBBs
List<List<BasicBlock>>	pendingFuns
Map<Integer,AbstractNode>	propertyNodes
BasicBlock	retBB

Constructor Summary

Constructors

Constructor and Description
FlowGraphEnv(FlowGraph fg, List<List<BasicBlock>> pendingFuns, List<BasicBlock> pendingBBs, Function fun, Map<String,Integer> lineOffsets)

Method Summary

Methods

Modifier and Type	Method and Description
FlowGraphEnv	copyAndGiveUniquePnodes(int disqualifiedNode)
FlowGraphEnv	copyAndInitializeForCopy(BasicBlock initBlock)
FlowGraphEnv	copyAndUpdateBaseObj(int newBaseVal)
FlowGraphEnv	specialCopy(BasicBlock contBlock, BasicBlock escBlock)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

baseVal

public int baseVal

breakBlock

public BasicBlock breakBlock

continueBlock

public BasicBlock continueBlock

copyBlocks

public List<BasicBlock> copyBlocks

declsBB

public BasicBlock declsBB

evalResultMap

public Pair<String,Integer> evalResultMap

fg

public FlowGraph fg

fun

public Function fun

lineOffsets

public Map<String,Integer> lineOffsets

nextTmp

public int nextTmp

panicBB

public BasicBlock panicBB

pendingBBs

public List<BasicBlock> pendingBBs

pendingFuns

public List<List<BasicBlock>> pendingFuns

propertyNodes

public Map<Integer,AbstractNode> propertyNodes

retBB

public BasicBlock retBB

Constructor Detail

FlowGraphEnv

public FlowGraphEnv(FlowGraph fg,
            List<List<BasicBlock>> pendingFuns,
            List<BasicBlock> pendingBBs,
            Function fun,
            Map<String,Integer> lineOffsets)

Method Detail

copyAndGiveUniquePnodes

public FlowGraphEnv copyAndGiveUniquePnodes(int disqualifiedNode)

copyAndInitializeForCopy

public FlowGraphEnv copyAndInitializeForCopy(BasicBlock initBlock)

copyAndUpdateBaseObj

public FlowGraphEnv copyAndUpdateBaseObj(int newBaseVal)

specialCopy

public FlowGraphEnv specialCopy(BasicBlock contBlock,
                       BasicBlock escBlock)