public final class DelegatesProof extends ActsForProof
Constructor and Description |
---|
DelegatesProof(Principal actor,
Principal granter) |
Modifier and Type | Method and Description |
---|---|
void |
gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s) |
getActor, getGranter
public void gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
gatherDelegationDependencies
in class ActsForProof