polyglot.ext.jl5.ast

Class ParamTypeNode_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.TypeNode_c

polyglot.ext.jl5.ast.ParamTypeNode_c

All Implemented Interfaces:

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

public class ParamTypeNode_c
extends TypeNode_c
implements ParamTypeNode

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 java.util.List<TypeNode>	bounds
protected Id	id

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
ParamTypeNode_c(Position pos, Id id, java.util.List<TypeNode> bounds)

Method Summary

Methods

Modifier and Type	Method and Description
void	addDecls(Context c) Add any declarations to the context that should be in scope when visiting later sibling nodes.
java.util.List<TypeNode>	bounds()
ParamTypeNode	bounds(java.util.List<TypeNode> bounds)
protected <N extends ParamTypeNode_c> N	bounds(N n, java.util.List<TypeNode> bounds)
Node	buildTypes(TypeBuilder tb) Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these.
Node	disambiguate(AmbiguityRemover ar) Remove any remaining ambiguities from the AST.
Context	enterScope(Context c) Push a new scope upon entering this node, and add any declarations to the context that should be in scope when visiting children of this node.
Node	extRewrite(ExtensionRewriter rw) Rewrite the AST for the compilation in this language.
Id	id()
ParamTypeNode	id(Id id)
protected <N extends ParamTypeNode_c> N	id(N n, Id id)
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
protected <N extends ParamTypeNode_c> N	reconstruct(N n, java.util.List<TypeNode> bounds)
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, isDisambiguated, name, qualifier, toString, type, type, type

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, 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, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, exceptionCheck, exceptionCheckEnter, 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

id

protected Id id

bounds

protected java.util.List<TypeNode> bounds

Constructor Detail

ParamTypeNode_c

public ParamTypeNode_c(Position pos,
               Id id,
               java.util.List<TypeNode> bounds)

Method Detail

id

public Id id()

Specified by:

id in interface ParamTypeNode

id

public ParamTypeNode id(Id id)

Specified by:

id in interface ParamTypeNode

id

protected <N extends ParamTypeNode_c> N id(N n,
                               Id id)

bounds

public java.util.List<TypeNode> bounds()

Specified by:

bounds in interface ParamTypeNode

bounds

public ParamTypeNode bounds(java.util.List<TypeNode> bounds)

Specified by:

bounds in interface ParamTypeNode

bounds

protected <N extends ParamTypeNode_c> N bounds(N n,
                                   java.util.List<TypeNode> bounds)

reconstruct

protected <N extends ParamTypeNode_c> N reconstruct(N n,
                                        java.util.List<TypeNode> bounds)

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.

enterScope

public Context enterScope(Context c)

Description copied from class: Node_c

Push a new scope upon entering this node, and add any declarations to the context that should be in scope when visiting children of this node.

Specified by:

enterScope in interface NodeOps

Overrides:

enterScope in class Node_c

Parameters:

c - the current Context

Returns:

the Context to be used for visiting this node.

addDecls

public void addDecls(Context c)

Description copied from class: Node_c

Add any declarations to the context that should be in scope when visiting later sibling nodes.

Specified by:

addDecls in interface NodeOps

Overrides:

addDecls in class Node_c

Parameters:

c - The context to which to add declarations.

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

extRewrite

public Node extRewrite(ExtensionRewriter rw)
                throws SemanticException

Description copied from interface: NodeOps

Rewrite the AST for the compilation in this language. 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:

extRewrite in interface NodeOps

Overrides:

extRewrite in class Term_c

Parameters:

rw - 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.