polyglot.ext.coffer.ast
Class TrackedTypeNode_c

java.lang.Object
  polyglot.ext.jl.ast.Node_c
      polyglot.ext.jl.ast.TypeNode_c
          polyglot.ext.coffer.ast.TrackedTypeNode_c

All Implemented Interfaces:

java.lang.Cloneable, JL, Node, NodeOps, Prefix, QualifierNode, Receiver, Typed, TypeNode, TrackedTypeNode, Copy

public class TrackedTypeNode_c
extends TypeNode_c
implements TrackedTypeNode

An implementation of the TrackedTypeNode interface, a type node for a class instantiated with a key.

Field Summary

protected TypeNode	base
protected KeyNode	key

Fields inherited from class polyglot.ext.jl.ast.TypeNode_c

type

Fields inherited from class polyglot.ext.jl.ast.Node_c

del, ext, position

Constructor Summary

TrackedTypeNode_c(Position pos, KeyNode key, TypeNode base)

Method Summary

TypeNode	base()
TrackedTypeNode	base(TypeNode base)
Node	disambiguate(AmbiguityRemover sc) Remove any remaining ambiguities from the AST.
Node	exceptionCheck(ExceptionChecker ec) Check that exceptions are properly propagated throughout the AST.
KeyNode	key()
TrackedTypeNode	key(KeyNode key)
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
protected TrackedTypeNode_c	reconstruct(TypeNode base, KeyNode key)
java.lang.String	toString()
void	translate(CodeWriter w, Translator tr) Translate the AST using the given CodeWriter.
Node	typeCheck(TypeChecker tc) Type check the AST.
Node	visitChildren(NodeVisitor v) Visit the children of the node.

Methods inherited from class polyglot.ext.jl.ast.TypeNode_c

buildTypes, qualifier, type, type

Methods inherited from class polyglot.ext.jl.ast.Node_c

addDecls, addMembers, addMembersEnter, addMembersOverride, buildTypesEnter, buildTypesOverride, childExpectedType, copy, del, del, disambiguateEnter, disambiguateOverride, dump, enterScope, enterScope, exceptionCheckEnter, exceptionCheckOverride, ext, ext, ext, ext, init, node, position, position, print, printBlock, printSubStmt, throwTypes, 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

type

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguateEnter, enterScope, enterScope, exceptionCheckEnter, throwTypes, typeCheckEnter

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.QualifierNode

qualifier

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguateEnter, enterScope, enterScope, exceptionCheckEnter, throwTypes, typeCheckEnter

Field Detail

base

protected TypeNode base

key

protected KeyNode key

Constructor Detail

TrackedTypeNode_c

public TrackedTypeNode_c(Position pos,
                         KeyNode key,
                         TypeNode base)

Method Detail

base

public TypeNode base()

Specified by:

base in interface TrackedTypeNode

base

public TrackedTypeNode base(TypeNode base)

Specified by:

base in interface TrackedTypeNode

key

public KeyNode key()

Specified by:

key in interface TrackedTypeNode

key

public TrackedTypeNode key(KeyNode key)

Specified by:

key in interface TrackedTypeNode

reconstruct

protected TrackedTypeNode_c reconstruct(TypeNode base,
                                        KeyNode key)

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.

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.

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

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.

translate

public void translate(CodeWriter w,
                      Translator tr)

Description copied from class: Node_c

Translate the AST using the given CodeWriter.

Specified by:

translate in interface NodeOps

Overrides:

translate in class Node_c

Parameters:

w - The code writer to which to write.

tr - The translation pass. This is not a visitor.

toString

public java.lang.String toString()

Overrides:

toString in class TypeNode_c