AST
node type InstanceInitializer

General Info

Production
InstanceInitializer : BodyDecl ::= Block;
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by AST.ASTNode<ASTNode>
          extended by AST.BodyDecl
              extended by AST.InstanceInitializer
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

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

Member Filters

API level:

Aspect:

Constructors

Attributes

syn java.util.Collection exceptions()
Source
Declared in Java1.4Frontend/AnonymousClasses.jrag at line 191
Aspect
AnonymousClasses
syn boolean isDAafter(Variable v)
Overrides:isDAafter in class BodyDecl
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 292
Aspect
DA
syn boolean isDUafter(Variable v)
Overrides:isDUafter in class BodyDecl
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 749
Aspect
DU
inh boolean handlesException(TypeDecl exceptionType)
Source
Declared in Java1.4Frontend/ExceptionHandling.jrag at line 46
Aspect
ExceptionHandling

Methods

public void flushCache()
Overrides:flushCache in class BodyDecl
public void flushCollectionCache()
Overrides:flushCollectionCache in class BodyDecl
public InstanceInitializer clone()
                          throws java.lang.CloneNotSupportedException
Overrides:clone in class BodyDecl
Throws:
java.lang.CloneNotSupportedException
Overrides:copy in class ASTNode<ASTNode>
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 toString(java.lang.StringBuffer s)
Overrides:toString in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 106
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 BodyDecl
protected int numChildren()
Overrides:numChildren in class BodyDecl
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class BodyDecl
public void setBlock(Block node)
Replaces the Block child.
Parameters:
node - The new node to replace the Block child.
public Block getBlock()
Retrieves the Block child.
Returns:
The current node used as the Block child.
Retrieves the Block child.

This method does not invoke AST transformations.

Returns:
The current node used as the Block child.
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 438
public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)
Overrides:Define_boolean_handlesException in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/ExceptionHandling.jrag at line 180
Overrides:Define_ASTNode_enclosingBlock in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/NameCheck.jrag at line 248
public boolean Define_boolean_inStaticContext(ASTNode caller,
                                              ASTNode child)
Overrides:Define_boolean_inStaticContext in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/TypeHierarchyCheck.jrag at line 140
public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)
Overrides:Define_boolean_reachable in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/UnreachableStatements.jrag at line 35
public int Define_int_localNum(ASTNode caller,
                               ASTNode child)
Overrides:Define_int_localNum in class ASTNode<ASTNode>
Source
Declared in Java1.4Backend/LocalNum.jrag at line 32
Overrides:rewriteTo in class BodyDecl

Fields

protected boolean exceptions_computed
protected java.util.Collection exceptions_value
protected java.util.Map isDAafter_Variable_values
protected java.util.Map isDUafter_Variable_values
protected java.util.Map handlesException_TypeDecl_values

Inherited Members

Attributes inherited from AST.BodyDecl

Attributes inherited from AST.ASTNode

Methods inherited from class AST.BodyDecl

Methods inherited from class AST.ASTNode

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

Fields inherited from AST.ASTNode

Fields inherited from beaver.Symbol

end
id
start
value