class ELT_LT{ETP}
****
Provides the less than comparison function for elements of type ETP. Tries to use the user defined comparison and falls back on the system default comparison, if possible


Flattened version is here



Public


Features
elt_lt(e1,e2:ETP):BOOL
**** The default "less than" relation e1 < e2. Uses the user defined is_lt if ETP < $IS_LT{ETP}. Otherwise it uses a default system implementation of is_lt.
_
Due to a current limitation, the default implemetnation of is_lt does not work for immutable classes. Hence, they must be placed under $IS_LT


Private

verify_can_call_lt(e1,e2:$OB): BOOL
**** Return true if it the system call SYS::id(e1) < SYS::id(e2) would run without problems

The Sather Home Page