Справочник по Ada 2012
2.3 Идентификаторы
Идентификатор используется в качестве имени.
Синтаксис
identifier_start ::=
letter_uppercase
| letter_lowercase
| letter_titlecase
| letter_modifier
| letter_other
| number_letter
letter_uppercase
| letter_lowercase
| letter_titlecase
| letter_modifier
| letter_other
| number_letter
identifier_extend ::=
mark_non_spacing
| mark_spacing_combining
| number_decimal
| punctuation_connector
mark_non_spacing
| mark_spacing_combining
| number_decimal
| punctuation_connector
Идентификатор не должен содержать две последовательные буквы из категории punctuation_connector, или заканчиваться символом из этой категории.
Статические Семантика
Два идентификатора считаются одинаковыми, если они состоят из одной и той же последовательности символов после применения локале-независимого простого преобразования регистра, как определено в документах, на которые ссылается примечание в пункте 1 ISO/IEC 10646:2011.
После применения простого преобразования регистра идентификатор не должен быть идентичен зарезервированному слову.
Разрешения для реализации
В нестандартном режиме реализация может поддерживать другие правила эквивалентности верхнего/нижнего регистра для идентификаторов, чтобы учесть местные соглашения.
ПРИМЕЧАНИЯ
2 Идентификаторы, отличающиеся только использованием соответствующих заглавных и строчных букв, считаются одинаковыми.
Примеры
Примеры идентификаторов:
Count X Get_Symbol Ethelyn Marion
Snobol_4 X1 Page_Count Store_Next_Item
Πλάτων -- Платон
Чайковский -- Чайковский
θ φ -- Углы
Snobol_4 X1 Page_Count Store_Next_Item
Πλάτων -- Платон
Чайковский -- Чайковский
θ φ -- Углы
