liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Trying to understand some classes/libraries


From: Paolo Redælli
Subject: Re: Trying to understand some classes/libraries
Date: Tue, 15 Mar 2022 14:12:51 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.1.0


Il 15/03/22 13:17, Hans Zwakenberg ha scritto:
Hi Group,

recently, I noted that some classes (example: ABSTRACT_STRING) seem to duplicate features that are located in one of the NUMERIC classes as well.  Some examples:

Maximum (and minimum) 32/64/80 etc.

Why this redundancy, perhaps for performance reasons?  If so, how do we ascertain that these features/constants in multiple classes return the same value?

I issued "short --all-clients abstract_string"....

Are you referring to features  like

   Maximum_integer_8: INTEGER_8
      -- Largest supported value of type INTEGER_8.
   Maximum_integer_16: INTEGER_16
      -- Largest supported value of type INTEGER_16.
   Maximum_integer: INTEGER_32
      -- Largest supported value of type INTEGER/INTEGER_32.
   Maximum_integer_32: INTEGER_32
      -- Largest supported value of type INTEGER/INTEGER_32.

?

They are directly inserted from PLATFORM into ABSTRACT_STRING and into INTEGER_32 throught INTEGER_GENERAL→INTEGRAL.

So the don't just return the same value, they are the same feature (function/constant for people coming from other languages).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]