Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types
Interface JifSubst

All Superinterfaces:
  java.io.Serializable, polyglot.ext.param.types.Subst

All Known Implementing Classes:
  JifSubst_c

    public interface JifSubst

extends polyglot.ext.param.types.Subst

Method Summary
`Param` | `get(ParamInstance pi)`
`void` | `put(ParamInstance pi, Param param)`
`Assertion` | `substConstraint(Assertion constraint)`
`java.util.List` | `substConstraintList(java.util.List constraints)`
`Label` | `substLabel(Label label)`
`java.util.List` | `substLabelList(java.util.List labels)`
`Principal` | `substPrincipal(Principal principal)`
`java.util.List` | `substPrincipalList(java.util.List principals)`

Methods inherited from interface polyglot.ext.param.types.Subst
`entries, substConstructor, substConstructorList, substField, substFieldList, substitutions, substMethod, substMethodList, substPClass, substType, substTypeList, typeSystem`

Method Detail

### substConstraint

    Assertion substConstraint(Assertion constraint)

### substLabel

    Label substLabel(Label label)

### substPrincipal

    Principal substPrincipal(Principal principal)

### substConstraintList

    java.util.List substConstraintList(java.util.List constraints)

### substLabelList

    java.util.List substLabelList(java.util.List labels)

### substPrincipalList

    java.util.List substPrincipalList(java.util.List principals)

### get

    Param get(ParamInstance pi)

### put

    void put(ParamInstance pi,
             Param param)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD