class FEATURE_NAME_LIST
Summary
Class invariant
Overview
creation features
exported features
first: FEATURE_NAME
writable attribute
effective function
count: INTEGER_32
effective function
has (fn: FEATURE_NAME): BOOLEAN
effective function
internal_name (fn: FEATURE_NAME): FEATURE_NAME
effective function
If present, give back the one actually stored in Current.
pretty (indent_level: INTEGER_32)
effective procedure
short
effective procedure
all_positions_in_error_handler
effective procedure
accept (visitor: FEATURE_NAME_LIST_VISITOR)
effective procedure
Accept to be visited by the visitor.