jif.lang
Class DelegatesProof

java.lang.Object
  jif.lang.ActsForProof
      jif.lang.DelegatesProof

public final class DelegatesProof
extends ActsForProof

Constructor Summary

DelegatesProof(Principal actor, Principal granter)

Method Summary

void	gatherDelegationDependencies(java.util.Set 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 s)

Overrides:

gatherDelegationDependencies in class ActsForProof