jif.types
Interface Param

All Superinterfaces:

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

All Known Subinterfaces:

ArgLabel, ArgPrincipal, CovariantLabel, DynamicArgLabel, DynamicLabel, DynamicPrincipal, DynrecLabel, ExternalPrincipal, JoinLabel, Label, LabelOfVar, MeetLabel, NotTaken, ParamLabel, ParamPrincipal, PolicyLabel, Principal, RuntimeLabel, TopLabel, UnknownLabel, UnknownParam, UnknownPrincipal, VarLabel

All Known Implementing Classes:

ArgLabel_c, ArgPrincipal_c, CovariantLabel_c, DynamicArgLabel_c, DynamicLabel_c, DynamicPrincipal_c, DynrecLabel_c, ExternalPrincipal_c, JoinLabel_c, Label_c, LabelOfVar_c, MeetLabel_c, NotTaken_c, ParamLabel_c, ParamPrincipal_c, PolicyLabel_c, Principal_c, RuntimeLabel_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

public boolean isRuntimeRepresentable()

isCanonical

public boolean isCanonical()

Specified by:

isCanonical in interface polyglot.types.TypeObject