dk.brics.tajs.js2flowgraph

Class AstEnv

java.lang.Object

dk.brics.tajs.js2flowgraph.AstEnv

public class AstEnv
extends java.lang.Object

Miscellaneous immutable information environment for a recursive descent on an AST. Forms an inheritance hierarchy of information about the parents and preceding siblings in the AST.

Method Summary

Modifier and Type	Method and Description
BasicBlock	getAppendBlock() Returns the block where ordinary new nodes or blocks should be to added.
int	getBaseRegister() Returns the register of the base object for variable lookups.
BasicBlock	getDeclarationBlock() Returns the block where variable declarations should be added.
IfNode	getEnclosingIfNode(com.google.javascript.jscomp.parsing.parser.trees.ParseTree expressionTree)
Function	getFunction() Returns the nearest enclosing function.
AstEnv	getFunctionEnv() Returns the environment at the nearest enclosing function.
java.util.List<JumpThroughBlocks>	getJumpThroughBlocks(AstEnv other) Collects all jumpThroughBlocks in the chain of environments up until (and not including) the given environment.
BasicBlock	getLabelledBreak(java.lang.String labelName) Finds the 'break' basic block associated with the given label.
AstEnv	getLabelledBreakEnv(java.lang.String labelName) Returns the environment at the given 'break' label.
BasicBlock	getLabelledContinue(java.lang.String labelName) Finds the 'continue' basic block associated with the given label.
AstEnv	getLabelledContinueEnv(java.lang.String labelName) Returns the environment at the given 'continue' label.
java.lang.String	getLoopLabelName(com.google.javascript.jscomp.parsing.parser.trees.ParseTree loopStatement)
RegisterManager	getRegisterManager() Returns the register manager.
int	getResultRegister() Returns the result register.
java.lang.Integer	getThisRegister() Returns the 'this' register'.
UnevalExpressionResult	getUnevalExpressionResult() Returns the UnevalExpressionResult.
BasicBlock	getUnlabelledBreak() Returns the 'break' basic block with no label.
AstEnv	getUnlabelledBreakEnv() Returns the environment at the 'break' with no label.
BasicBlock	getUnlabelledContinue() Returns the 'continue' basic block with no label.
AstEnv	getUnlabelledContinueEnv() Returns the environment at the 'continue' with no label.
boolean	hasLoopLabel(com.google.javascript.jscomp.parsing.parser.trees.ParseTree loopStatement)
boolean	isStatementLevel() Returns true if currently at statement level (not at a nested expression).
AstEnv	makeAppendBlock(BasicBlock b) Creates a new environment with the given append block.
AstEnv	makeBaseRegister(int r) Creates a new environment with the given base register.
AstEnv	makeDeclarationBlock(BasicBlock r) Creates a new environment with the given declaration block.
AstEnv	makeEnclosingFunction(Function enclosingFunction) Creates a new environment with the given enclosing function.
AstEnv	makeEnclosingIfNode(com.google.javascript.jscomp.parsing.parser.trees.ParseTree condition, IfNode ifNode)
static AstEnv	makeInitial() Constructs the initial environment.
AstEnv	makeJumpThroughBlock(JumpThroughBlocks j) Creates a new environment with the given JumpThroughBlocks.
AstEnv	makeLabelledBreak(java.lang.String labelName, BasicBlock breakBlock) Creates a new environment with the given labeled 'break' block.
AstEnv	makeLabelledContinue(java.lang.String labelName, BasicBlock continueBlock) Creates a new environment with the given labeled 'continue' block.
AstEnv	makeLoopLabelName(com.google.javascript.jscomp.parsing.parser.trees.ParseTree loopStatement, java.lang.String name)
AstEnv	makeRegisterManager(RegisterManager rm) Creates a new environment with the given register manager.
AstEnv	makeResultRegister(int r) Creates a new environment with the given result register.
AstEnv	makeStatementLevel(boolean statement) Creates a new environment and selects the statement level flag.
AstEnv	makeThisRegister(int r) Creates a new environment with the given 'this' register.
AstEnv	makeUnevalExpressionResult(UnevalExpressionResult u) Creates a new environment with the given UnevalExpressionResult.
AstEnv	makeUnlabelledBreak(BasicBlock defaultBreak) Creates a new environment with the given unlabeled 'break' block.
AstEnv	makeUnlabelledContinueAndBreak(BasicBlock defaultContinue, BasicBlock defaultBreak) Creates a new environment with the given unlabeled 'continue' and 'break' blocks.

Methods inherited from class java.lang.Object

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

Method Detail

getAppendBlock

public BasicBlock getAppendBlock()

Returns the block where ordinary new nodes or blocks should be to added.

getBaseRegister

public int getBaseRegister()

Returns the register of the base object for variable lookups.

getDeclarationBlock

public BasicBlock getDeclarationBlock()

Returns the block where variable declarations should be added.

getEnclosingIfNode

public IfNode getEnclosingIfNode(com.google.javascript.jscomp.parsing.parser.trees.ParseTree expressionTree)

getFunction

public Function getFunction()

Returns the nearest enclosing function.

getFunctionEnv

public AstEnv getFunctionEnv()

Returns the environment at the nearest enclosing function.

getJumpThroughBlocks

public java.util.List<JumpThroughBlocks> getJumpThroughBlocks(AstEnv other)

Collects all jumpThroughBlocks in the chain of environments up until (and not including) the given environment.

Returns:

a sequence of blocks to jump through, the innermost first

See Also:

jumpThroughBlocks

getLabelledBreak

public BasicBlock getLabelledBreak(java.lang.String labelName)

Finds the 'break' basic block associated with the given label.

getLabelledBreakEnv

public AstEnv getLabelledBreakEnv(java.lang.String labelName)

Returns the environment at the given 'break' label.

getLabelledContinue

public BasicBlock getLabelledContinue(java.lang.String labelName)

Finds the 'continue' basic block associated with the given label.

getLabelledContinueEnv

public AstEnv getLabelledContinueEnv(java.lang.String labelName)

Returns the environment at the given 'continue' label.

getLoopLabelName

public java.lang.String getLoopLabelName(com.google.javascript.jscomp.parsing.parser.trees.ParseTree loopStatement)

getRegisterManager

public RegisterManager getRegisterManager()

Returns the register manager.

getResultRegister

public int getResultRegister()

Returns the result register.

getThisRegister

public java.lang.Integer getThisRegister()

Returns the 'this' register'.

getUnevalExpressionResult

public UnevalExpressionResult getUnevalExpressionResult()

Returns the UnevalExpressionResult.

getUnlabelledBreak

public BasicBlock getUnlabelledBreak()

Returns the 'break' basic block with no label.

getUnlabelledBreakEnv

public AstEnv getUnlabelledBreakEnv()

Returns the environment at the 'break' with no label.

getUnlabelledContinue

public BasicBlock getUnlabelledContinue()

Returns the 'continue' basic block with no label.

getUnlabelledContinueEnv

public AstEnv getUnlabelledContinueEnv()

Returns the environment at the 'continue' with no label.

hasLoopLabel

public boolean hasLoopLabel(com.google.javascript.jscomp.parsing.parser.trees.ParseTree loopStatement)

isStatementLevel

public boolean isStatementLevel()

Returns true if currently at statement level (not at a nested expression).

makeAppendBlock

public AstEnv makeAppendBlock(BasicBlock b)

Creates a new environment with the given append block.

makeBaseRegister

public AstEnv makeBaseRegister(int r)

Creates a new environment with the given base register.

makeDeclarationBlock

public AstEnv makeDeclarationBlock(BasicBlock r)

Creates a new environment with the given declaration block.

makeEnclosingFunction

public AstEnv makeEnclosingFunction(Function enclosingFunction)

Creates a new environment with the given enclosing function.

makeEnclosingIfNode

public AstEnv makeEnclosingIfNode(com.google.javascript.jscomp.parsing.parser.trees.ParseTree condition,
                                  IfNode ifNode)

makeInitial

public static AstEnv makeInitial()

Constructs the initial environment.

makeJumpThroughBlock

public AstEnv makeJumpThroughBlock(JumpThroughBlocks j)

Creates a new environment with the given JumpThroughBlocks. The supplied blocks should be clones of other blocks! Successors will be added later.

makeLabelledBreak

public AstEnv makeLabelledBreak(java.lang.String labelName,
                                BasicBlock breakBlock)

Creates a new environment with the given labeled 'break' block.

makeLabelledContinue

public AstEnv makeLabelledContinue(java.lang.String labelName,
                                   BasicBlock continueBlock)

Creates a new environment with the given labeled 'continue' block.

makeLoopLabelName

public AstEnv makeLoopLabelName(com.google.javascript.jscomp.parsing.parser.trees.ParseTree loopStatement,
                                java.lang.String name)

makeRegisterManager

public AstEnv makeRegisterManager(RegisterManager rm)

Creates a new environment with the given register manager.

makeResultRegister

public AstEnv makeResultRegister(int r)

Creates a new environment with the given result register.

makeStatementLevel

public AstEnv makeStatementLevel(boolean statement)

Creates a new environment and selects the statement level flag.

makeThisRegister

public AstEnv makeThisRegister(int r)

Creates a new environment with the given 'this' register.

makeUnevalExpressionResult

public AstEnv makeUnevalExpressionResult(UnevalExpressionResult u)

Creates a new environment with the given UnevalExpressionResult.

makeUnlabelledBreak

public AstEnv makeUnlabelledBreak(BasicBlock defaultBreak)

Creates a new environment with the given unlabeled 'break' block.

makeUnlabelledContinueAndBreak

public AstEnv makeUnlabelledContinueAndBreak(BasicBlock defaultContinue,
                                             BasicBlock defaultBreak)

Creates a new environment with the given unlabeled 'continue' and 'break' blocks.