Stmt

org.extendj.ast
node type Stmt

General Info

Production

Stmt : ASTNode;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      org.extendj.ast.ASTNode<ASTNode>
          org.extendj.ast.Stmt

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>, org.jastadd.util.PrettyPrintable

Direct Known Subclasses:: AssertStmt, BasicTWR, Block, BranchTargetStmt, BreakStmt, Case, ContinueStmt, EmptyStmt, ExprStmt, IfStmt, LocalClassDeclStmt, ReturnStmt, SynchronizedStmt, ThrowStmt, TryStmt, VarDeclStmt

Description

Source: Declared in /home/jesper/git/extendj/java4/grammar/Java.ast at line 191

Constructors

public Stmt()

Source: Declared in /home/jesper/git/extendj/ASTNode at line 1

Attributes

@ASTNodeAnnotation.Attribute
syn boolean modifiedInScope(org.extendj.ast.Variable var)

Source: Declared in /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 84
Aspect: PreciseRethrow

@ASTNodeAnnotation.Attribute
syn java.util.Iterator<org.extendj.ast.FinallyHost> finallyIterator()

Finds enclosing finally and monitor exit blocks.

Returns:: an iterator for finally (and monitor exit) blocks that are reached before the final target of this statement is reached
Source: Declared in /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 80
Aspect: BranchTarget

@ASTNodeAnnotation.Attribute
syn boolean canBranchTo(BranchTargetStmt target)

Returns:: true if this statement can branch to the target statement.
Source: Declared in /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 187
Aspect: BranchTarget

@ASTNodeAnnotation.Attribute
syn boolean canBranchTo(LabeledStmt target)

Source: Declared in /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 188
Aspect: BranchTarget

@ASTNodeAnnotation.Attribute
syn boolean canBranchTo(SwitchStmt target)

Source: Declared in /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 189
Aspect: BranchTarget

@ASTNodeAnnotation.Attribute
syn boolean isDAafter(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 257
Aspect: DA

@ASTNodeAnnotation.Attribute
syn boolean isDUafter(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 781
Aspect: DU

@ASTNodeAnnotation.Attribute
syn VariableDeclaration variableDeclaration(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 205
Aspect: VariableScope

@ASTNodeAnnotation.Attribute
syn boolean continueLabel()

Source: Declared in /home/jesper/git/extendj/java4/frontend/NameCheck.jrag at line 478
Aspect: NameCheck

@ASTNodeAnnotation.Attribute
syn boolean canCompleteNormally()

Source: Declared in /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag at line 53
Aspect: UnreachableStatements

@ASTNodeAnnotation.Attribute
syn int break_label()

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1621
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
syn int continue_label()

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1645
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
syn int localSize()

Computes size required for local variables of this statement. NB: only relevant for variable declaration statements.

Returns:: local size for declared variables
Source: Declared in /home/jesper/git/extendj/java4/backend/LocalNum.jrag at line 38
Aspect: LocalNum

@ASTNodeAnnotation.Attribute
inh Stmt branchTarget(Stmt branch)

Returns:: the target statement for a break or continue
Source: Declared in /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 227
Aspect: BranchTarget

@ASTNodeAnnotation.Attribute
inh org.extendj.ast.FinallyHost enclosingFinally(Stmt branch)

Find finally block of enclosing try-statement, or monitor exit block of enclosing synchronized block.

Parameters:: branch - the source branch
Returns:: a finally block, or null if there is no enclosing try-statement
Source: Declared in /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 262
Aspect: BranchTarget

@ASTNodeAnnotation.Attribute
inh boolean isDAbefore(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 255
Aspect: DA

@ASTNodeAnnotation.Attribute
inh boolean isDUbefore(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 779
Aspect: DU

@ASTNodeAnnotation.Attribute
inh java.util.Collection lookupMethod(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag at line 46
Aspect: LookupMethod

@ASTNodeAnnotation.Attribute
inh TypeDecl lookupType(java.lang.String packageName,
                                                java.lang.String typeName)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 130
Aspect: LookupFullyQualifiedTypes

@ASTNodeAnnotation.Attribute
inh org.extendj.ast.SimpleSet lookupType(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 339
Aspect: TypeScopePropagation

@ASTNodeAnnotation.Attribute
inh org.extendj.ast.SimpleSet lookupVariable(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 37
Aspect: VariableScope

@ASTNodeAnnotation.Attribute
inh BodyDecl enclosingBodyDecl()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 561
Aspect: NestedTypes

@ASTNodeAnnotation.Attribute
inh TypeDecl hostType()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 639
Aspect: NestedTypes

@ASTNodeAnnotation.Attribute
inh boolean reachable()

Source: Declared in /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag at line 51
Aspect: UnreachableStatements

@ASTNodeAnnotation.Attribute
inh boolean reportUnreachable()

Source: Declared in /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag at line 209
Aspect: UnreachableStatements

@ASTNodeAnnotation.Attribute
inh boolean leavesMonitor(Stmt branch,
                                                  SynchronizedStmt monitor)

Checks if the branch statement leaves the monitor.

Returns:: true if the branch leaves the monitor
Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1836
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
inh int localNum()

Returns:: The next available local variable index.
Source: Declared in /home/jesper/git/extendj/java4/backend/LocalNum.jrag at line 63
Aspect: LocalNum

Methods

public Opt<Block> branchFinallyOpt()

Returns:: An Opt node containing the finally and monitor exit blocks from the list of enclosing try-statements and synchronized blocks.
Source: Declared in /home/jesper/git/extendj/java4/frontend/NTAFinally.jrag at line 82
Aspect: NTAFinally

public void createBCode(org.extendj.ast.CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1359
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 ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 10

protected int numChildren()

Overrides:numChildren in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 15

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 21

public void flushAttrCache()

Overrides:flushAttrCache in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 27

public void flushCollectionCache()

Overrides:flushCollectionCache in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 40

public void flushRewriteCache()

Overrides:flushRewriteCache in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 46

public Stmt clone()
           throws java.lang.CloneNotSupportedException

Overrides:clone in class ASTNode<ASTNode>

Throws:: java.lang.CloneNotSupportedException
Source: Declared in /home/jesper/git/extendj/ASTNode at line 52

@Deprecated
public abstract Stmt fullCopy()

Deprecated. Please use treeCopy or treeCopyNoTransform instead

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
Source: Declared in /home/jesper/git/extendj/ASTNode at line 63

public abstract Stmt treeCopyNoTransform()

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

Overrides:treeCopyNoTransform in class ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node
Source: Declared in /home/jesper/git/extendj/ASTNode at line 71

public abstract Stmt treeCopy()

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

Overrides:treeCopy in class ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node
Source: Declared in /home/jesper/git/extendj/ASTNode at line 79

public ASTNode rewriteTo()

Overrides:rewriteTo in class ASTNode<ASTNode>

Fields

protected boolean finallyIterator_computed

protected java.util.Iterator<org.extendj.ast.FinallyHost> finallyIterator_value

protected java.util.Map isDAafter_Variable_values

protected java.util.Map isDUafter_Variable_values

protected boolean canCompleteNormally_computed

protected boolean canCompleteNormally_value

protected boolean localSize_computed

protected int localSize_value

protected java.util.Map enclosingFinally_Stmt_values

protected boolean localNum_computed

protected int localNum_value

Inherited Members

Attributes inherited from org.extendj.ast.ASTNode

Methods inherited from class org.extendj.ast.ASTNode

accessControl

addChild

canDefine_allImportedTypes

canDefine_assignConvertedType

canDefine_assignmentContext

canDefine_bind

canDefine_blockIndex

canDefine_branchTarget

canDefine_castContext

canDefine_catchClause

canDefine_caughtExceptions

canDefine_compilationUnit

canDefine_componentType

canDefine_constructorDecl

canDefine_declType

canDefine_enclosingAnnotationDecl

canDefine_enclosingBlock

canDefine_enclosingBodyDecl

canDefine_enclosingExplicitConstructorHostType

canDefine_enclosingFinally

canDefine_enclosingInstance

canDefine_enclosingLambda

canDefine_enclosingType

canDefine_expectedType

canDefine_genericDecl

canDefine_genericMethodLevel

canDefine_getClassInstanceExpr

canDefine_handlesException

canDefine_hasPackage

canDefine_hostPackage

canDefine_hostType

canDefine_inExplicitConstructorInvocation

canDefine_inExtendsOrImplements

canDefine_inferredType

canDefine_inhModifiedInScope

canDefine_insideLoop

canDefine_insideSwitch

canDefine_inStaticContext

canDefine_invocationContext

canDefine_isAnonymous

canDefine_isAnonymousDecl

canDefine_isCatchParam

canDefine_isConstructorParameter

canDefine_isDAbefore

canDefine_isDest

canDefine_isDUbefore

canDefine_isExceptionHandlerParameter

canDefine_isExplicitGenericConstructorAccess

canDefine_isIncOrDec

canDefine_isLocalClass

canDefine_isMemberType

canDefine_isMethodParameter

canDefine_isNestedType

canDefine_isSource

canDefine_leavesMonitor

canDefine_localNum

canDefine_lookupAnnotation

canDefine_lookupConstructor

canDefine_lookupElementTypeValue

canDefine_lookupGLBType

canDefine_lookupLabel

canDefine_lookupLUBType

canDefine_lookupMethod

canDefine_lookupSuperConstructor

canDefine_lookupType

canDefine_lookupVariable

canDefine_lookupWildcardExtends

canDefine_lookupWildcardSuper

canDefine_mayBeAbstract

canDefine_mayBeFinal

canDefine_mayBeNative

canDefine_mayBePrivate

canDefine_mayBeProtected

canDefine_mayBePublic

canDefine_mayBeStatic

canDefine_mayBeStrictfp

canDefine_mayBeSynchronized

canDefine_mayBeTransient

canDefine_mayBeVolatile

canDefine_mayUseAnnotationTarget

canDefine_methodHost

canDefine_nameType

canDefine_nestedScope

canDefine_numericContext

canDefine_otherLocalClassDecls

canDefine_outerScope

canDefine_packageName

canDefine_program

canDefine_reachable

canDefine_reachableCatchClause

canDefine_reportUnreachable

canDefine_resourcePreviouslyDeclared

canDefine_resultSaveLocalNum

canDefine_returnType

canDefine_stringContext

canDefine_superType

canDefine_switchType

canDefine_targetType

canDefine_typeBoolean

canDefine_typeByte

canDefine_typeChar

canDefine_typeCloneable

canDefine_typeDouble

canDefine_typeError

canDefine_typeException

canDefine_typeNullPointerException

canDefine_typeObject

canDefine_typeRuntimeException

canDefine_typeSerializable

canDefine_typeShort

canDefine_typeString

canDefine_typeThrowable

canDefine_typeVarInMethod

canDefine_typeVarPosition

canDefine_typeVoid

canDefine_typeWildcard

canDefine_unknownConstructor

canDefine_unknownField

canDefine_unknownMethod

canDefine_unknownType

canDefine_variableArityValid

canDefine_variableScopeEndLabel

canDefine_withinDeprecatedAnnotation

canDefine_withinSuppressWarnings

checkDUeverywhere

checkEnum

checkUncheckedConversion

checkWarnings

clear

clearLocations

collect_contributors_BlockLambdaBody_lambdaReturns

collectBranches

collectEnclosingVariables

collectErrors

collectExceptions

contributeTo_BlockLambdaBody_BlockLambdaBody_lambdaReturns

copy

Define_allImportedTypes

Define_assignConvertedType

Define_assignmentContext

Define_caughtExceptions

Define_compilationUnit

Define_componentType

Define_constructorDecl

Define_declType

Define_enclosingAnnotationDecl

Define_enclosingBlock

Define_enclosingBodyDecl

Define_enclosingExplicitConstructorHostType

Define_enclosingFinally

Define_enclosingInstance

Define_enclosingLambda

Define_enclosingType

Define_expectedType

Define_genericDecl

Define_genericMethodLevel

Define_getClassInstanceExpr

Define_handlesException

Define_hasPackage

Define_hostPackage

Define_hostType

Define_inExplicitConstructorInvocation

Define_inExtendsOrImplements

Define_inferredType

Define_inhModifiedInScope

Define_insideLoop

Define_insideSwitch

Define_inStaticContext

Define_invocationContext

Define_isAnonymous

Define_isAnonymousDecl

Define_isCatchParam

Define_isConstructorParameter

Define_isDAbefore

Define_isDest

Define_isDUbefore

Define_isExceptionHandlerParameter

Define_isExplicitGenericConstructorAccess

Define_isIncOrDec

Define_isLocalClass

Define_isMemberType

Define_isMethodParameter

Define_lookupAnnotation

Define_lookupConstructor

Define_lookupElementTypeValue

Define_lookupSuperConstructor

Define_lookupType

Define_lookupVariable

Define_lookupWildcardExtends

Define_lookupWildcardSuper

Define_mayBeProtected

Define_mayBePublic

Define_mayBeStatic

Define_mayBeStrictfp

Define_mayBeSynchronized

Define_mayBeTransient

Define_mayBeVolatile

Define_mayUseAnnotationTarget

Define_methodHost

Define_nameType

Define_nestedScope

Define_numericContext

Define_otherLocalClassDecls

Define_reachableCatchClause

Define_reportUnreachable

Define_resourcePreviouslyDeclared

Define_resultSaveLocalNum

Define_typeNullPointerException

Define_typeObject

Define_typeRuntimeException

Define_typeSerializable

Define_typeShort

Define_typeString

Define_typeThrowable

Define_typeVarInMethod

Define_typeVarPosition

Define_typeVoid

Define_typeWildcard

Define_unknownConstructor

Define_unknownField

Define_unknownMethod

Define_unknownType

Define_variableArityValid

Define_variableScopeEndLabel

Define_withinDeprecatedAnnotation

Define_withinSuppressWarnings

findFirstSourceLineNumber

flushAttrAndCollectionCache

getNumChildNoTransform

removeInstanceMethods

removeInstanceVariables

structuredPrettyPrint

toString

transformation

transformEnumConstructors

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

Fields inherited from org.extendj.ast.ASTNode

children

generatedWithCacheCycle

generatedWithComponentCheck