ReturnStmt

AST
node type ReturnStmt

General Info

Production

ReturnStmt : Stmt ::= Exp;

Type Hierarchy:

java.lang.Object
  AST.ASTNode<ASTNode>
      AST.BlockStmt
          AST.Stmt
              AST.ReturnStmt

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

Description

Source: Declared in spec/picojava-method.ast at line 1

Constructors

public ReturnStmt()

public ReturnStmt(Exp p0)

Attributes

syn boolean endsWithReturn()

Overrides:endsWithReturn in class BlockStmt

Source: Declared in spec/ErrorCheck.jrag at line 13
Aspect: ErrorCheck

Methods

public ReturnStmt clone()
                 throws java.lang.CloneNotSupportedException

Overrides:clone in class Stmt

Throws:: java.lang.CloneNotSupportedException

public ReturnStmt copy()

Overrides:copy in class ASTNode<ASTNode>

public ReturnStmt 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 prettyPrint(java.lang.StringBuilder sb,
                        int t)

Source: Declared in spec/PrettyPrint.jadd at line 16
Aspect: PrettyPrint

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 void flushCache()

Overrides:flushCache in class Stmt

public void flushCollectionCache()

Overrides:flushCollectionCache in class Stmt

public void setExp(Exp node)

Replaces the Exp child.

Parameters:: node - The new node to replace the Exp child.

public Exp getExp()

Retrieves the Exp child.

Returns:: The current node used as the Exp child.

public Exp getExpNoTransform()

Retrieves the Exp child.

This method does not invoke AST transformations.

Returns:: The current node used as the Exp child.

public ASTNode rewriteTo()

Overrides:rewriteTo in class Stmt

Fields

protected int endsWithReturn_visited

Inherited Members

Attributes inherited from AST.BlockStmt

declarationOf

Methods inherited from class AST.ASTNode

addChild

collectErrors

Define_Access_qualifier

Define_boolean_isQualified

Define_ClassDecl_enclosingClassDecl

Define_Decl_lookup

Define_Decl_lookupMethod

Define_Decl_unknownDecl

Define_PrimitiveDecl_booleanType

getNumChildNoTransform

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

toString

wait

Fields inherited from AST.BlockStmt

declarationOf_String_List_values

declarationOf_String_List_visited

declarationOf_String_visited

Fields inherited from AST.ASTNode

children

endColumn

endLine

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck