org.extendj.ast
node type ReturnStmt

General Info

Production

ReturnStmt : Stmt ::= [Result:Expr] [Finally:Block];

Type Hierarchy:

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

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<ASTNode>, org.jastadd.util.PrettyPrintable

Description

Source

Declared in /home/jesper/git/extendj/java4/grammar/Java.ast at line 210

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

PreciseRethrow

Java4PrettyPrint

NTAFinally

LocalNum

CodeGeneration

UnreachableStatements

TypeCheck

DU

CreateBCode

DA

BranchTarget

EnclosingLambda

Constructors

public ReturnStmt(Expr expr)

Source

Declared in /home/jesper/git/extendj/java4/frontend/NodeConstructors.jrag at line 73

Aspect

NodeConstructors

public ReturnStmt()

Source

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

public ReturnStmt(Opt<Expr> p0)

Source

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

Attributes

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

Overrides:isDAafter in class Stmt

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 257

Aspect

DA

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

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 1084

Aspect

DU

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

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 1131

Aspect

DU

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

Overrides:isDUafter in class Stmt

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 781

Aspect

DU

@ASTNodeAnnotation.Attribute
syn nta Opt<Block> getFinallyOpt()

Source

Declared in /home/jesper/git/extendj/java4/frontend/NTAFinally.jrag at line 61

Aspect

NTAFinally

@ASTNodeAnnotation.Attribute
syn boolean canCompleteNormally()

Overrides:canCompleteNormally in class Stmt

Source

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

Aspect

UnreachableStatements

@ASTNodeAnnotation.Attribute
syn int sourceLineNumber()

Overrides:sourceLineNumber in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java4/backend/CodeGeneration.jrag at line 37

Aspect

CodeGeneration

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

Specified by:modifiedInScope in class Stmt

Source

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

Aspect

PreciseRethrow

@ASTNodeAnnotation.Attribute
inh TypeDecl returnType()

Source

Declared in /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag at line 472

Aspect

TypeCheck

@ASTNodeAnnotation.Attribute
inh int resultSaveLocalNum()

Source

Declared in /home/jesper/git/extendj/java4/backend/LocalNum.jrag at line 101

Aspect

LocalNum

@ASTNodeAnnotation.Attribute
inh LambdaExpr enclosingLambda()

Source

Declared in /home/jesper/git/extendj/java8/frontend/EnclosingLambda.jrag at line 33

Aspect

EnclosingLambda

Methods

public void collectBranches(java.util.Collection<Stmt> c)

Overrides:collectBranches in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag at line 104

Aspect

BranchTarget

public void prettyPrint(org.jastadd.util.PrettyPrinter out)

Specified by:prettyPrint in interface org.jastadd.util.PrettyPrintableOverrides:prettyPrint in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java4/frontend/PrettyPrint.jadd at line 219

Aspect

Java4PrettyPrint

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

Overrides:createBCode in class Stmt

Source

Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1669

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 Stmt

Source

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

protected int numChildren()

Overrides:numChildren in class Stmt

Source

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

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Stmt

Source

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

public void flushAttrCache()

Overrides:flushAttrCache in class Stmt

Source

Declared in /home/jesper/git/extendj/ASTNode at line 33

public void flushCollectionCache()

Overrides:flushCollectionCache in class Stmt

Source

Declared in /home/jesper/git/extendj/ASTNode at line 47

public void flushRewriteCache()

Overrides:flushRewriteCache in class Stmt

Source

Declared in /home/jesper/git/extendj/ASTNode at line 53

public ReturnStmt clone()
                 throws java.lang.CloneNotSupportedException

Overrides:clone in class Stmt

Throws:

java.lang.CloneNotSupportedException

Source

Declared in /home/jesper/git/extendj/ASTNode at line 59

public ReturnStmt copy()

Overrides:copy in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/ASTNode at line 66

@Deprecated
public ReturnStmt 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.

Specified by:fullCopy in class Stmt

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 85

public ReturnStmt treeCopyNoTransform()

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

Specified by:treeCopyNoTransform in class Stmt

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 95

public ReturnStmt 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.

Specified by:treeCopy in class Stmt

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 120

protected boolean is$Equal(ASTNode node)

Overrides:is$Equal in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/ASTNode at line 127

public void setResultOpt(Opt<Expr> opt)

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

Parameters:

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

public void setResult(Expr node)

Replaces the (optional) Result child.

Parameters:

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

public boolean hasResult()

Check whether the optional Result child exists.

Returns:

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

public Expr getResult()

Retrieves the (optional) Result child.

Returns:

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

@ASTNodeAnnotation.OptChild(name="Result")
public Opt<Expr> getResultOpt()

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

Returns:

The optional node for child the Result child.

public Opt<Expr> getResultOptNoTransform()

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

This method does not invoke AST transformations.

Returns:

The optional node for child Result.

public void setFinally(Block node)

Replaces the (optional) Finally child.

Parameters:

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

public boolean hasFinally()

Check whether the optional Finally child exists.

Returns:

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

public Block getFinally()

Retrieves the (optional) Finally child.

Returns:

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

public Opt<Block> getFinallyOptNoTransform()

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

This method does not invoke AST transformations.

Returns:

The optional node for child Finally.

protected int getFinallyOptChildPosition()

Retrieves the child position of the optional child Finally.

Returns:

The the child position of the optional child Finally.

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java8/frontend/TypeCheck.jrag at line 196

Aspect

TypeCheck

public boolean Define_isDAbefore(ASTNode caller,
                                 ASTNode child,
                                 org.extendj.ast.Variable v)

Overrides:Define_isDAbefore in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 255

protected 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)

Overrides:Define_isDUbefore in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 779

protected boolean canDefine_isDUbefore(ASTNode caller,
                                       ASTNode child,
                                       org.extendj.ast.Variable v)

public TypeDecl Define_assignConvertedType(ASTNode caller,
                                           ASTNode child)

Overrides:Define_assignConvertedType in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java5/frontend/GenericMethodsInference.jrag at line 58

protected boolean canDefine_assignConvertedType(ASTNode caller,
                                                ASTNode child)

public TypeDecl Define_targetType(ASTNode caller,
                                  ASTNode child)

Overrides:Define_targetType in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 30

protected boolean canDefine_targetType(ASTNode caller,
                                       ASTNode child)

public boolean Define_assignmentContext(ASTNode caller,
                                        ASTNode child)

Overrides:Define_assignmentContext in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 196

protected boolean canDefine_assignmentContext(ASTNode caller,
                                              ASTNode child)

public boolean Define_invocationContext(ASTNode caller,
                                        ASTNode child)

Overrides:Define_invocationContext in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 197

protected boolean canDefine_invocationContext(ASTNode caller,
                                              ASTNode child)

public boolean Define_castContext(ASTNode caller,
                                  ASTNode child)

Overrides:Define_castContext in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 198

protected boolean canDefine_castContext(ASTNode caller,
                                        ASTNode child)

public boolean Define_stringContext(ASTNode caller,
                                    ASTNode child)

Overrides:Define_stringContext in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 199

protected boolean canDefine_stringContext(ASTNode caller,
                                          ASTNode child)

public boolean Define_numericContext(ASTNode caller,
                                     ASTNode child)

Overrides:Define_numericContext in class ASTNode<ASTNode>

Source

Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 200

protected boolean canDefine_numericContext(ASTNode caller,
                                           ASTNode child)

public ASTNode rewriteTo()

Overrides:rewriteTo in class Stmt

protected void collect_contributors_BlockLambdaBody_lambdaReturns()

protected void contributeTo_BlockLambdaBody_BlockLambdaBody_lambdaReturns(java.util.ArrayList<ReturnStmt> collection)

Fields

protected java.util.Map isDAafter_Variable_values

protected java.util.Map isDUafterReachedFinallyBlocks_Variable_values

protected java.util.Map isDAafterReachedFinallyBlocks_Variable_values

protected java.util.Map isDUafter_Variable_values

protected boolean getFinallyOpt_computed

protected Opt<Block> getFinallyOpt_value

protected boolean canCompleteNormally_computed

protected boolean canCompleteNormally_value

protected boolean resultSaveLocalNum_computed

protected int resultSaveLocalNum_value

protected boolean enclosingLambda_computed

protected LambdaExpr enclosingLambda_value

Inherited Members

Attributes inherited from org.extendj.ast.Stmt

branchTarget

break_label

canBranchTo

canBranchTo

canBranchTo

continue_label

continueLabel

enclosingBodyDecl

enclosingFinally

finallyIterator

hostType

isDAbefore

isDUbefore

leavesMonitor

localNum

localSize

lookupMethod

lookupType

lookupType

lookupVariable

reachable

reportUnreachable

variableDeclaration

Attributes inherited from org.extendj.ast.ASTNode

flush

isStringAdd

lineNumber

program

usesTypeVariable

Methods inherited from class org.extendj.ast.Stmt

branchFinallyOpt

Methods inherited from class org.extendj.ast.ASTNode

accessControl

addChild

canDefine_allImportedTypes

canDefine_bind

canDefine_blockIndex

canDefine_branchTarget

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_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_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_otherLocalClassDecls

canDefine_outerScope

canDefine_packageName

canDefine_program

canDefine_reachable

canDefine_reachableCatchClause

canDefine_reportUnreachable

canDefine_resourcePreviouslyDeclared

canDefine_resultSaveLocalNum

canDefine_returnType

canDefine_superType

canDefine_switchType

canDefine_typeBoolean

canDefine_typeByte

canDefine_typeChar

canDefine_typeCloneable

canDefine_typeDouble

canDefine_typeError

canDefine_typeException

canDefine_typeFloat

canDefine_typeInt

canDefine_typeLong

canDefine_typeNull

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

collectEnclosingVariables

collectErrors

collectExceptions

Define_allImportedTypes

Define_bind

Define_blockIndex

Define_branchTarget

Define_catchClause

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_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_isNestedType

Define_isSource

Define_leavesMonitor

Define_localNum

Define_lookupAnnotation

Define_lookupConstructor

Define_lookupElementTypeValue

Define_lookupGLBType

Define_lookupLabel

Define_lookupLUBType

Define_lookupMethod

Define_lookupSuperConstructor

Define_lookupType

Define_lookupType

Define_lookupVariable

Define_lookupWildcardExtends

Define_lookupWildcardSuper

Define_mayBeAbstract

Define_mayBeFinal

Define_mayBeNative

Define_mayBePrivate

Define_mayBeProtected

Define_mayBePublic

Define_mayBeStatic

Define_mayBeStrictfp

Define_mayBeSynchronized

Define_mayBeTransient

Define_mayBeVolatile

Define_mayUseAnnotationTarget

Define_methodHost

Define_nameType

Define_nestedScope

Define_otherLocalClassDecls

Define_outerScope

Define_packageName

Define_program

Define_reachable

Define_reachableCatchClause

Define_reportUnreachable

Define_resourcePreviouslyDeclared

Define_resultSaveLocalNum

Define_returnType

Define_superType

Define_switchType

Define_typeBoolean

Define_typeByte

Define_typeChar

Define_typeCloneable

Define_typeDouble

Define_typeError

Define_typeException

Define_typeFloat

Define_typeInt

Define_typeLong

Define_typeNull

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

definiteAssignment

doFullTraversal

dumpTree

dumpTree

dumpTree

dumpTreeNoRewrite

dumpTreeNoRewrite

dumpTreeNoRewrite

end

error

error

errorf

errorPrefix

exceptionHandling

extractSingleType

findFirstSourceLineNumber

flushAttrAndCollectionCache

flushCache

flushCaches

flushTreeCache

getChild

getChildNoTransform

getIndexOfChild

getMethod

getNumChild

getNumChildNoTransform

getParent

getTokens

in$Circle

in$Circle

insertChild

is$Equal

is$Final

is$Final

isDescendantTo

iterator

location

nameCheck

ntaFinallyBlock

prettyPrint

prettyPrint

putSimpleSetElement

reachedException

removeChild

removeInstanceMethods

removeInstanceVariables

replaceWith

setChild

setEnd

setLocation

setParent

setSourceLineNumber

setStart

sourceFile

start

state

structuredPrettyPrint

toString

transformation

transformEnumConstructors

varChildIndex

warning

warningPrefix

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 org.extendj.ast.Stmt

enclosingFinally_Stmt_values

finallyIterator_computed

finallyIterator_value

localNum_computed

localNum_value

localSize_computed

localSize_value

Fields inherited from org.extendj.ast.ASTNode

children

generatedWithCacheCycle

generatedWithComponentCheck

in$Circle

is$Final

numChildren

parent

PRIMITIVE_PACKAGE_NAME

Fields inherited from beaver.Symbol

end

id

start

value