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

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

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

Синтаксис

строковый_литерал ::= "{строковый_элемент}"

строковый_элемент ::= "" | не_кавычка_графический_символ

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

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

Последовательность символов строкового_литерала формируется из последовательности строковых_элементов между скобками-кавычками в заданном порядке, при этом строковый_элемент, равный "", становится одиночной кавычкой в последовательности символов, а любой другой строковый_элемент воспроизводится в последовательности.

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

ПРИМЕЧАНИЯ

6 Символ конца строки не может появляться в строковом_литерале.

7 Никакой трансформации не выполняется над последовательностью символов строкового_литерала.

Примеры

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

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

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

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