ClassDecl

AST
node type ClassDecl

General Info

Production

ClassDecl : TypeDecl ::= [Superclass:IdUse] Body:Block;

Type Hierarchy:

java.lang.Object
  AST.ASTNode<ASTNode>
      AST.BlockStmt
          AST.Decl
              AST.TypeDecl
                  AST.ClassDecl

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

Description

Source: Declared in spec/picojava.ast at line 8

Constructors

public ClassDecl()

public ClassDecl(java.lang.String p0,
                 Opt<IdUse> p1,
                 Block p2)

Attributes

syn Decl remoteLookup(java.lang.String name)

Overrides:remoteLookup in class TypeDecl

Source: Declared in spec/NameResolution.jrag at line 62
Aspect: NameResolution

syn boolean isSubtypeOf(TypeDecl typeDecl)

Overrides:isSubtypeOf in class TypeDecl

Source: Declared in spec/TypeAnalysis.jrag at line 44
Aspect: TypeAnalysis

syn ClassDecl superClass()

Source: Declared in spec/TypeAnalysis.jrag at line 51
Aspect: TypeAnalysis

syn boolean hasCycleOnSuperclassChain()

Source: Declared in spec/TypeAnalysis.jrag at line 59
Aspect: TypeAnalysis

Methods

public ClassDecl clone()
                throws java.lang.CloneNotSupportedException

Overrides:clone in class TypeDecl

Throws:: java.lang.CloneNotSupportedException

public ClassDecl copy()

Overrides:copy in class ASTNode<ASTNode>

public ClassDecl 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 collectErrors(java.util.Collection c)

Overrides:collectErrors in class ASTNode<ASTNode>

Source: Declared in spec/ErrorCheck.jadd at line 32
Aspect: ErrorCheck

public void prettyPrint(java.lang.StringBuilder sb,
                        int t)

Source: Declared in spec/PrettyPrint.jadd at line 40
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 TypeDecl

protected int numChildren()

Overrides:numChildren in class TypeDecl

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class TypeDecl

public void flushCache()

Overrides:flushCache in class TypeDecl

public void flushCollectionCache()

Overrides:flushCollectionCache in class TypeDecl

public void setName(java.lang.String value)

Replaces the lexeme Name.

Overrides:setName in class TypeDecl

Parameters:: value - The new value for the lexeme Name.

public java.lang.String getName()

Retrieves the value for the lexeme Name.

Overrides:getName in class TypeDecl

Returns:: The value for the lexeme Name.

public void setSuperclassOpt(Opt<IdUse> opt)

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

Parameters:: opt - The new node to be used as the optional node for the Superclass child.

public void setSuperclass(IdUse node)

Replaces the (optional) Superclass child.

Parameters:: node - The new node to be used as the Superclass child.

public boolean hasSuperclass()

Check whether the optional Superclass child exists.

Returns:: true if the optional Superclass child exists, false if it does not.

public IdUse getSuperclass()

Retrieves the (optional) Superclass child.

Returns:: The Superclass child, if it exists. Returns null otherwise.

public Opt<IdUse> getSuperclassOpt()

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

Returns:: The optional node for child the Superclass child.

public Opt<IdUse> getSuperclassOptNoTransform()

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

This method does not invoke AST transformations.

Returns:: The optional node for child Superclass.

public void setBody(Block node)

Replaces the Body child.

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

public Block getBody()

Retrieves the Body child.

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

public Block getBodyNoTransform()

Retrieves the Body child.

This method does not invoke AST transformations.

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

public Decl Define_Decl_lookup(ASTNode caller,
                               ASTNode child,
                               java.lang.String name)

Overrides:Define_Decl_lookup in class ASTNode<ASTNode>

Source: Declared in spec/NameResolution.jrag at line 31

public ASTNode rewriteTo()

Overrides:rewriteTo in class TypeDecl

Fields

protected java.util.Map remoteLookup_String_visited

protected java.util.Map isSubtypeOf_TypeDecl_visited

protected java.util.Map isSubtypeOf_TypeDecl_values

protected int superClass_visited

protected boolean superClass_computed

protected ClassDecl superClass_value

protected int hasCycleOnSuperclassChain_visited

protected boolean hasCycleOnSuperclassChain_computed

protected boolean hasCycleOnSuperclassChain_initialized

protected boolean hasCycleOnSuperclassChain_value

Inherited Members

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

toString

wait

Fields inherited from AST.TypeDecl

isQualified_visited

isSuperTypeOf_TypeDecl_values

isSuperTypeOf_TypeDecl_visited

isSuperTypeOfClassDecl_ClassDecl_values

isSuperTypeOfClassDecl_ClassDecl_visited

lookup_String_visited

Fields inherited from AST.Decl

booleanType_visited

declarationOf_String_visited

isUnknown_visited

tokenString_Name

Fields inherited from AST.ASTNode

children

endColumn

endLine

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

AST node type ClassDecl