12.3 Identifiers




Definition

identifier ::=
basic_identifier | extended_identifier

basic_identifier ::=
letter { [ underline ] letter_or_digit }

letter_or_digit ::=
letter | digit

letter ::=
upper_case_letter | lower_case_letter

extended_identifier ::=
\ graphic_character { graphic_character } \

Comments

A basic identifier must not contain any blanks!


Examples

count
x
c_out
store_next_item
\74S05\
\a\\b\