Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES    

AST
node type BranchTargetStmt

General Info

Production
BranchTargetStmt : Stmt;
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by AST.ASTNode<ASTNode>
          extended by AST.Stmt
              extended by AST.BranchTargetStmt
All Implemented Interfaces:
BranchPropagation, java.lang.Cloneable, java.lang.Iterable<ASTNode>
Direct Known Subclasses:
DoStmt, EnhancedForStmt, ForStmt, LabeledStmt, SwitchStmt, WhileStmt

Description

Source
Declared in Java1.4Frontend/java.ast at line 196

Member Filters

API level:

Aspect:

Constructors

public BranchTargetStmt()
 

Attributes

syn boolean targetOf(ContinueStmt stmt)
Specified by:targetOf in interface BranchPropagation
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 39
Aspect
BranchTarget
syn boolean targetOf(BreakStmt stmt)
Specified by:targetOf in interface BranchPropagation
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 40
Aspect
BranchTarget
syn boolean reachableBreak()
Source
Declared in Java1.4Frontend/UnreachableStatements.jrag at line 49
Aspect
UnreachableStatements
syn boolean reachableContinue()
Source
Declared in Java1.4Frontend/UnreachableStatements.jrag at line 91
Aspect
UnreachableStatements
syn java.util.Collection targetBranches()
Specified by:targetBranches in interface BranchPropagation
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 82
Aspect
BranchTarget
syn java.util.Collection escapedBranches()
Specified by:escapedBranches in interface BranchPropagation
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 94
Aspect
BranchTarget
syn java.util.Collection branches()
Specified by:branches in interface BranchPropagation
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 108
Aspect
BranchTarget
syn java.util.Collection targetContinues()
Specified by:targetContinues in interface BranchPropagation
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 215
Aspect
BranchTarget
syn java.util.Collection targetBreaks()
Specified by:targetBreaks in interface BranchPropagation
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 232
Aspect
BranchTarget

Methods

public void flushCache()
Overrides:flushCache in class Stmt
public void flushCollectionCache()
Overrides:flushCollectionCache in class Stmt
public BranchTargetStmt clone()
                       throws java.lang.CloneNotSupportedException
Overrides:clone in class Stmt
Throws:
java.lang.CloneNotSupportedException
public void collectBranches(java.util.Collection c)
Specified by:collectBranches in interface BranchPropagationOverrides:collectBranches in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 57
Aspect
BranchTarget
public Stmt branchTarget(Stmt branchStmt)
Specified by:branchTarget in interface BranchPropagationOverrides:branchTarget in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 156
Aspect
BranchTarget
public void collectFinally(Stmt branchStmt,
                           java.util.ArrayList list)
Specified by:collectFinally in interface BranchPropagationOverrides:collectFinally in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 194
Aspect
BranchTarget
public void init$Children()
Initializes the child array to the correct size. Initializes List and Opt nta children.
Overrides:init$Children in class Stmt
protected int numChildren()
Overrides:numChildren in class Stmt
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class Stmt
public ASTNode rewriteTo()
Overrides:rewriteTo in class Stmt

Fields

protected boolean reachableBreak_computed
protected boolean reachableBreak_value
protected boolean reachableContinue_computed
protected boolean reachableContinue_value
protected boolean targetBranches_computed
protected java.util.Collection targetBranches_value
protected boolean escapedBranches_computed
protected java.util.Collection escapedBranches_value
protected boolean branches_computed
protected java.util.Collection branches_value
protected boolean targetContinues_computed
protected java.util.Collection targetContinues_value
protected boolean targetBreaks_computed
protected java.util.Collection targetBreaks_value

Inherited Members

Attributes inherited from AST.Stmt

addsIndentationLevel
break_label
canCompleteNormally
continue_label
continueLabel
declaresVariable
enclosingBodyDecl
hostType
isDAafter
isDAbefore
isDUafter
isDUbefore
localNum
lookupMethod
lookupType
lookupType
lookupVariable
modifiedInScope
reachable
reportUnreachable

Attributes inherited from AST.ASTNode

compilationUnit
definesLabel
dumpString
extractIndent
flush
indent
isStringAdd
lineNumber
sourceLineNumber
unassignedEverywhere
usesTypeVariable

Methods inherited from class AST.Stmt

createBCode
Define_String_typeDeclIndent

Methods inherited from class AST.ASTNode

accessControl
addChild
checkDUeverywhere
checkEnum
checkUncheckedConversion
checkWarnings
clear
clearLocations
cloneSubtree
collectEnclosingVariables
collectErrors
collectExceptions
copy
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_insideLoop
Define_boolean_insideSwitch
Define_boolean_inStaticContext
Define_boolean_isAnonymous
Define_boolean_isAnonymousDecl
Define_boolean_isCatchParam
Define_boolean_isConstructorParameter
Define_boolean_isDAbefore
Define_boolean_isDest
Define_boolean_isDUbefore
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_reachable
Define_boolean_reachableCatchClause
Define_boolean_reportUnreachable
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_condition_false_label
Define_int_condition_true_label
Define_int_localNum
Define_int_resultSaveLocalNum
Define_int_variableScopeEndLabel
Define_LabeledStmt_lookupLabel
Define_LUBType_lookupLUBType
Define_MethodDecl_unknownMethod
Define_NameType_nameType
Define_SimpleSet_allImportedTypes
Define_SimpleSet_lookupType
Define_SimpleSet_lookupVariable
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
Define_VariableScope_outerScope
definiteAssignment
dumpTree
dumpTree
dumpTreeNoRewrite
dumpTreeNoRewrite
duringAnnotations
duringAnonymousClasses
duringBoundNames
duringDU
duringEnums
duringGenericTypeVariables
duringImplicitConstructor
duringLiterals
duringNameResolution
duringSyntacticClassification
duringVariableDeclarationTransformation
end
error
error
errorPrefix
exceptionHandling
extractSingleType
findFirstSourceLineNumber
flushCaches
fullCopy
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
toString
transformation
transformEnumConstructors
typeCheck
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

Fields inherited from AST.Stmt

canCompleteNormally_computed
canCompleteNormally_value
isDAafter_Variable_values
isDUafter_Variable_values
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
Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES