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