|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PrincipalNode
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()
PrincipalNode principal(Principal principal)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |