jif.lang

Class DelegatesProof

java.lang.Object

jif.lang.ActsForProof

jif.lang.DelegatesProof

public final class DelegatesProof
extends ActsForProof

Constructor Summary

Constructors

Constructor and Description
DelegatesProof(Principal actor, Principal granter)

Method Summary

Modifier and Type	Method and Description
void	gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)

Methods inherited from class jif.lang.ActsForProof

getActor, getGranter

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DelegatesProof

public DelegatesProof(Principal actor,
                      Principal granter)

Method Detail

gatherDelegationDependencies

public void gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)

Overrides:

gatherDelegationDependencies in class ActsForProof