jif.lang

Class TransitiveProof

java.lang.Object

jif.lang.ActsForProof

jif.lang.TransitiveProof

public final class TransitiveProof
extends ActsForProof

Constructor Summary

Constructors

Constructor and Description
TransitiveProof(ActsForProof actorToP, Principal p, ActsForProof pToGranter)

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

TransitiveProof

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

Method Detail

gatherDelegationDependencies

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

Overrides:

gatherDelegationDependencies in class ActsForProof