Can contents be read as a REAL ?
Fails for numbers where the base or "10 ^ exponent" are not in
the range Minimum_real ...
Maximum_real. Parsing is done
positive. That means if Minimum_real.abs is not equal to
Maximum_real it will not work correctly. Furthermore the
arithmetric package used must support the value 'inf' for a
number greater than Maximum_real.
Result is True if and only if the following two conditions
hold:
1. In the following BNF grammar, the value of Current can be
produced by "Real_literal", if leading or trailing separators
are ignored.
The string must looks like a REAL (or like an
INTEGER because the fractionnal part is optional). For an exact definition see 'is_real'.
Note that this conversion might not be exact.
Internal storage is set using p (may be dangerous because
the external C string p is not duplicated).
Assume p has a
null character at the end in order to compute the Eiffel
count. This extra null character is not part of the Eiffel
STRING. Also consider from_external_copy to choose the most
appropriate.
Assume p has a
null character at the end in order to compute the Eiffel
count. This extra null character is not part of the Eiffel
STRING. Also consider from_external to choose the most
appropriate.