jif.ast

Class InstTypeNode_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.TypeNode_c

jif.ast.InstTypeNode_c

All Implemented Interfaces:

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

public class InstTypeNode_c
extends polyglot.ast.TypeNode_c
implements InstTypeNode, polyglot.ast.Ambiguous

An implementation of the InstTypeNode interface.

See Also:

Serialized Form

Nested Class Summary

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

polyglot.ast.TypeNode.Instance

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

polyglot.util.Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected polyglot.ast.TypeNode	base
protected java.util.List<ParamNode>	params

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
InstTypeNode_c(polyglot.util.Position pos, polyglot.ast.TypeNode base, java.util.List<ParamNode> params)
InstTypeNode_c(polyglot.util.Position pos, polyglot.ast.TypeNode base, java.util.List<ParamNode> params, polyglot.ast.Ext ext)

Method Summary

Modifier and Type	Method and Description
polyglot.ast.TypeNode	base()
InstTypeNode	base(polyglot.ast.TypeNode base)
protected void	checkParamSuitable(ParamInstance pi, ParamNode p)
polyglot.ast.Node	disambiguate(polyglot.visit.AmbiguityRemover sc)
polyglot.ast.Node	exceptionCheck(polyglot.visit.ExceptionChecker ec)
boolean	isDisambiguated()
java.util.List<ParamNode>	params()
InstTypeNode	params(java.util.List<ParamNode> params)
void	prettyPrint(polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
protected InstTypeNode_c	reconstruct(polyglot.ast.TypeNode base, java.util.List<ParamNode> params)
java.lang.String	toString()
void	translate(polyglot.util.CodeWriter w, polyglot.visit.Translator tr)
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc)
polyglot.ast.Node	visitChildren(polyglot.visit.NodeVisitor v)

Methods inherited from class polyglot.ast.TypeNode_c

acceptCFG, buildTypes, 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, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, extRewriteOverride, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, 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

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, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, 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 polyglot.ast.TypeNode base

params

protected java.util.List<ParamNode> params

Constructor Detail

InstTypeNode_c

public InstTypeNode_c(polyglot.util.Position pos,
                      polyglot.ast.TypeNode base,
                      java.util.List<ParamNode> params)

InstTypeNode_c

public InstTypeNode_c(polyglot.util.Position pos,
                      polyglot.ast.TypeNode base,
                      java.util.List<ParamNode> params,
                      polyglot.ast.Ext ext)

Method Detail

base

public polyglot.ast.TypeNode base()

Specified by:

base in interface InstTypeNode

base

public InstTypeNode base(polyglot.ast.TypeNode base)

Specified by:

base in interface InstTypeNode

params

public java.util.List<ParamNode> params()

Specified by:

params in interface InstTypeNode

params

public InstTypeNode params(java.util.List<ParamNode> params)

Specified by:

params in interface InstTypeNode

reconstruct

protected InstTypeNode_c reconstruct(polyglot.ast.TypeNode base,
                                     java.util.List<ParamNode> params)

visitChildren

public polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)

Specified by:

visitChildren in interface polyglot.ast.NodeOps

Overrides:

visitChildren in class polyglot.ast.Node_c

isDisambiguated

public boolean isDisambiguated()

Specified by:

isDisambiguated in interface polyglot.ast.Node

Overrides:

isDisambiguated in class polyglot.ast.TypeNode_c

disambiguate

public polyglot.ast.Node disambiguate(polyglot.visit.AmbiguityRemover sc)
                               throws polyglot.types.SemanticException

Specified by:

disambiguate in interface polyglot.ast.NodeOps

Overrides:

disambiguate in class polyglot.ast.Node_c

Throws:

polyglot.types.SemanticException

checkParamSuitable

protected void checkParamSuitable(ParamInstance pi,
                                  ParamNode p)
                           throws polyglot.types.SemanticException

Throws:

polyglot.types.SemanticException

typeCheck

public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)

Specified by:

typeCheck in interface polyglot.ast.NodeOps

Overrides:

typeCheck in class polyglot.ast.Node_c

exceptionCheck

public polyglot.ast.Node exceptionCheck(polyglot.visit.ExceptionChecker ec)

Specified by:

exceptionCheck in interface polyglot.ast.NodeOps

Overrides:

exceptionCheck in class polyglot.ast.Term_c

prettyPrint

public void prettyPrint(polyglot.util.CodeWriter w,
                        polyglot.visit.PrettyPrinter tr)

Specified by:

prettyPrint in interface polyglot.ast.NodeOps

Specified by:

prettyPrint in class polyglot.ast.TypeNode_c

translate

public void translate(polyglot.util.CodeWriter w,
                      polyglot.visit.Translator tr)

Specified by:

translate in interface polyglot.ast.NodeOps

Overrides:

translate in class polyglot.ast.Node_c

toString

public java.lang.String toString()

Overrides:

toString in class polyglot.ast.TypeNode_c