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 Param

All Superinterfaces:
  java.lang.Cloneable, polyglot.util.Copy, java.io.Serializable, polyglot.types.TypeObject

All Known Subinterfaces:
  ArgLabel, CovariantParamLabel, DynamicLabel, DynamicPrincipal, ExternalPrincipal, JoinLabel, Label, NotTaken, ParamLabel, ParamPrincipal, PolicyLabel, Principal, RuntimeLabel, ThisLabel, TopLabel, UnknownLabel, UnknownParam, UnknownPrincipal, VarLabel

All Known Implementing Classes:
  ArgLabel_c, CovariantParamLabel_c, DynamicLabel_c, DynamicPrincipal_c, ExternalPrincipal_c, JoinLabel_c, Label_c, NotTaken_c, ParamLabel_c, ParamPrincipal_c, PolicyLabel_c, Principal_c, RuntimeLabel_c, ThisLabel_c, TopLabel_c, UnknownLabel_c, UnknownParam_c, UnknownPrincipal_c, VarLabel_c

    public interface Param

extends polyglot.types.TypeObject

The root of the Jif class parameter types.

Method Summary
`boolean` | `isCanonical()`
`boolean` | `isRuntimeRepresentable()`

Methods inherited from interface polyglot.types.TypeObject
`equalsImpl, position, typeSystem`

Methods inherited from interface polyglot.util.Copy
`copy`

Method Detail

### isRuntimeRepresentable

    boolean isRuntimeRepresentable()

### isCanonical

    boolean isCanonical()

  Specified by:
    `isCanonical` in interface `polyglot.types.TypeObject`

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