AST
node type ForStmt

General Info

Production

ForStmt : BranchTargetStmt ::= InitStmt:Stmt* [Condition:Expr] UpdateStmt:Stmt* Stmt;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Stmt
              AST.BranchTargetStmt
                  AST.ForStmt

All Implemented Interfaces:

BranchPropagation, VariableScope, java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

Source

Declared in Java1.4Frontend/java.ast at line 210

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

PreciseRethrow

PrettyPrint

CodeGeneration

NameCheck

UnreachableStatements

TypeCheck

DU

CreateBCode

DA

BranchTarget

VariableScope

Constructors

public ForStmt()

public ForStmt(List<Stmt> p0,
               Opt<Expr> p1,
               List<Stmt> p2,
               Stmt p3)

Attributes

syn boolean targetOf(ContinueStmt stmt)

Specified by:targetOf in interface BranchPropagationSpecified by:targetOf in class BranchTargetStmt

Source

Declared in Java1.4Frontend/BranchTarget.jrag at line 71

Aspect

BranchTarget

syn boolean targetOf(BreakStmt stmt)

Specified by:targetOf in interface BranchPropagationSpecified by:targetOf in class BranchTargetStmt

Source

Declared in Java1.4Frontend/BranchTarget.jrag at line 79

Aspect

BranchTarget

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Stmt

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 612

Aspect

DA

syn boolean isDAafterInitialization(Variable v)

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 625

Aspect

DA

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Stmt

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1096

Aspect

DU

syn boolean isDUafterInit(Variable v)

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1116

Aspect

DU

syn boolean isDUbeforeCondition(Variable v)

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1118

Aspect

DU

syn boolean isDUafterUpdate(Variable v)

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1129

Aspect

DU

syn SimpleSet localLookup(java.lang.String name)

Source

Declared in Java1.4Frontend/LookupVariable.jrag at line 91

Aspect

VariableScope

syn VariableDeclaration localVariableDeclaration(java.lang.String name)

Source

Declared in Java1.4Frontend/LookupVariable.jrag at line 123

Aspect

VariableScope

syn boolean continueLabel()

Overrides:continueLabel in class Stmt

Source

Declared in Java1.4Frontend/NameCheck.jrag at line 401

Aspect

NameCheck

syn boolean canCompleteNormally()

Overrides:canCompleteNormally in class Stmt

Source

Declared in Java1.4Frontend/UnreachableStatements.jrag at line 102

Aspect

UnreachableStatements

syn int variableScopeEndLabel(CodeGeneration gen)

Source

Declared in Java1.4Backend/CodeGeneration.jrag at line 45

Aspect

CodeGeneration

syn boolean definesLabel()

Overrides:definesLabel in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 946

Aspect

CreateBCode

syn int cond_label()

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1372

Aspect

CreateBCode

syn int begin_label()

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1373

Aspect

CreateBCode

syn int update_label()

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1374

Aspect

CreateBCode

syn int end_label()

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1375

Aspect

CreateBCode

syn int break_label()

Overrides:break_label in class Stmt

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1398

Aspect

CreateBCode

syn int continue_label()

Overrides:continue_label in class Stmt

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1417

Aspect

CreateBCode

syn boolean modifiedInScope(Variable var)

Specified by:modifiedInScope in class Stmt

Source

Declared in Java7Frontend/PreciseRethrow.jrag at line 55

Aspect

PreciseRethrow

inh SimpleSet lookupVariable(java.lang.String name)

Specified by:lookupVariable in interface VariableScopeOverrides:lookupVariable in class Stmt

Source

Declared in Java1.4Frontend/LookupVariable.jrag at line 18

Aspect

VariableScope

Methods

public void flushCache()

Overrides:flushCache in class BranchTargetStmt

public void flushCollectionCache()

Overrides:flushCollectionCache in class BranchTargetStmt

public ForStmt clone()
              throws java.lang.CloneNotSupportedException

Overrides:clone in class BranchTargetStmt

Throws:

java.lang.CloneNotSupportedException

public ForStmt copy()

Overrides:copy in class ASTNode<ASTNode>

public ForStmt fullCopy()

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Overrides:fullCopy in class ASTNode<ASTNode>

Returns:

dangling copy of the subtree at this node

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/PrettyPrint.jadd at line 604

Aspect

PrettyPrint

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/TypeCheck.jrag at line 334

Aspect

TypeCheck

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class Stmt

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1377

Aspect

CreateBCode

public void init$Children()

Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:init$Children in class BranchTargetStmt

protected int numChildren()

Overrides:numChildren in class BranchTargetStmt

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class BranchTargetStmt

public void setInitStmtList(List<Stmt> list)

Replaces the InitStmt list.

Parameters:

list - The new list node to be used as the InitStmt list.

public int getNumInitStmt()

Retrieves the number of children in the InitStmt list.

Returns:

Number of children in the InitStmt list.

public int getNumInitStmtNoTransform()

Retrieves the number of children in the InitStmt list. Calling this method will not trigger rewrites..

Returns:

Number of children in the InitStmt list.

public Stmt getInitStmt(int i)

Retrieves the element at index i in the InitStmt list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the InitStmt list.

public void addInitStmt(Stmt node)

Append an element to the InitStmt list.

Parameters:

node - The element to append to the InitStmt list.

public void addInitStmtNoTransform(Stmt node)

public void setInitStmt(Stmt node,
                        int i)

Replaces the InitStmt list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

public List<Stmt> getInitStmts()

Retrieves the InitStmt list.

Returns:

The node representing the InitStmt list.

public List<Stmt> getInitStmtsNoTransform()

Retrieves the InitStmt list.

This method does not invoke AST transformations.

Returns:

The node representing the InitStmt list.

public List<Stmt> getInitStmtList()

Retrieves the InitStmt list.

Returns:

The node representing the InitStmt list.

public List<Stmt> getInitStmtListNoTransform()

Retrieves the InitStmt list.

This method does not invoke AST transformations.

Returns:

The node representing the InitStmt list.

public void setConditionOpt(Opt<Expr> opt)

Replaces the optional node for the Condition child. This is the Opt node containing the child Condition, not the actual child!

Parameters:

opt - The new node to be used as the optional node for the Condition child.

public boolean hasCondition()

Check whether the optional Condition child exists.

Returns:

true if the optional Condition child exists, false if it does not.

public Expr getCondition()

Retrieves the (optional) Condition child.

Returns:

The Condition child, if it exists. Returns null otherwise.

public void setCondition(Expr node)

Replaces the (optional) Condition child.

Parameters:

node - The new node to be used as the Condition child.

public Opt<Expr> getConditionOpt()

public Opt<Expr> getConditionOptNoTransform()

Retrieves the optional node for child Condition. This is the Opt node containing the child Condition, not the actual child!

This method does not invoke AST transformations.

Returns:

The optional node for child Condition.

public void setUpdateStmtList(List<Stmt> list)

Replaces the UpdateStmt list.

Parameters:

list - The new list node to be used as the UpdateStmt list.

public int getNumUpdateStmt()

Retrieves the number of children in the UpdateStmt list.

Returns:

Number of children in the UpdateStmt list.

public int getNumUpdateStmtNoTransform()

Retrieves the number of children in the UpdateStmt list. Calling this method will not trigger rewrites..

Returns:

Number of children in the UpdateStmt list.

public Stmt getUpdateStmt(int i)

Retrieves the element at index i in the UpdateStmt list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the UpdateStmt list.

public void addUpdateStmt(Stmt node)

Append an element to the UpdateStmt list.

Parameters:

node - The element to append to the UpdateStmt list.

public void addUpdateStmtNoTransform(Stmt node)

public void setUpdateStmt(Stmt node,
                          int i)

Replaces the UpdateStmt list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

public List<Stmt> getUpdateStmts()

Retrieves the UpdateStmt list.

Returns:

The node representing the UpdateStmt list.

public List<Stmt> getUpdateStmtsNoTransform()

Retrieves the UpdateStmt list.

This method does not invoke AST transformations.

Returns:

The node representing the UpdateStmt list.

public List<Stmt> getUpdateStmtList()

Retrieves the UpdateStmt list.

Returns:

The node representing the UpdateStmt list.

public List<Stmt> getUpdateStmtListNoTransform()

Retrieves the UpdateStmt list.

This method does not invoke AST transformations.

Returns:

The node representing the UpdateStmt list.

public void setStmt(Stmt node)

Replaces the Stmt child.

Parameters:

node - The new node to replace the Stmt child.

public Stmt getStmt()

Retrieves the Stmt child.

Returns:

The current node used as the Stmt child.

public Stmt getStmtNoTransform()

Retrieves the Stmt child.

This method does not invoke AST transformations.

Returns:

The current node used as the Stmt child.

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 636

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1145

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 java.lang.String name)

Overrides:Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/LookupVariable.jrag at line 90

public VariableScope Define_VariableScope_outerScope(ASTNode caller,
                                                     ASTNode child)

Overrides:Define_VariableScope_outerScope in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/NameCheck.jrag at line 299

public boolean Define_boolean_insideLoop(ASTNode caller,
                                         ASTNode child)

Overrides:Define_boolean_insideLoop in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/NameCheck.jrag at line 370

public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)

Overrides:Define_boolean_reachable in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/UnreachableStatements.jrag at line 103

public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)

Overrides:Define_boolean_reportUnreachable in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/UnreachableStatements.jrag at line 151

public int Define_int_variableScopeEndLabel(ASTNode caller,
                                            ASTNode child,
                                            CodeGeneration gen)

Overrides:Define_int_variableScopeEndLabel in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CodeGeneration.jrag at line 46

public int Define_int_condition_false_label(ASTNode caller,
                                            ASTNode child)

Overrides:Define_int_condition_false_label in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 969

public int Define_int_condition_true_label(ASTNode caller,
                                           ASTNode child)

Overrides:Define_int_condition_true_label in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 970

public int Define_int_localNum(ASTNode caller,
                               ASTNode child)

Overrides:Define_int_localNum in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/LocalNum.jrag at line 102

public ASTNode rewriteTo()

Overrides:rewriteTo in class BranchTargetStmt

Fields

protected java.util.Map targetOf_ContinueStmt_values

protected java.util.Map targetOf_BreakStmt_values

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

Inherited Members

Attributes inherited from AST.BranchTargetStmt

branches

escapedBranches

reachableBreak

reachableContinue

targetBranches

targetBreaks

targetContinues

Attributes inherited from AST.Stmt

addsIndentationLevel

declaresVariable

enclosingBodyDecl

hostType

isDAbefore

isDUbefore

localNum

lookupMethod

lookupType

lookupType

reachable

reportUnreachable

Attributes inherited from AST.ASTNode

compilationUnit

dumpString

extractIndent

flush

indent

isStringAdd

lineNumber

sourceLineNumber

unassignedEverywhere

usesTypeVariable

Methods inherited from class AST.BranchTargetStmt

branchTarget

collectBranches

collectFinally

Methods inherited from class AST.Stmt

Define_String_typeDeclIndent

Methods inherited from class AST.ASTNode

accessControl

addChild

checkDUeverywhere

checkEnum

checkUncheckedConversion

checkWarnings

clear

clearLocations

cloneSubtree

collectEnclosingVariables

collectErrors

collectExceptions

Define_Annotation_lookupAnnotation

Define_ASTNode_enclosingBlock

Define_BodyDecl_enclosingBodyDecl

Define_boolean_handlesException

Define_boolean_hasPackage

Define_boolean_inExplicitConstructorInvocation

Define_boolean_inExtendsOrImplements

Define_boolean_inhModifiedInScope

Define_boolean_insideSwitch

Define_boolean_inStaticContext

Define_boolean_isAnonymous

Define_boolean_isAnonymousDecl

Define_boolean_isCatchParam

Define_boolean_isConstructorParameter

Define_boolean_isDest

Define_boolean_isExceptionHandlerParameter

Define_boolean_isExplicitGenericConstructorAccess

Define_boolean_isIncOrDec

Define_boolean_isLocalClass

Define_boolean_isMemberType

Define_boolean_isMethodParameter

Define_boolean_isNestedType

Define_boolean_isSource

Define_boolean_mayBeAbstract

Define_boolean_mayBeFinal

Define_boolean_mayBeNative

Define_boolean_mayBePrivate

Define_boolean_mayBeProtected

Define_boolean_mayBePublic

Define_boolean_mayBeStatic

Define_boolean_mayBeStrictfp

Define_boolean_mayBeSynchronized

Define_boolean_mayBeTransient

Define_boolean_mayBeVolatile

Define_boolean_mayUseAnnotationTarget

Define_boolean_reachableCatchClause

Define_boolean_resourcePreviouslyDeclared

Define_boolean_variableArityValid

Define_boolean_withinDeprecatedAnnotation

Define_boolean_withinSuppressWarnings

Define_Case_bind

Define_CatchClause_catchClause

Define_ClassInstanceExpr_getClassInstanceExpr

Define_Collection_lookupConstructor

Define_Collection_lookupMethod

Define_Collection_lookupSuperConstructor

Define_Collection_TypeDecl__caughtExceptions

Define_CompilationUnit_compilationUnit

Define_ConstructorDecl_constructorDecl

Define_ConstructorDecl_unknownConstructor

Define_ElementValue_lookupElementTypeValue

Define_Expr_nestedScope

Define_GLBType_lookupGLBType

Define_int_resultSaveLocalNum

Define_LabeledStmt_lookupLabel

Define_LUBType_lookupLUBType

Define_MethodDecl_unknownMethod

Define_NameType_nameType

Define_SimpleSet_allImportedTypes

Define_SimpleSet_lookupType

Define_String_destinationPath

Define_String_hostPackage

Define_String_methodHost

Define_String_packageName

Define_TypeDecl_assignConvertedType

Define_TypeDecl_componentType

Define_TypeDecl_declType

Define_TypeDecl_enclosingAnnotationDecl

Define_TypeDecl_enclosingInstance

Define_TypeDecl_enclosingType

Define_TypeDecl_expectedType

Define_TypeDecl_genericDecl

Define_TypeDecl_hostType

Define_TypeDecl_lookupType

Define_TypeDecl_lookupWildcardExtends

Define_TypeDecl_lookupWildcardSuper

Define_TypeDecl_returnType

Define_TypeDecl_superType

Define_TypeDecl_switchType

Define_TypeDecl_typeBoolean

Define_TypeDecl_typeByte

Define_TypeDecl_typeChar

Define_TypeDecl_typeCloneable

Define_TypeDecl_typeDouble

Define_TypeDecl_typeError

Define_TypeDecl_typeException

Define_TypeDecl_typeFloat

Define_TypeDecl_typeInt

Define_TypeDecl_typeLong

Define_TypeDecl_typeNull

Define_TypeDecl_typeNullPointerException

Define_TypeDecl_typeObject

Define_TypeDecl_typeRuntimeException

Define_TypeDecl_typeSerializable

Define_TypeDecl_typeShort

Define_TypeDecl_typeString

Define_TypeDecl_typeThrowable

Define_TypeDecl_typeVoid

Define_TypeDecl_typeWildcard

Define_TypeDecl_unknownType

Define_Variable_unknownField

definiteAssignment

dumpTree

dumpTree

dumpTreeNoRewrite

dumpTreeNoRewrite

duringAnnotations

duringAnonymousClasses

duringBoundNames

duringDU

duringEnums

duringGenericTypeVariables

duringImplicitConstructor

duringLiterals

duringNameResolution

duringSyntacticClassification

duringVariableDeclarationTransformation

end

error

error

errorPrefix

exceptionHandling

extractSingleType

findFirstSourceLineNumber

flushCaches

getChild

getChildNoTransform

getIndexOfChild

getNumChild

getNumChildNoTransform

getParent

in$Circle

in$Circle

insertChild

is$Final

is$Final

isDescendantTo

iterator

location

nameCheck

options

putSimpleSetElement

reachedException

removeChild

removeInstanceMethods

removeInstanceVariables

replace

setChild

setEnd

setLocation

setParent

setSourceLineNumber

setStart

sourceFile

start

state

toString

transformation

transformEnumConstructors

varChildIndex

varChildIndex

warning

warningPrefix

with

Methods inherited from class beaver.Symbol

getColumn

getEnd

getId

getLine

getStart

makePosition

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

wait

wait

wait

Methods inherited from interface AST.VariableScope

lookupVariable

Fields inherited from AST.BranchTargetStmt

branches_computed

branches_value

escapedBranches_computed

escapedBranches_value

reachableBreak_computed

reachableBreak_value

reachableContinue_computed

reachableContinue_value

targetBranches_computed

targetBranches_value

targetBreaks_computed

targetBreaks_value

targetContinues_computed

targetContinues_value

Fields inherited from AST.Stmt

localNum_computed

localNum_value

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

in$Circle

is$Final

numChildren

parent

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

id

start

value