|
|||||||
| FRAMES NO FRAMES | |||||||
BranchTargetStmt ::= InitStmt:Stmt* [Condition:Expr] UpdateStmt:Stmt* Stmt;java.lang.Objectbeaver.Symbol
/home/jesper/git/extendj/java4/grammar/Java.ast at line 206@ASTNodeAnnotation.Attribute syn boolean potentialTargetOf(Stmt branch)
potentialTargetOf in class BranchTargetStmttrue if this statement is a potential
branch target of the given branch statement.
/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 217
@ASTNodeAnnotation.Attribute syn boolean isDAafter(org.extendj.ast.Variable v)
@ASTNodeAnnotation.Attribute syn boolean isDAafterInitialization(org.extendj.ast.Variable v)
/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 703
@ASTNodeAnnotation.Attribute syn boolean isDUafter(org.extendj.ast.Variable v)
@ASTNodeAnnotation.Attribute syn boolean isDUafterInit(org.extendj.ast.Variable v)
/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 1288
@ASTNodeAnnotation.Attribute syn boolean isDUafterUpdate(org.extendj.ast.Variable v)
/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 1302
@ASTNodeAnnotation.Attribute syn org.extendj.ast.SimpleSet localLookup(java.lang.String name)
/home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 151
@ASTNodeAnnotation.Attribute syn VariableDeclaration localVariableDeclaration(java.lang.String name)
/home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 195
@ASTNodeAnnotation.Attribute syn boolean continueLabel()
continueLabel in class Stmt/home/jesper/git/extendj/java4/frontend/NameCheck.jrag at line 478
@ASTNodeAnnotation.Attribute syn boolean canCompleteNormally()
canCompleteNormally in class Stmt/home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag at line 53
@ASTNodeAnnotation.Attribute syn int variableScopeEndLabel(org.extendj.ast.CodeGeneration gen)
/home/jesper/git/extendj/java4/backend/CodeGeneration.jrag at line 70
@ASTNodeAnnotation.Attribute syn int cond_label()
/home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1594
@ASTNodeAnnotation.Attribute syn int begin_label()
/home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1595
@ASTNodeAnnotation.Attribute syn int update_label()
/home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1596
@ASTNodeAnnotation.Attribute syn int end_label()
/home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1597
@ASTNodeAnnotation.Attribute syn int break_label()
break_label in class Stmt/home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1621
@ASTNodeAnnotation.Attribute syn int continue_label()
continue_label in class Stmt/home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1645
@ASTNodeAnnotation.Attribute syn boolean modifiedInScope(org.extendj.ast.Variable var)
modifiedInScope in class Stmt/home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 84
@ASTNodeAnnotation.Attribute inh org.extendj.ast.SimpleSet lookupVariable(java.lang.String name)
lookupVariable in class Stmt/home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 39
public void prettyPrint(org.jastadd.util.PrettyPrinter out)
prettyPrint in interface org.jastadd.util.PrettyPrintableOverrides:prettyPrint in class ASTNode<ASTNode>/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag at line 91
public void typeCheck()
public void createBCode(org.extendj.ast.CodeGeneration gen)
createBCode in class Stmt/home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1599
init$Children in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 10numChildren in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 25mayHaveRewrite in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 31flushAttrCache in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 37flushCollectionCache in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 55flushRewriteCache in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 61public ForStmt clone() throws java.lang.CloneNotSupportedException
clone in class BranchTargetStmtjava.lang.CloneNotSupportedException
/home/jesper/git/extendj/ASTNode at line 67public ForStmt copy()
@Deprecated public ForStmt fullCopy()
Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
fullCopy in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 93public ForStmt treeCopyNoTransform()
treeCopyNoTransform in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 103public ForStmt treeCopy()
treeCopy in class BranchTargetStmt/home/jesper/git/extendj/ASTNode at line 123protected boolean is$Equal(ASTNode node)
public void setInitStmtList(List<Stmt> list)
list - The new list node to be used as the InitStmt list.public int getNumInitStmt()
public int getNumInitStmtNoTransform()
public Stmt getInitStmt(int i)
i in the InitStmt list.i - Index of the element to return.
i in the InitStmt list.public boolean hasInitStmt()
true if it has at least one child, false otherwise.public void addInitStmt(Stmt node)
node - The element to append to the InitStmt list.public void addInitStmtNoTransform(Stmt node)
public void setInitStmt(Stmt node, int i)
i with the new node node.node - The new node to replace the old list element.i - The list index of the node to be replaced.@ASTNodeAnnotation.ListChild(name="InitStmt") public List<Stmt> getInitStmtList()
public List<Stmt> getInitStmtListNoTransform()
This method does not invoke AST transformations.
public List<Stmt> getInitStmts()
public List<Stmt> getInitStmtsNoTransform()
This method does not invoke AST transformations.
public void setConditionOpt(Opt<Expr> opt)
Opt
node containing the child Condition, not the actual child!opt - The new node to be used as the optional node for the Condition child.public void setCondition(Expr node)
node - The new node to be used as the Condition child.public boolean hasCondition()
true if the optional Condition child exists, false if it does not.public Expr getCondition()
null otherwise.@ASTNodeAnnotation.OptChild(name="Condition") public Opt<Expr> getConditionOpt()
Opt node containing the child Condition, not the actual child!public Opt<Expr> getConditionOptNoTransform()
Opt node containing the child Condition, not the actual child!
This method does not invoke AST transformations.
public void setUpdateStmtList(List<Stmt> list)
list - The new list node to be used as the UpdateStmt list.public int getNumUpdateStmt()
public int getNumUpdateStmtNoTransform()
public Stmt getUpdateStmt(int i)
i in the UpdateStmt list.i - Index of the element to return.
i in the UpdateStmt list.public boolean hasUpdateStmt()
true if it has at least one child, false otherwise.public void addUpdateStmt(Stmt node)
node - The element to append to the UpdateStmt list.public void addUpdateStmtNoTransform(Stmt node)
public void setUpdateStmt(Stmt node, int i)
i with the new node node.node - The new node to replace the old list element.i - The list index of the node to be replaced.@ASTNodeAnnotation.ListChild(name="UpdateStmt") public List<Stmt> getUpdateStmtList()
public List<Stmt> getUpdateStmtListNoTransform()
This method does not invoke AST transformations.
public List<Stmt> getUpdateStmts()
public List<Stmt> getUpdateStmtsNoTransform()
This method does not invoke AST transformations.
node - The new node to replace the Stmt child.@ASTNodeAnnotation.Child(name="Stmt") public Stmt getStmt()
public Stmt getStmtNoTransform()
This method does not invoke AST transformations.
@ASTNodeAnnotation.Attribute public boolean isDUbeforeCondition(org.extendj.ast.Variable v)
public Stmt Define_branchTarget(ASTNode caller, ASTNode child, Stmt branch)
Define_branchTarget in class ASTNode<ASTNode>/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 227protected boolean canDefine_branchTarget(ASTNode caller, ASTNode child, Stmt branch)
public boolean Define_isDAbefore(ASTNode caller, ASTNode child, org.extendj.ast.Variable v)
Define_isDAbefore in class ASTNode<ASTNode>/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 255protected boolean canDefine_isDAbefore(ASTNode caller, ASTNode child, org.extendj.ast.Variable v)
public boolean Define_isDUbefore(ASTNode caller, ASTNode child, org.extendj.ast.Variable v)
Define_isDUbefore in class ASTNode<ASTNode>/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 779protected boolean canDefine_isDUbefore(ASTNode caller, ASTNode child, org.extendj.ast.Variable v)
public org.extendj.ast.SimpleSet Define_lookupVariable(ASTNode caller, ASTNode child, java.lang.String name)
Define_lookupVariable in class ASTNode<ASTNode>/home/jesper/git/extendj/java8/frontend/LookupVariable.jrag at line 30protected boolean canDefine_lookupVariable(ASTNode caller, ASTNode child, java.lang.String name)
public org.extendj.ast.VariableScope Define_outerScope(ASTNode caller, ASTNode child)
Define_outerScope in class ASTNode<ASTNode>/home/jesper/git/extendj/java8/frontend/NameCheck.jrag at line 30protected boolean canDefine_outerScope(ASTNode caller, ASTNode child)
public boolean Define_insideLoop(ASTNode caller, ASTNode child)
Define_insideLoop in class ASTNode<ASTNode>/home/jesper/git/extendj/java4/frontend/NameCheck.jrag at line 441protected boolean canDefine_insideLoop(ASTNode caller, ASTNode child)
public boolean Define_reachable(ASTNode caller, ASTNode child)
Define_reachable in class ASTNode<ASTNode>/home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag at line 52protected boolean canDefine_reachable(ASTNode caller, ASTNode child)
public boolean Define_reportUnreachable(ASTNode caller, ASTNode child)
Define_reportUnreachable in class ASTNode<ASTNode>/home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 283protected boolean canDefine_reportUnreachable(ASTNode caller, ASTNode child)
public int Define_variableScopeEndLabel(ASTNode caller, ASTNode child, org.extendj.ast.CodeGeneration gen)
Define_variableScopeEndLabel in class ASTNode<ASTNode>/home/jesper/git/extendj/java4/backend/CodeGeneration.jrag at line 67protected boolean canDefine_variableScopeEndLabel(ASTNode caller, ASTNode child, org.extendj.ast.CodeGeneration gen)
public int Define_localNum(ASTNode caller, ASTNode child)
Define_localNum in class ASTNode<ASTNode>/home/jesper/git/extendj/java7/backend/MultiCatch.jrag at line 64protected boolean canDefine_localNum(ASTNode caller, ASTNode child)
public boolean Define_inhModifiedInScope(ASTNode caller, ASTNode child, org.extendj.ast.Variable var)
Define_inhModifiedInScope in class ASTNode<ASTNode>/home/jesper/git/extendj/java8/frontend/EffectivelyFinal.jrag at line 30protected boolean canDefine_inhModifiedInScope(ASTNode caller, ASTNode child, org.extendj.ast.Variable var)
rewriteTo in class BranchTargetStmtpublic org.extendj.ast.SimpleSet lookupVariable(java.lang.String name)
protected java.util.Map isDAafter_Variable_values
protected java.util.Map isDUafter_Variable_values
protected java.util.Map isDUbeforeCondition_Variable_values
protected java.util.Map localLookup_String_values
protected java.util.Map localVariableDeclaration_String_values
protected boolean canCompleteNormally_computed
protected boolean canCompleteNormally_value
protected java.util.Map variableScopeEndLabel_CodeGeneration_values
protected boolean cond_label_computed
protected int cond_label_value
protected boolean begin_label_computed
protected int begin_label_value
protected boolean update_label_computed
protected int update_label_value
protected boolean end_label_computed
protected int end_label_value
protected java.util.Map lookupVariable_String_values
|
|||||||
| FRAMES NO FRAMES | |||||||