AST
node type Program

General Info

Production

Program : ASTNode ::= Block PredefinedType:TypeDecl*;

Type Hierarchy:

java.lang.Object
  AST.ASTNode<ASTNode>
      AST.Program

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

Source

Declared in spec/picojava.ast at line 2

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

NullObjects

PrettyPrint

PredefinedTypes

ErrorCheck

NameResolution

Constructors

public Program()

public Program(Block p0)

Attributes

syn java.util.Collection errors()

Source

Declared in spec/ErrorCheck.jadd at line 5

Aspect

ErrorCheck

syn Decl localLookup(java.lang.String name)

Source

Declared in spec/NameResolution.jrag at line 92

Aspect

NameResolution

syn UnknownDecl unknownDecl()

Source

Declared in spec/NullObjects.jrag at line 16

Aspect

NullObjects

syn nta List getPredefinedTypeList()

Source

Declared in spec/PredefinedTypes.jrag at line 3

Aspect

PredefinedTypes

syn PrimitiveDecl booleanType()

Source

Declared in spec/PredefinedTypes.jrag at line 10

Aspect

PredefinedTypes

Methods

public Program clone()
              throws java.lang.CloneNotSupportedException

Overrides:clone in class ASTNode<ASTNode>

Throws:

java.lang.CloneNotSupportedException

public Program copy()

Overrides:copy in class ASTNode<ASTNode>

public Program 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 java.lang.String prettyPrint()

Pretty print

Source

Declared in spec/PrettyPrint.jadd at line 26

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 ASTNode<ASTNode>

protected int numChildren()

Overrides:numChildren in class ASTNode<ASTNode>

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ASTNode<ASTNode>

public void flushCache()

Overrides:flushCache in class ASTNode<ASTNode>

public void flushCollectionCache()

Overrides:flushCollectionCache in class ASTNode<ASTNode>

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.

public Block getBlockNoTransform()

Retrieves the Block child.

This method does not invoke AST transformations.

Returns:

The current node used as the Block child.

public void setPredefinedTypeList(List<TypeDecl> list)

Replaces the PredefinedType list.

Parameters:

list - The new list node to be used as the PredefinedType list.

public int getNumPredefinedType()

Retrieves the number of children in the PredefinedType list.

Returns:

Number of children in the PredefinedType list.

public int getNumPredefinedTypeNoTransform()

Retrieves the number of children in the PredefinedType list. Calling this method will not trigger rewrites.

Returns:

Number of children in the PredefinedType list.

public TypeDecl getPredefinedType(int i)

Retrieves the element at index i in the PredefinedType list.

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the PredefinedType list.

public boolean hasPredefinedType()

Check whether the PredefinedType list has any children.

Returns:

true if it has at least one child, false otherwise.

public void addPredefinedType(TypeDecl node)

Append an element to the PredefinedType list.

Parameters:

node - The element to append to the PredefinedType list.

public void addPredefinedTypeNoTransform(TypeDecl node)

public void setPredefinedType(TypeDecl node,
                              int i)

Replaces the PredefinedType list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

protected int getPredefinedTypeListChildPosition()

Retrieves the child position of the PredefinedType list.

Returns:

The the child position of the PredefinedType list.

public List<TypeDecl> getPredefinedTypeListNoTransform()

Retrieves the PredefinedType list.

This method does not invoke AST transformations.

Returns:

The node representing the PredefinedType list.

public List<TypeDecl> getPredefinedTypes()

Retrieves the PredefinedType list.

Returns:

The node representing the PredefinedType list.

public List<TypeDecl> getPredefinedTypesNoTransform()

Retrieves the PredefinedType list.

This method does not invoke AST transformations.

Returns:

The node representing the PredefinedType list.

public boolean Define_boolean_isQualified(ASTNode caller,
                                          ASTNode child)

Overrides:Define_boolean_isQualified in class ASTNode<ASTNode>

Source

Declared in spec/ErrorCheck.jadd at line 56

public Access Define_Access_qualifier(ASTNode caller,
                                      ASTNode child)

Overrides:Define_Access_qualifier in class ASTNode<ASTNode>

Source

Declared in spec/ErrorCheck.jadd at line 64

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 21

public Decl Define_Decl_unknownDecl(ASTNode caller,
                                    ASTNode child)

Overrides:Define_Decl_unknownDecl in class ASTNode<ASTNode>

Source

Declared in spec/NullObjects.jrag at line 18

public PrimitiveDecl Define_PrimitiveDecl_booleanType(ASTNode caller,
                                                      ASTNode child)

Overrides:Define_PrimitiveDecl_booleanType in class ASTNode<ASTNode>

Source

Declared in spec/PredefinedTypes.jrag at line 12

public ASTNode rewriteTo()

Overrides:rewriteTo in class ASTNode<ASTNode>

Fields

protected int errors_visited

protected boolean errors_computed

protected java.util.Collection errors_value

protected java.util.Map localLookup_String_visited

protected java.util.Map localLookup_String_values

protected int unknownDecl_visited

protected boolean unknownDecl_computed

protected UnknownDecl unknownDecl_value

protected int getPredefinedTypeList_visited

protected boolean getPredefinedTypeList_computed

protected List getPredefinedTypeList_value

protected int booleanType_visited

protected boolean booleanType_computed

protected PrimitiveDecl booleanType_value

Inherited Members

Methods inherited from class AST.ASTNode

addChild

collectErrors

duringTypeAnalysis

error

getChild

getChildNoTransform

getEndColumn

getEndLine

getIndent

getIndexOfChild

getNumChild

getNumChildNoTransform

getParent

getStartColumn

getStartLine

in$Circle

in$Circle

insertChild

is$Final

is$Final

iterator

printAST

printAST

printAST

removeChild

setChild

setEnd

setParent

setStart

state

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

toString

wait

wait

wait

Fields inherited from AST.ASTNode

children

endColumn

endLine

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

in$Circle

is$Final

numChildren

parent

startColumn

startLine

state