LisaacTM Platform

SAFE_EQUAL

The goal of this class is to share the definition of feature `safe_equal'. Feature `safe_equal' compares two arguments of type E, by calling `==' only and only if both arguments have the `same_type'..
Inherit/Insert Summary
parent No developed.
 
Slot Summary
safe_equal
In order to avoid run-time type errors, feature safe_equal call == only when e1 and e2 have exactly the same generating_type. Furthermore, this feature avoid argument passing from some expanded type to the corresponding reference type (no automatic allocation of some reference type during the comparison).
 

Inherit/Insert Detail

parent

.../base/property/safe_equal.li line #15

Section:
Inherit

Profile:
- Self: SELF. parent : OBJECT

Detail slot

safe_equal

.../base/property/safe_equal.li line #19

Section:
Public

Profile:
- Self: SELF. safe_equal  ( e1 : E, e2 : E) : BOOLEAN

Description:
In order to avoid run-time type errors, feature safe_equal call == only when e1 and e2 have exactly the same generating_type. Furthermore, this feature avoid argument passing from some expanded type to the corresponding reference type (no automatic allocation of some reference type during the comparison).