jif.lang
Class TransitiveProof

java.lang.Object
  jif.lang.ActsForProof
      jif.lang.TransitiveProof

public final class TransitiveProof
extends ActsForProof

Constructor Summary

TransitiveProof(ActsForProof actorToP, Principal p, ActsForProof pToGranter)

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

TransitiveProof

public TransitiveProof(ActsForProof actorToP,
                       Principal p,
                       ActsForProof pToGranter)

Method Detail

gatherDelegationDependencies

public void gatherDelegationDependencies(java.util.Set s)

Overrides:

gatherDelegationDependencies in class ActsForProof