class ELT_NIL{ETP}
****
Provides the nil value for an object of type ETP. If ETP < $NIL then return ETP::nil otherwise return void This does not work for abstract types - hence, abstract classes should not be placed under $NIL


Flattened version is here



Public


Features
elt_nil: ETP
**** Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return "void"
is_elt_nil(e:ETP):BOOL
**** Return true if ETP is defines a nil value and "e" has that value or if ETP does not define a nil value, but "e" is void

The Sather Home Page