Справочник по Ada 2012

2.6 Строковые литералы

string_literal формируется последовательностью графических символов (возможно, пустой) заключённых в двойные кавычки, используемые как скобки строки. Они используются для представления operator_symbol (см. 6.1), значений строкового типа (см. 4.2) и подмассивов (см. 4.3.3).

Синтаксис

string_literal ::= "{string_element}"

string_element ::= "" | не_кавычка_graphic_character

Элемент строки (string_element) — это пара кавычек ("") или один графический символ, отличный от кавычки.

Статическая семантика

Последовательность символов string_literal формируется из последовательности элементов строки (string_element) между скобками кавычек в заданном порядке. Элемент строки "" превращается в одну кавычку в последовательности символов, а любой другой элемент строки воспроизводится в последовательности.

Пустой строковый литерал — это string_literal без элементов строки между кавычками.

ПРИМЕЧАНИЯ

5 В string_literal не может содержаться символ конца строки.

6 Никаких преобразований с последовательностью символов string_literal не выполняется.

Примеры

Примеры строковых литералов:

"Сообщение дня:"

"" -- пустой строковый литерал
" " "A" """" -- три строковых литерала длиной 1

"Символы, такие как $, %, и } допускаются в строковых литералах"
"Архимед сказал ""Εύρηκα"""
"Объём цилиндра (πr²h) = "