Stmt

AST
node type Stmt

General Info

Production

Stmt : ASTNode;

Type Hierarchy:

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

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>

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

Description

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

Constructors

public Stmt()

Attributes

syn boolean modifiedInScope(Variable var)

Source: Declared in Java7Frontend/PreciseRethrow.jrag at line 55
Aspect: PreciseRethrow

syn boolean isDAafter(Variable v)

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 325
Aspect: DA

syn boolean isDUafter(Variable v)

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 777
Aspect: DU

syn boolean declaresVariable(java.lang.String name)

Source: Declared in Java1.4Frontend/LookupVariable.jrag at line 129
Aspect: VariableScope

syn boolean continueLabel()

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

syn boolean addsIndentationLevel()

Overrides:addsIndentationLevel in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 758
Aspect: PrettyPrint

syn boolean canCompleteNormally()

Source: Declared in Java1.4Frontend/UnreachableStatements.jrag at line 29
Aspect: UnreachableStatements

syn int break_label()

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

syn int continue_label()

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

inh boolean isDAbefore(Variable v)

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 232
Aspect: DA

inh boolean isDUbefore(Variable v)

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 691
Aspect: DU

inh java.util.Collection lookupMethod(java.lang.String name)

Source: Declared in Java1.4Frontend/LookupMethod.jrag at line 24
Aspect: LookupMethod

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

Source: Declared in Java1.4Frontend/LookupType.jrag at line 96
Aspect: LookupFullyQualifiedTypes

inh SimpleSet lookupType(java.lang.String name)

Source: Declared in Java1.4Frontend/LookupType.jrag at line 262
Aspect: TypeScopePropagation

inh SimpleSet lookupVariable(java.lang.String name)

Source: Declared in Java1.4Frontend/LookupVariable.jrag at line 16
Aspect: VariableScope

inh BodyDecl enclosingBodyDecl()

Source: Declared in Java1.4Frontend/TypeAnalysis.jrag at line 511
Aspect: NestedTypes

inh TypeDecl hostType()

Source: Declared in Java1.4Frontend/TypeAnalysis.jrag at line 587
Aspect: NestedTypes

inh boolean reachable()

Source: Declared in Java1.4Frontend/UnreachableStatements.jrag at line 27
Aspect: UnreachableStatements

inh boolean reportUnreachable()

Source: Declared in Java1.4Frontend/UnreachableStatements.jrag at line 147
Aspect: UnreachableStatements

inh int localNum()

Source: Declared in Java1.4Backend/LocalNum.jrag at line 12
Aspect: LocalNum

Methods

public void flushCache()

Overrides:flushCache in class ASTNode<ASTNode>

public void flushCollectionCache()

Overrides:flushCollectionCache in class ASTNode<ASTNode>

public Stmt clone()
           throws java.lang.CloneNotSupportedException

Overrides:clone in class ASTNode<ASTNode>

Throws:: java.lang.CloneNotSupportedException

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1174
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>

protected int numChildren()

Overrides:numChildren in class ASTNode<ASTNode>

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ASTNode<ASTNode>

public java.lang.String Define_String_typeDeclIndent(ASTNode caller,
                                                     ASTNode child)

Overrides:Define_String_typeDeclIndent in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 352

public ASTNode rewriteTo()

Overrides:rewriteTo in class ASTNode<ASTNode>

Fields

protected java.util.Map isDAafter_Variable_values

protected java.util.Map isDUafter_Variable_values

protected boolean canCompleteNormally_computed

protected boolean canCompleteNormally_value

protected boolean localNum_computed

protected int localNum_value

Inherited Members

Attributes inherited from AST.ASTNode

Methods inherited from class AST.ASTNode

checkUncheckedConversion

collectEnclosingVariables

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

duringAnonymousClasses

duringBoundNames

duringDU

duringEnums

duringGenericTypeVariables

duringImplicitConstructor

duringLiterals

duringNameResolution

duringSyntacticClassification

duringVariableDeclarationTransformation

findFirstSourceLineNumber

getNumChildNoTransform

removeInstanceMethods

removeInstanceVariables

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 AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck