jif.ast
Interface PrincipalNode

All Superinterfaces:

java.lang.Cloneable, polyglot.util.Copy, polyglot.ast.Expr, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, ParamNode, polyglot.ast.Prefix, polyglot.ast.Receiver, 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 ParamNode, polyglot.ast.Expr

A placeholder in AST for a Jif principal.

Field Summary

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Method Summary

Principal	principal()
PrincipalNode	principal(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

acceptCFG, exceptions, exceptions, firstChild, reachable, reachable

Method Detail

principal

Principal principal()

principal

PrincipalNode principal(Principal principal)