Used both for specialize_in and specialize_thru to indicate that we have all FEATURE_STAMPs
ready for use and that FEATURE_NAMEs are no longer used (except for calls on non-current target
who are available after specialize_and_check -- step).

Used both for specialize_in and specialize_thru to indicate that we have all FEATURE_STAMPs
ready for use and that FEATURE_NAMEs are no longer used (except for calls on non-current target
who are available after specialize_and_check -- step).

Finally, also note that the purpose of this
feature is mostly to write contracts (see also the strange ensure assertion).

Collect Current to become actually true live code in type knowing that Current
already specialized in type.

The Result is used for EXPRESSION only to indicates its
TYPE in the type context. Feature collect may be call more than once on the same
target until for example the magic_count to be stabilized. Also note that, when not
Void, the Result must be the one given by a similar resolve_in call.

Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%

When the % letter notation exists, it is returned in priority: '%N' gives "%N", '%T'
gives "%T", etc.
When % letter notation does not exists (not in the ETL table), numbered coding
used ("%/1/", "%/2/" etc).

is " has no compiler-defined `deep_twin' or `is_deep_equal' because the corresponding allocated size is not part of the NATIVE_ARRAY object. The client class of this NATIVE_ARRAY type is supposed to use a `capacity' attribute which contains the corresponding number of allocated items (see STRING or ARRAY for example)."