class INTEGER_OVERFLOW General cluster: money description: "Detect Integer Overflow debug ToDo: Pre/Post-conditions end ToDo: multiply and divide" Ancestors ANY Queries Max_int: INTEGER_64 Min_int: INTEGER_64 safe_minus (left, right: INTEGER_64): BOOLEAN safe_plus (left, right: INTEGER_64): BOOLEAN
Generated by ISE EiffelStudio