polyglot.ast

Class ArrayTypeNode_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.TypeNode_c

polyglot.ast.ArrayTypeNode_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Ambiguous, ArrayTypeNode, Node, NodeOps, Prefix, QualifierNode, Receiver, Term, TermOps, Typed, TypeNode, Copy<Node>

public class ArrayTypeNode_c
extends TypeNode_c
implements ArrayTypeNode

An ArrayTypeNode is a type node for a non-canonical array type.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.TypeNode

TypeNode.Instance

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeNode	base

Fields inherited from class polyglot.ast.TypeNode_c

type

Fields inherited from class polyglot.ast.Term_c

exceptions, reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
ArrayTypeNode_c(Position pos, TypeNode base)
ArrayTypeNode_c(Position pos, TypeNode base, Ext ext)

Method Summary

Methods

Modifier and Type	Method and Description
TypeNode	base() Base of the array.
protected <N extends ArrayTypeNode_c> N	base(N n, TypeNode base)
ArrayTypeNode	base(TypeNode base) Set the base of the array.
Node	buildTypes(TypeBuilder tb) Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these.
Node	copy(NodeFactory nf) Produce a copy of this node using the given NodeFactory.
Node	disambiguate(AmbiguityRemover ar) Remove any remaining ambiguities from the AST.
Node	exceptionCheck(ExceptionChecker ec) Check that exceptions are properly propagated throughout the AST.
boolean	isDisambiguated()
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
protected <N extends ArrayTypeNode_c> N	reconstruct(N n, TypeNode base)
java.lang.String	toString()
Node	typeCheck(TypeChecker tc) Type check the AST.
Node	visitChildren(NodeVisitor v) Visit the children of the node.

Methods inherited from class polyglot.ast.TypeNode_c

acceptCFG, firstChild, name, qualifier, type, type, type

Methods inherited from class polyglot.ast.Term_c

exceptions, exceptions, exceptions, extRewrite, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.ast.TypeNode

name, type

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.QualifierNode

qualifier

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheckEnter, typeCheckOverride, visitChild, visitList

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Field Detail

base

protected TypeNode base

Constructor Detail

ArrayTypeNode_c

public ArrayTypeNode_c(Position pos,
               TypeNode base)

ArrayTypeNode_c

public ArrayTypeNode_c(Position pos,
               TypeNode base,
               Ext ext)

Method Detail

isDisambiguated

public boolean isDisambiguated()

Specified by:

isDisambiguated in interface Node

Overrides:

isDisambiguated in class TypeNode_c

Returns:

true if the all type information for the node (but not necessarily for the node's children) is unambiguous.

base

public TypeNode base()

Description copied from interface: ArrayTypeNode

Base of the array.

Specified by:

base in interface ArrayTypeNode

base

public ArrayTypeNode base(TypeNode base)

Description copied from interface: ArrayTypeNode

Set the base of the array.

Specified by:

base in interface ArrayTypeNode

base

protected <N extends ArrayTypeNode_c> N base(N n,
                                 TypeNode base)

reconstruct

protected <N extends ArrayTypeNode_c> N reconstruct(N n,
                                        TypeNode base)

visitChildren

public Node visitChildren(NodeVisitor v)

Description copied from interface: NodeOps

Visit the children of the node.

Specified by:

visitChildren in interface NodeOps

Overrides:

visitChildren in class Node_c

Parameters:

v - The visitor that will traverse/rewrite the AST.

Returns:

A new AST if a change was made, or this.

buildTypes

public Node buildTypes(TypeBuilder tb)
                throws SemanticException

Description copied from interface: NodeOps

Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. These type objects may be ambiguous. Inserts classes into the TypeSystem. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent.

Specified by:

buildTypes in interface NodeOps

Overrides:

buildTypes in class TypeNode_c

Parameters:

tb - The visitor which adds new type objects to the TypeSystem.

Throws:

SemanticException

disambiguate

public Node disambiguate(AmbiguityRemover ar)
                  throws SemanticException

Description copied from interface: NodeOps

Remove any remaining ambiguities from the AST. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent. The node should not assume that its children have been disambiguated. If it depends on a child being disambiguated, it may just return this without doing any work.

Specified by:

disambiguate in interface NodeOps

Overrides:

disambiguate in class Node_c

Parameters:

ar - The visitor which disambiguates.

Throws:

SemanticException

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

Description copied from interface: NodeOps

Type check the AST. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent.

Specified by:

typeCheck in interface NodeOps

Overrides:

typeCheck in class Node_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

exceptionCheck

public Node exceptionCheck(ExceptionChecker ec)
                    throws SemanticException

Description copied from interface: NodeOps

Check that exceptions are properly propagated throughout the AST. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent.

Specified by:

exceptionCheck in interface NodeOps

Overrides:

exceptionCheck in class Term_c

Parameters:

ec - The visitor.

Throws:

SemanticException

prettyPrint

public void prettyPrint(CodeWriter w,
               PrettyPrinter tr)

Description copied from class: Node_c

Pretty-print the AST using the given CodeWriter.

Specified by:

prettyPrint in interface NodeOps

Specified by:

prettyPrint in class TypeNode_c

Parameters:

w - The code writer to which to write.

tr - The pretty printer. This is not a visitor.

toString

public java.lang.String toString()

Overrides:

toString in class TypeNode_c

copy

public Node copy(NodeFactory nf)

Description copied from interface: NodeOps

Produce a copy of this node using the given NodeFactory.

Specified by:

copy in interface NodeOps

Overrides:

copy in class Node_c