|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Type relation. This class defines objects representing sub-sort / sub-types relations. Objects of this class represent partial orders between types; they can be interrogated to know the relation between two types.
Method Summary | |
boolean |
equ(CoopnTypeAgg left,
CoopnTypeAgg right)
Equivalence between two lists of types. |
boolean |
equ(CoopnType left,
CoopnType right)
Equivalence between two types. |
boolean |
less(CoopnTypeAgg sub,
CoopnTypeAgg sup)
Order between two lists of types. |
boolean |
less(CoopnType sub,
CoopnType sup)
Order between two types. |
boolean |
lessOrEqu(CoopnTypeAgg sub,
CoopnTypeAgg sup)
Order between two lists of types. |
boolean |
lessOrEqu(CoopnType sub,
CoopnType sup)
Order between two types. |
boolean |
unifiable(CoopnTypeAgg left,
CoopnTypeAgg right)
Compatibility for unification between two lists of types. |
boolean |
unifiable(CoopnType left,
CoopnType right)
Compatibility for unification between two types. |
Method Detail |
public boolean equ(CoopnTypeAgg left, CoopnTypeAgg right)
left
- the first list of typesright
- the second list of typespublic boolean equ(CoopnType left, CoopnType right)
left
- the first typeright
- the second typepublic boolean less(CoopnTypeAgg sub, CoopnTypeAgg sup)
sub
- the first list of typessup
- the second list of typespublic boolean less(CoopnType sub, CoopnType sup)
sub
- the first typesup
- the second typepublic boolean lessOrEqu(CoopnTypeAgg sub, CoopnTypeAgg sup)
sub
- the first list of typessup
- the second list of typespublic boolean lessOrEqu(CoopnType sub, CoopnType sup)
sub
- the first typesup
- the second typepublic boolean unifiable(CoopnTypeAgg left, CoopnTypeAgg right)
left
- the first list of typesright
- the second list of typespublic boolean unifiable(CoopnType left, CoopnType right)
left
- the first typeright
- the second type
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |