class HASHED_STRING
Summary
Overview
creation features
exported features
to_string: STRING
writable attribute
The corresponding hashed name (eg. "INTEGER", "REAL", "DOUBLE", "like Current", "SmartEiffel/lib/kernel/any.e", -- etc.).
hash_code: INTEGER_32
writable attribute
The precomputed hash_code of to_string (memory cache).
is_equal (other: HASHED_STRING): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
is_tuple_related: BOOLEAN
effective function
Is it some TUPLE-related name ("TUPLE", "TUPLE 1", "TUPLE 2", etc.)?
is_simple_feature_name: BOOLEAN
effective function
Is it an ordinary feature name (i.e. not a prefix / infix operator).