jif.ast

Interface PrincipalActsForPrincipalConstraintNode

All Superinterfaces:

ActsForConstraintNode<Principal,Principal>, java.lang.Cloneable, ConstraintNode<ActsForConstraint<Principal,Principal>>, polyglot.util.Copy<polyglot.ast.Node>, polyglot.ast.Node, polyglot.ast.NodeOps, java.io.Serializable

All Known Implementing Classes:

PrincipalActsForPrincipalConstraintNode_c

public interface PrincipalActsForPrincipalConstraintNode
extends ActsForConstraintNode<Principal,Principal>

An immutable representation of the Jif ActsFor constraint between two principals.

Grammar: actsFor (actor, granter)

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

Nested Class Summary

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

polyglot.util.Copy.Util

Method Summary

Methods inherited from interface jif.ast.ActsForConstraintNode

actor, actor, granter, granter

Methods inherited from interface jif.ast.ConstraintNode

constraints, constraints

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