public class AmbPrincipalNode_c extends PrincipalNode_c implements AmbPrincipalNode
AmbPrincipalNode
interface.Modifier and Type | Field and Description |
---|---|
protected polyglot.ast.Expr |
expr |
protected polyglot.ast.Id |
name |
Constructor and Description |
---|
AmbPrincipalNode_c(polyglot.util.Position pos,
polyglot.ast.Expr expr) |
AmbPrincipalNode_c(polyglot.util.Position pos,
polyglot.ast.Expr expr,
polyglot.ast.Ext ext) |
AmbPrincipalNode_c(polyglot.util.Position pos,
polyglot.ast.Id name) |
AmbPrincipalNode_c(polyglot.util.Position pos,
polyglot.ast.Id name,
polyglot.ast.Ext ext) |
Modifier and Type | Method and Description |
---|---|
<T> java.util.List<T> |
acceptCFG(polyglot.visit.CFGBuilder<?> v,
java.util.List<T> succs)
Visit this term in evaluation order.
|
polyglot.ast.Node |
disambiguate(polyglot.visit.AmbiguityRemover ar) |
protected polyglot.ast.Node |
disambiguateName(polyglot.visit.AmbiguityRemover ar,
polyglot.ast.Id name) |
protected <N extends AmbPrincipalNode_c> |
expr(N n,
polyglot.ast.Expr expr) |
polyglot.ast.Term |
firstChild() |
protected <N extends AmbPrincipalNode_c> |
id(N n,
polyglot.ast.Id name) |
boolean |
isDisambiguated() |
protected polyglot.ast.Node |
paramToPrincipal(ParamInstance pi,
polyglot.visit.AmbiguityRemover sc) |
protected polyglot.ast.Node |
principalToPrincipal(PrincipalInstance vi,
polyglot.visit.AmbiguityRemover sc) |
protected <N extends AmbPrincipalNode_c> |
reconstruct(N n,
polyglot.ast.Expr expr,
polyglot.ast.Id name) |
java.lang.String |
toString() |
protected polyglot.ast.Node |
varToPrincipal(JifVarInstance vi,
polyglot.visit.AmbiguityRemover sc) |
polyglot.ast.Node |
visitChildren(polyglot.visit.NodeVisitor v) |
parameter, parameter, principal, principal, throwTypes, typeCheck
booleanValue, buildTypes, byteValue, charValue, constantValue, constantValue, constantValueSet, constantValueSet, doubleValue, dump, extRewrite, floatValue, intValue, isConstant, isConstant, isTypeChecked, lastLang, longValue, precedence, printSubExpr, printSubExpr, shortValue, stringValue, type, type, type
exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable
addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, extRewriteOverride, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
principal, principal
parameter, parameter
constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type
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, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitList
public AmbPrincipalNode_c(polyglot.util.Position pos, polyglot.ast.Expr expr)
public AmbPrincipalNode_c(polyglot.util.Position pos, polyglot.ast.Expr expr, polyglot.ast.Ext ext)
public AmbPrincipalNode_c(polyglot.util.Position pos, polyglot.ast.Id name)
public AmbPrincipalNode_c(polyglot.util.Position pos, polyglot.ast.Id name, polyglot.ast.Ext ext)
protected <N extends AmbPrincipalNode_c> N expr(N n, polyglot.ast.Expr expr)
protected <N extends AmbPrincipalNode_c> N id(N n, polyglot.ast.Id name)
public boolean isDisambiguated()
isDisambiguated
in interface polyglot.ast.Node
isDisambiguated
in class PrincipalNode_c
public java.lang.String toString()
toString
in class PrincipalNode_c
public polyglot.ast.Node disambiguate(polyglot.visit.AmbiguityRemover ar) throws polyglot.types.SemanticException
disambiguate
in interface polyglot.ast.NodeOps
disambiguate
in class polyglot.ast.Node_c
polyglot.types.SemanticException
protected polyglot.ast.Node disambiguateName(polyglot.visit.AmbiguityRemover ar, polyglot.ast.Id name) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected polyglot.ast.Node varToPrincipal(JifVarInstance vi, polyglot.visit.AmbiguityRemover sc) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected polyglot.ast.Node principalToPrincipal(PrincipalInstance vi, polyglot.visit.AmbiguityRemover sc) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected polyglot.ast.Node paramToPrincipal(ParamInstance pi, polyglot.visit.AmbiguityRemover sc) throws polyglot.types.SemanticException
polyglot.types.SemanticException
public <T> java.util.List<T> acceptCFG(polyglot.visit.CFGBuilder<?> v, java.util.List<T> succs)
acceptCFG
in interface polyglot.ast.TermOps
acceptCFG
in class polyglot.ast.Term_c
public polyglot.ast.Term firstChild()
firstChild
in interface polyglot.ast.TermOps
firstChild
in class polyglot.ast.Term_c
public polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)
visitChildren
in interface polyglot.ast.NodeOps
visitChildren
in class polyglot.ast.Node_c
protected <N extends AmbPrincipalNode_c> N reconstruct(N n, polyglot.ast.Expr expr, polyglot.ast.Id name)