jif.types

## Interface JifSubst

- All Superinterfaces:
    java.io.Serializable, polyglot.ext.param.types.Subst<ParamInstance,Param>
  All Known Implementing Classes:
    JifSubst_c

      public interface JifSubst
      extends polyglot.ext.param.types.Subst<ParamInstance,Param>

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `Param` | `get(ParamInstance pi)`
    `<Actor extends ActsForParam,Granter extends ActsForParam> Assertion` | `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)`

    - ### Methods inherited from interface polyglot.ext.param.types.Subst

      `entries, is_entry, substConstructor, substConstructorList, substField, substFieldList, substitutions, substMethod, substMethodList, substPClass, substType, substTypeList, typeSystem`

- - ### Method Detail

    - #### substConstraint

          <Actor extends ActsForParam,Granter extends ActsForParam> Assertion substConstraint(Assertion constraint)

    - #### substLabel

          Label substLabel(Label label)

    - #### substPrincipal

          Principal substPrincipal(Principal principal)

    - #### substConstraintList

          java.util.List<Assertion> substConstraintList(java.util.List<Assertion> constraints)

    - #### substLabelList

          java.util.List<Label> substLabelList(java.util.List<Label> labels)

    - #### substPrincipalList

          java.util.List<Principal> substPrincipalList(java.util.List<Principal> principals)

    - #### get

          Param get(ParamInstance pi)