jif.ast
Class CanonicalPrincipalNode_c

java.lang.Object
  polyglot.ast.Node_c
      polyglot.ast.Term_c
          polyglot.ast.Expr_c
              jif.ast.PrincipalNode_c
                  jif.ast.CanonicalPrincipalNode_c

All Implemented Interfaces:

java.lang.Cloneable, CanonicalPrincipalNode, ParamNode, PrincipalNode, polyglot.ast.Expr, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Prefix, polyglot.ast.Receiver, polyglot.ast.Term, polyglot.ast.Typed, polyglot.util.Copy

public class CanonicalPrincipalNode_c
extends PrincipalNode_c
implements CanonicalPrincipalNode

An implementation of the CanonicalPrincipal interface.

Field Summary

Fields inherited from class polyglot.ast.Expr_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

CanonicalPrincipalNode_c(polyglot.util.Position pos, Principal principal)

Method Summary

java.util.List	acceptCFG(polyglot.visit.CFGBuilder v, java.util.List succs) Visit this term in evaluation order.
polyglot.ast.Term	firstChild()
boolean	isDisambiguated()
void	prettyPrint(polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
void	translate(polyglot.util.CodeWriter w, polyglot.visit.Translator tr)
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc) Type check the expression.

Methods inherited from class jif.ast.PrincipalNode_c

parameter, principal, principal, throwTypes, toString

Methods inherited from class polyglot.ast.Expr_c

booleanValue, buildTypes, byteValue, charValue, constantValue, constantValueSet, doubleValue, dump, floatValue, intValue, isConstant, isTypeChecked, longValue, precedence, printSubExpr, printSubExpr, shortValue, stringValue, type, type

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, listChild, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, error, error, exceptionCheckEnter, ext, ext, ext, ext, init, node, position, position, prettyPrint, prettyPrint, print, printBlock, printSubStmt, typeCheckEnter, typeCheckOverride, visit, visitChild, visitChildren, visitEdge, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface jif.ast.PrincipalNode

principal, principal

Methods inherited from interface jif.ast.ParamNode

parameter

Methods inherited from interface polyglot.ast.Expr

constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Constructor Detail

CanonicalPrincipalNode_c

public CanonicalPrincipalNode_c(polyglot.util.Position pos,
                                Principal principal)

Method Detail

isDisambiguated

public boolean isDisambiguated()

Specified by:

isDisambiguated in interface polyglot.ast.Node

Overrides:

isDisambiguated in class PrincipalNode_c

typeCheck

public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
                            throws polyglot.types.SemanticException

Description copied from class: PrincipalNode_c

Type check the expression.

Specified by:

typeCheck in interface polyglot.ast.NodeOps

Overrides:

typeCheck in class PrincipalNode_c

Throws:

polyglot.types.SemanticException

prettyPrint

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

Specified by:

prettyPrint in interface polyglot.ast.NodeOps

Overrides:

prettyPrint in class polyglot.ast.Node_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

acceptCFG

public java.util.List acceptCFG(polyglot.visit.CFGBuilder v,
                                java.util.List succs)

Visit this term in evaluation order.

Specified by:

acceptCFG in interface polyglot.ast.Term

Specified by:

acceptCFG in class polyglot.ast.Term_c

firstChild

public polyglot.ast.Term firstChild()

Specified by:

firstChild in interface polyglot.ast.Term