polyglot.ast
Class AmbQualifierNode_c

java.lang.Object
  polyglot.ast.Node_c
      polyglot.ast.AmbQualifierNode_c

All Implemented Interfaces:

java.lang.Cloneable, Ambiguous, AmbQualifierNode, JL, Node, NodeOps, Prefix, QualifierNode, Copy

public class AmbQualifierNode_c
extends Node_c
implements AmbQualifierNode

An AmbQualifierNode is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a type qualifier.

Field Summary

protected Id	name
protected QualifierNode	qual
protected Qualifier	qualifier

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Constructor Summary

AmbQualifierNode_c(Position pos, QualifierNode qual, Id name)

Method Summary

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 sc) Remove any remaining ambiguities from the AST.
Node	exceptionCheck(ExceptionChecker ec) Check that exceptions are properly propagated throughout the AST.
Id	id()
AmbQualifierNode	id(Id name)
java.lang.String	name() Ambiguous name.
AmbQualifierNode	name(java.lang.String name)
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
QualifierNode	qual() Qualifier of the qualifier.
AmbQualifierNode	qual(QualifierNode qual)
Qualifier	qualifier() The qualifier type object.
AmbQualifierNode	qualifier(Qualifier qualifier)
protected AmbQualifierNode_c	reconstruct(QualifierNode qual, Id name)
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.Node_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, enterChildScope, enterScope, error, error, exceptionCheckEnter, ext, ext, ext, ext, init, isDisambiguated, isTypeChecked, node, position, position, 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

Field Detail

qualifier

protected Qualifier qualifier

qual

protected QualifierNode qual

name

protected Id name

Constructor Detail

AmbQualifierNode_c

public AmbQualifierNode_c(Position pos,
                          QualifierNode qual,
                          Id name)

Method Detail

qualifier

public Qualifier qualifier()

Description copied from interface: QualifierNode

The qualifier type object.

Specified by:

qualifier in interface QualifierNode

id

public Id id()

Specified by:

id in interface AmbQualifierNode

id

public AmbQualifierNode id(Id name)

name

public java.lang.String name()

Description copied from interface: AmbQualifierNode

Ambiguous name.

Specified by:

name in interface AmbQualifierNode

name

public AmbQualifierNode name(java.lang.String name)

qual

public QualifierNode qual()

Description copied from interface: AmbQualifierNode

Qualifier of the qualifier.

Specified by:

qual in interface AmbQualifierNode

qual

public AmbQualifierNode qual(QualifierNode qual)

qualifier

public AmbQualifierNode qualifier(Qualifier qualifier)

reconstruct

protected AmbQualifierNode_c reconstruct(QualifierNode qual,
                                         Id name)

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 Node_c

Parameters:

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

Throws:

SemanticException

disambiguate

public Node disambiguate(AmbiguityRemover sc)
                  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:

sc - 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 Node_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

Overrides:

prettyPrint in class Node_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 Node_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