public class InstTypeNode_c extends polyglot.ast.TypeNode_c implements InstTypeNode, polyglot.ast.Ambiguous
InstTypeNode
interface.Modifier and Type | Field and Description |
---|---|
protected polyglot.ast.TypeNode |
base |
protected java.util.List<ParamNode> |
params |
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) |
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) |
acceptCFG, buildTypes, firstChild, name, qualifier, type, type, type
exceptions, exceptions, exceptions, extRewrite, listChild, reachable, reachable, reachable
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
del, del, dump, error, error, ext, ext, ext, ext, isTypeChecked, position, position, visit, visitEdge
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
protected polyglot.ast.TypeNode base
protected java.util.List<ParamNode> params
public InstTypeNode_c(polyglot.util.Position pos, polyglot.ast.TypeNode base, java.util.List<ParamNode> params)
public InstTypeNode_c(polyglot.util.Position pos, polyglot.ast.TypeNode base, java.util.List<ParamNode> params, polyglot.ast.Ext ext)
public polyglot.ast.TypeNode base()
base
in interface InstTypeNode
public InstTypeNode base(polyglot.ast.TypeNode base)
base
in interface InstTypeNode
public java.util.List<ParamNode> params()
params
in interface InstTypeNode
public InstTypeNode params(java.util.List<ParamNode> params)
params
in interface InstTypeNode
protected InstTypeNode_c reconstruct(polyglot.ast.TypeNode base, java.util.List<ParamNode> params)
public polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)
visitChildren
in interface polyglot.ast.NodeOps
visitChildren
in class polyglot.ast.Node_c
public boolean isDisambiguated()
isDisambiguated
in interface polyglot.ast.Node
isDisambiguated
in class polyglot.ast.TypeNode_c
public polyglot.ast.Node disambiguate(polyglot.visit.AmbiguityRemover sc) throws polyglot.types.SemanticException
disambiguate
in interface polyglot.ast.NodeOps
disambiguate
in class polyglot.ast.Node_c
polyglot.types.SemanticException
protected void checkParamSuitable(ParamInstance pi, ParamNode p) throws polyglot.types.SemanticException
polyglot.types.SemanticException
public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
typeCheck
in interface polyglot.ast.NodeOps
typeCheck
in class polyglot.ast.Node_c
public polyglot.ast.Node exceptionCheck(polyglot.visit.ExceptionChecker ec)
exceptionCheck
in interface polyglot.ast.NodeOps
exceptionCheck
in class polyglot.ast.Term_c
public void prettyPrint(polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
prettyPrint
in interface polyglot.ast.NodeOps
prettyPrint
in class polyglot.ast.TypeNode_c
public void translate(polyglot.util.CodeWriter w, polyglot.visit.Translator tr)
translate
in interface polyglot.ast.NodeOps
translate
in class polyglot.ast.Node_c
public java.lang.String toString()
toString
in class polyglot.ast.TypeNode_c