public interface JifSubst extends polyglot.ext.param.types.Subst<ParamInstance,Param>
Modifier and Type | Method and Description |
---|---|
Param |
get(ParamInstance pi) |
<Actor extends ActsForParam,Granter extends ActsForParam> |
substConstraint(Assertion constraint) |
java.util.List<Assertion> |
substConstraintList(java.util.List<Assertion> constraints) |
Label |
substLabel(Label label) |
java.util.List<Label> |
substLabelList(java.util.List<Label> labels) |
Principal |
substPrincipal(Principal principal) |
java.util.List<Principal> |
substPrincipalList(java.util.List<Principal> principals) |
<Actor extends ActsForParam,Granter extends ActsForParam> Assertion substConstraint(Assertion constraint)
java.util.List<Assertion> substConstraintList(java.util.List<Assertion> constraints)
java.util.List<Principal> substPrincipalList(java.util.List<Principal> principals)
Param get(ParamInstance pi)