polyglot.ast

Class AmbReceiver_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.AmbPrefix_c

polyglot.ast.AmbReceiver_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Ambiguous, AmbPrefix, AmbReceiver, Node, NodeOps, Prefix, Receiver, Typed, Copy<Node>

public class AmbReceiver_c
extends AmbPrefix_c
implements AmbReceiver

An AmbReceiver is an ambiguous AST node composed of dot-separated list of identifiers that must resolve to a receiver.

See Also:

Serialized Form

Nested Class Summary

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

Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected Type	type

Fields inherited from class polyglot.ast.AmbPrefix_c

name, prefix

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Constructor Summary

Constructors

Constructor and Description
AmbReceiver_c(Position pos, Prefix prefix, Id name)
AmbReceiver_c(Position pos, Prefix prefix, Id name, Ext ext)

Method Summary

Methods

Modifier and Type	Method and Description
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) Disambiguate the receiver.
Type	type() Return the type of this node, or null if no type has been assigned yet.
protected <N extends AmbReceiver_c> N	type(N n, Type type)
AmbReceiver	type(Type type)
Node	typeCheck(TypeChecker tc) Type check the AST.

Methods inherited from class polyglot.ast.AmbPrefix_c

exceptionCheck, id, id, name, name, nameNode, prefix, prefix, prefix, prettyPrint, reconstruct, toString, visitChildren

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, extRewrite, extRewriteEnter, isDisambiguated, 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.AmbReceiver

name, nameNode, prefix

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, 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, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

type

protected Type type

Constructor Detail

AmbReceiver_c

public AmbReceiver_c(Position pos,
             Prefix prefix,
             Id name)

AmbReceiver_c

public AmbReceiver_c(Position pos,
             Prefix prefix,
             Id name,
             Ext ext)

Method Detail

type

public Type type()

Description copied from interface: Typed

Return the type of this node, or null if no type has been assigned yet.

Specified by:

type in interface Typed

type

public AmbReceiver type(Type type)

type

protected <N extends AmbReceiver_c> N type(N n,
                               Type type)

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 ar)
                  throws SemanticException

Disambiguate the receiver.

Specified by:

disambiguate in interface NodeOps

Overrides:

disambiguate in class AmbPrefix_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 AmbPrefix_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

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 AmbPrefix_c