class FEATURE_NAME
Summary
Class invariant
Overview
creation features
exported features
  • infix "<=" (other: FEATURE_NAME): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: FEATURE_NAME): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: FEATURE_NAME): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: FEATURE_NAME, upper: FEATURE_NAME): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: FEATURE_NAME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: FEATURE_NAME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: FEATURE_NAME): FEATURE_NAME
    Minimum of Current and other.
  • max (other: FEATURE_NAME): FEATURE_NAME
    Maximum of Current and other.
start_position: POSITION
writable attribute
Of the first character.
writable attribute
The unique corresponding one.
hash_code: INTEGER_32
effective function
The hash-code value of Current.
to_string: STRING
effective function
The corresponding name (alone in a STRING).
is_equal (other: FEATURE_NAME): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
infix "<" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current strictly less than other?
is_frozen: BOOLEAN
effective function
is_simple_feature_name: BOOLEAN
effective function
is_infix_name: BOOLEAN
effective function
is_prefix_name: BOOLEAN
effective function
infix_or_prefix: STRING
effective function
Return "infix" or "prefix" or Void.
complete_name_in (buffer: STRING)
effective procedure
mapping_c_in (buffer: STRING)
effective procedure
is_free_operator: BOOLEAN
effective function
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.
declaration_in (buffer: STRING)
effective procedure
pretty (indent_level: INTEGER_32)
effective procedure
pretty_target (indent_level: INTEGER_32)
effective procedure
short (type: TYPE)
effective procedure
accept (visitor: FEATURE_NAME_VISITOR)
effective procedure
Accept to be visited by the visitor.
infix "<=" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current less than or equal other?
infix ">" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current strictly greater than other?
infix ">=" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current greater than or equal than other?
in_range (lower: FEATURE_NAME, upper: FEATURE_NAME): BOOLEAN
effective function
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: FEATURE_NAME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: FEATURE_NAME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: FEATURE_NAME): FEATURE_NAME
effective function
Minimum of Current and other.
max (other: FEATURE_NAME): FEATURE_NAME
effective function
Maximum of Current and other.
extra_bracket_flag: BOOLEAN
constant attribute
line: INTEGER_32
frozen
effective function
column: INTEGER_32
frozen
effective function
bracketed_pretty (indent_level: INTEGER_32)
frozen
effective procedure