jif.ast
Interface ActsForConstraintNode

All Superinterfaces:

java.lang.Cloneable, ConstraintNode, polyglot.util.Copy, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps

All Known Implementing Classes:

ActsForConstraintNode_c

public interface ActsForConstraintNode

extends ConstraintNode

An immutable representation of the Jif ActsFor constraint.

Grammer: actsFor (actor, granter)

The ActsFor constraint only appears in the where clause of a procedure header.

Method Summary

PrincipalNode	actor() Gets the actor principal.
ActsForConstraintNode	actor(PrincipalNode actor) Returns a copy of this node with the actor updated.
PrincipalNode	granter() Gets the granter principal.
ActsForConstraintNode	granter(PrincipalNode granter) Returns a copy of this node with the granter updated.

Methods inherited from interface jif.ast.ConstraintNode

constraint, constraint

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, foldConstants, foldConstantsEnter, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

actor

public PrincipalNode actor()

Gets the actor principal.

actor

public ActsForConstraintNode actor(PrincipalNode actor)

Returns a copy of this node with the actor updated.

granter

public PrincipalNode granter()

Gets the granter principal.

granter

public ActsForConstraintNode granter(PrincipalNode granter)

Returns a copy of this node with the granter updated.