AST
node type StaticInitializer

General Info

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

Description

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

Member Filters

API level:

Aspect:

Constructors

 

Attributes

syn boolean isDAafter(Variable v)
Overrides:isDAafter in class BodyDecl
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 293
Aspect
DA
syn boolean isDUafter(Variable v)
Overrides:isDUafter in class BodyDecl
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 750
Aspect
DU
syn boolean visibleTypeParameters()
Overrides:visibleTypeParameters in class BodyDecl
Source
Declared in Java1.5Frontend/GenericsParTypeDecl.jrag at line 67
Aspect
GenericsParTypeDecl
inh boolean handlesException(TypeDecl exceptionType)
Source
Declared in Java1.4Frontend/ExceptionHandling.jrag at line 47
Aspect
ExceptionHandling

Methods

public void flushCache()
Overrides:flushCache in class BodyDecl
public void flushCollectionCache()
Overrides:flushCollectionCache in class BodyDecl
public StaticInitializer 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 checkModifiers()
Source
Declared in Java1.4Frontend/Modifiers.jrag at line 179
Aspect
Modifiers
public void toString(java.lang.StringBuffer s)
Overrides:toString in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 112
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 439
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 193
Overrides:Define_TypeDecl_enclosingInstance in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/TypeCheck.jrag at line 507
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 139
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 34
Overrides:rewriteTo in class BodyDecl

Fields

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