jif.types
Interface Param

All Superinterfaces:

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

All Known Subinterfaces:

ArgLabel, BottomPrincipal, ConjunctivePrincipal, CovariantParamLabel, DisjunctivePrincipal, DynamicLabel, DynamicPrincipal, ExternalPrincipal, JoinLabel, Label, MeetLabel, NotTaken, PairLabel, ParamLabel, ParamPrincipal, Principal, ThisLabel, TopPrincipal, UnknownLabel, UnknownParam, UnknownPrincipal, VarLabel, VarPrincipal, WritersToReadersLabel

All Known Implementing Classes:

ArgLabel_c, BottomPrincipal_c, ConjunctivePrincipal_c, CovariantParamLabel_c, DisjunctivePrincipal_c, DynamicLabel_c, DynamicPrincipal_c, ExternalPrincipal_c, JoinLabel_c, Label_c, MeetLabel_c, NotTaken_c, PairLabel_c, ParamLabel_c, ParamPrincipal_c, Principal_c, ThisLabel_c, TopPrincipal_c, UnknownLabel_c, UnknownParam_c, UnknownPrincipal_c, VarLabel_c, VarPrincipal_c, WritersToReadersLabel_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