public abstract class ActsForProof
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s) |
Principal |
getActor() |
Principal |
getGranter() |