jif.ast

Interface PrincipalNode

All Superinterfaces:

ActsForParamNode<Principal>, java.lang.Cloneable, polyglot.util.Copy<polyglot.ast.Node>, polyglot.ast.Expr, polyglot.ast.Node, polyglot.ast.NodeOps, ParamNode, polyglot.ast.Prefix, polyglot.ast.Receiver, java.io.Serializable, polyglot.ast.Term, polyglot.ast.Typed

All Known Subinterfaces:

AmbJunctivePrincipalNode, AmbPrincipalNode, CanonicalPrincipalNode

All Known Implementing Classes:

AmbJunctivePrincipalNode_c, AmbPrincipalNode_c, CanonicalPrincipalNode_c, PrincipalNode_c

public interface PrincipalNode
extends ActsForParamNode<Principal>, polyglot.ast.Expr

A placeholder in AST for a Jif principal.

Nested Class Summary

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

polyglot.util.Copy.Util

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

polyglot.ast.Term.Instance

Field Summary

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Method Summary

Modifier and Type	Method and Description
Principal	principal()
PrincipalNode	principal(Principal principal)

Methods inherited from interface jif.ast.ActsForParamNode

parameter, parameter

Methods inherited from interface polyglot.ast.Expr

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

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

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, 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, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Method Detail

principal

Principal principal()

principal

PrincipalNode principal(Principal principal)