For all kinds of feature names (simple names, infix or prefix names, frozen names as well as
Precursor names).
The most common usage of FEATURE_NAME class is for declaration names of features (function,
procedure and attributes), but the very same class is also used as an EXPRESSION for attributes which
are syntactically recognizable (i.e. the left hand side of an assignment or for example, or the target
of some creation instruction).
Note: this feature which checks the correctness of free
operator notation is not used by the parser but is defined just
to make the assertion code clear and nice.
Note: this feature which checks the correctness of free
operator notation is not used by the parser but is defined just
to make the assertion code clear and nice.