ThrowStmt

AST
node type ThrowStmt

General Info

Production

ThrowStmt : Stmt ::= Expr;

Type Hierarchy:

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

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

Description

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

Constructors

public ThrowStmt()

public ThrowStmt(Expr p0)

Attributes

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Stmt

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

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Stmt

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

syn boolean canCompleteNormally()

Overrides:canCompleteNormally in class Stmt

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

syn boolean modifiedInScope(Variable var)

Specified by:modifiedInScope in class Stmt

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

inh TypeDecl typeNullPointerException()

Source: Declared in Java1.4Frontend/ExceptionHandling.jrag at line 20
Aspect: ExceptionHandling

inh boolean handlesException(TypeDecl exceptionType)

Source: Declared in Java1.4Frontend/ExceptionHandling.jrag at line 45
Aspect: ExceptionHandling

inh TypeDecl typeThrowable()

Source: Declared in Java1.4Frontend/LookupType.jrag at line 67
Aspect: SpecialClasses

inh TypeDecl typeNull()

Source: Declared in Java1.4Frontend/LookupType.jrag at line 70
Aspect: SpecialClasses

Methods

public void flushCache()

Overrides:flushCache in class Stmt

public void flushCollectionCache()

Overrides:flushCollectionCache in class Stmt

public ThrowStmt clone()
                throws java.lang.CloneNotSupportedException

Overrides:clone in class Stmt

Throws:: java.lang.CloneNotSupportedException

public ThrowStmt copy()

Overrides:copy in class ASTNode<ASTNode>

public ThrowStmt 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

protected void collectExceptions(java.util.Collection c,
                                 ASTNode target)

Overrides:collectExceptions in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/AnonymousClasses.jrag at line 207
Aspect: AnonymousClasses

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

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

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/TypeCheck.jrag at line 373
Aspect: TypeCheck

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class Stmt

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

protected int numChildren()

Overrides:numChildren in class Stmt

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Stmt

public void setExpr(Expr node)

Replaces the Expr child.

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

public Expr getExpr()

Retrieves the Expr child.

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

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

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

public void exceptionHandling()

Overrides:exceptionHandling in class ASTNode<ASTNode>

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

protected boolean reachedException(TypeDecl catchType)

Overrides:reachedException in class ASTNode<ASTNode>

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

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 653

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1176

public ASTNode rewriteTo()

Overrides:rewriteTo in class Stmt

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 typeNullPointerException_computed

protected TypeDecl typeNullPointerException_value

protected java.util.Map handlesException_TypeDecl_values

protected boolean typeThrowable_computed

protected TypeDecl typeThrowable_value

protected boolean typeNull_computed

protected TypeDecl typeNull_value

Inherited Members

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.Stmt

localNum_computed

localNum_value

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

start

value

AST node type ThrowStmt