identifier ::= identifier_letter { [ "_" ] ( identifier_letter | digit ) }
This rule is called by-> attribute_designator -> defining_identifier -> designator -> direct_name -> entry_identifier -> package_body -> package_specification -> pragma -> pragma_argument_association -> protected_identifier -> restriction -> selector_name -> task_identifier