@artel/ru-artel-compiler 0.6.25208

package//320/230/321/201/321/205/320/276/320/264/320/275/320/270/320/272/320/270//320/224/320/265/320/273/320/270/321/202/320/265/320/273/321/214./320/260/321/200/321/202

@@ -0,0 +1,995 @@
+
+тип Нотация = вариант
+{
+  артель = 0
+  опись = 1
+}
+
+тип НастройкиДелителя = объект
+{
+  нотация: Нотация?
+  пропускать-незначимое: ДаНет?
+  позиция-начала: Целое?
+  длина: Целое?
+}
+
+тип Лексема = простой объект
+{
+  конст вид: ВидЛексемы
+  конст текст: Текст
+  конст позиция-начала: Целое
+  конст незавершённая: ДаНет
+
+  создание(вид`: ВидЛексемы, текст`: Текст, позиция-начала`: Целое, незавершённая`: ДаНет)
+  {
+    вид = вид`
+    текст = текст`
+    позиция-начала = позиция-начала`
+    незавершённая = незавершённая`
+  }
+}
+
+тип Делитель = объект
+{
+  конст текст: Текст
+  чтение лексема: Лексема { лексема`` }
+  скрыто
+  запись лексема { лексема`` = значение }
+
+  скрыто нотация: Нотация
+  скрыто пропускать-пробелы: ДаНет
+  скрыто позиция-конца: Целое
+  скрыто текущая-позиция: Целое
+  скрыто баланс-фигурных-скобок: Целое
+  скрыто стек-баланса-фигурных-скобок: Список<Целое>
+  скрыто конст уникальные-тексты-лексем: Словарь<Текст, Текст>
+
+  создание(текст`: Текст, настройки: НастройкиДелителя? = пусто)
+  {
+    текст = текст`
+    нотация = настройки?.нотация ?? Нотация.артель
+    пропускать-пробелы = настройки?.пропускать-незначимое ?? нет
+    текущая-позиция = настройки?.позиция-начала ?? 0
+    конст длина = настройки?.длина
+    позиция-конца = текущая-позиция + длина! когда длина != пусто : текст.длина
+
+    баланс-фигурных-скобок = 0
+    стек-баланса-фигурных-скобок = Список<Целое>()
+    уникальные-тексты-лексем = Словарь<Текст, Текст>()
+
+    лексема = следующая-лексема()
+  }
+
+  функция предпросмотр(анализатор: функция(): ДаНет): ДаНет
+  {
+    результат = пробный-анализ-или-предпросмотр(анализатор, безусловно-восстановить-состояние = да)
+  }
+
+  функция пробный-анализ(анализатор: функция(): ДаНет): ДаНет
+  {
+    результат = пробный-анализ-или-предпросмотр(анализатор, безусловно-восстановить-состояние = нет)
+  }
+
+  функция следующая-лексема(): Лексема
+  {
+    если пропускать-пробелы
+    {
+      пока текущая-позиция < позиция-конца и
+        это-пробел-или-табуляция(текст.символ-по-позиции(текущая-позиция))
+      {
+        текущая-позиция += 1
+      }
+    }
+    конст позиция-начала = текущая-позиция
+    пусть вид-лексемы: ВидЛексемы
+    пусть текст-лексемы: Текст
+    пусть незавершённая: ДаНет = нет
+    если текущая-позиция >= позиция-конца
+    {
+      вид-лексемы = ВидЛексемы.конец-текста
+      текст-лексемы = Текст.пустой
+    }
+    иначе
+    {
+      конст символ: Символ = текст.символ-по-позиции(текущая-позиция)
+      выбор символ
+      либо "\/"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.перенос-строки
+      }
+      либо "\<"
+      {
+        текущая-позиция += 1
+        если текущая-позиция < позиция-конца и текст[текущая-позиция] == "\/"
+        {
+          текущая-позиция += 1
+        }
+        вид-лексемы = ВидЛексемы.перенос-строки
+      }
+      либо " ", "\>"
+      {
+        прочитать-пробелы-и-табуляции()
+        вид-лексемы = ВидЛексемы.незначащий-пробел
+      }
+      либо "\""
+      {
+        пусть р = прочитать-символ-или-текст-или-часть-шаблона-текста()
+        вид-лексемы = р.вид-лексемы
+        незавершённая = р.незавершённая
+      }
+      либо "!"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-восклицание-равно
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-восклицание
+        }
+      }
+      либо "&"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "&"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойной-амперсанд
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-амперсанд-равно
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-амперсанд
+        }
+      }
+      либо "("
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-левая-круглая-скобка
+      }
+      либо ")"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-правая-круглая-скобка
+      }
+      либо "*"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-звёздочка-равно
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "*"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойная-звёздочка
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-звёздочка
+        }
+      }
+      либо "+"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "+"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойной-плюс
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-плюс-равно
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-плюс
+        }
+      }
+      либо "-"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "-"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойной-минус
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-минус-равно
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == ">"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-минус-правый-угол
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-минус
+        }
+      }
+      либо ","
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-запятая
+      }
+      либо "."
+      {
+        если это-цифра(текст.символ-по-позиции(текущая-позиция + 1))
+        {
+          пусть р = прочитать-число()
+          вид-лексемы = р.вид-лексемы
+          незавершённая = р.незавершённая
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-точка
+        }
+      }
+      либо "`"
+      {
+        если нотация == Нотация.опись
+        {
+          текущая-позиция += 1
+          прочитать-однострочный-комментарий()
+          вид-лексемы = ВидЛексемы.комментарий-однострочный
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-обратная-кавычка
+        }
+      }
+      либо "/"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-косая-черта-равно
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "/"
+        {
+          текущая-позиция += 2
+          прочитать-однострочный-комментарий()
+          вид-лексемы = ВидЛексемы.комментарий-однострочный
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "*"
+        {
+          текущая-позиция += 2
+          пока текущая-позиция < позиция-конца
+          {
+            конст символ = текст.символ-по-позиции(текущая-позиция)
+            если символ == "*" и текст.символ-по-позиции(текущая-позиция + 1) == "/"
+            {
+              текущая-позиция += 2
+              прервать цикл
+            }
+            текущая-позиция += 1
+          }
+          вид-лексемы = ВидЛексемы.комментарий-многострочный
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-косая-черта
+        }
+      }
+      либо "%"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "%"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойной-процент
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-процент
+        }
+      }
+      либо "0", "1", "2", "3", "4", "5", "6", "7", "8", "9"
+      {
+        пусть р = прочитать-число()
+        вид-лексемы = р.вид-лексемы
+        незавершённая = р.незавершённая
+      }
+      либо ":"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-двоеточие
+      }
+      либо ";"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-точка-с-запятой
+      }
+      либо "<"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-левый-угол-равно
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "-"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-левый-угол-минус
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-левый-угол
+        }
+      }
+      либо "="
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойное-равно
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == ">"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-равно-правый-угол
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-равно
+        }
+      }
+      либо ">"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-правый-угол-равно
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-правый-угол
+        }
+      }
+      либо "?"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "?"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойной-вопрос
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-вопрос
+        }
+      }
+      либо "|"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "|"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойная-вертикальная-черта
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-вертикальная-черта
+        }
+      }
+      либо "\{"
+      {
+        баланс-фигурных-скобок += 1
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-левая-фигурная-скобка
+      }
+      либо "\}"
+      {
+        если фигурная-скобка-оканчивает-шаблон-текста()
+        {
+          пусть р = прочитать-символ-или-текст-или-часть-шаблона-текста()
+          вид-лексемы = р.вид-лексемы
+          незавершённая = р.незавершённая
+        }
+        иначе
+        {
+          баланс-фигурных-скобок -= 1
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-правая-фигурная-скобка
+        }
+      }
+      либо "["
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-левая-квадратная-скобка
+      }
+      либо "]"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-правая-квадратная-скобка
+      }
+      либо "~"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "~"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойная-тильда
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "\""
+        {
+          текущая-позиция += 1
+          пусть р = прочитать-символ-или-текст-или-часть-шаблона-текста(локализуемый = да)
+          вид-лексемы = р.вид-лексемы
+          незавершённая = р.незавершённая
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "'"
+        {
+          пусть р = прочитать-имя-в-кавычках()
+          вид-лексемы = ВидЛексемы.имя-в-кавычках
+          незавершённая = не(р)
+        }
+        иначе если это-начало-имени(текст.символ-по-позиции(текущая-позиция + 1))
+        {
+          прочитать-имя()
+          вид-лексемы = ВидЛексемы.имя
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-тильда
+        }
+      }
+      либо "@"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-коммерческое-эт
+      }
+      либо "#"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-решётка
+      }
+      либо "^"
+      {
+        текущая-позиция += 1
+        вид-лексемы = ВидЛексемы.знак-вставка
+      }
+      либо "\\"
+      {
+        если текст.символ-по-позиции(текущая-позиция + 1) == "\\"
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-двойная-обратная-косая-черта
+        }
+        иначе если текст.символ-по-позиции(текущая-позиция + 1) == "="
+        {
+          текущая-позиция += 2
+          вид-лексемы = ВидЛексемы.знак-обратная-косая-черта-равно
+        }
+        иначе
+        {
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.знак-обратная-косая-черта
+        }
+      }
+      либо "'"
+      {
+        пусть р = прочитать-имя-в-кавычках()
+        вид-лексемы = ВидЛексемы.имя-в-кавычках
+        незавершённая = не(р)
+      }
+      либо *
+      {
+        если это-начало-имени(текст.символ-по-позиции(текущая-позиция))
+        {
+          прочитать-имя()
+          вид-лексемы = ВидЛексемы.имя
+        }
+        иначе
+        {
+          // Синтаксическая ошибка
+          текущая-позиция += 1
+          вид-лексемы = ВидЛексемы.неизвестная-лексема
+        }
+      }
+      текст-лексемы = текст.скопировать(позиция-начала, текущая-позиция - позиция-начала)
+      пусть существующий = уникальные-тексты-лексем.получить(текст-лексемы)
+      если существующий == пусто
+      {
+        уникальные-тексты-лексем.добавить(текст-лексемы, текст-лексемы)
+      }
+      иначе
+      {
+        текст-лексемы = существующий!
+      }
+    }
+    лексема = Лексема(вид-лексемы, текст-лексемы, позиция-начала, незавершённая)
+    результат = лексема
+  }
+
+  скрытая функция пробный-анализ-или-предпросмотр(анализатор: функция(): ДаНет,
+    безусловно-восстановить-состояние: ДаНет): ДаНет
+  {
+    конст сохран-лексема = лексема
+    конст сохран-текущая-позиция = текущая-позиция
+    конст сохран-баланс-фигурных-скобок = баланс-фигурных-скобок
+    пусть сохран-стек-баланса-фигурных-скобок: Список<Целое>? = пусто
+    если стек-баланса-фигурных-скобок.количество > 0
+    {
+      сохран-стек-баланса-фигурных-скобок = Список<Целое>(стек-баланса-фигурных-скобок)
+    }
+
+    результат = анализатор()
+
+    если безусловно-восстановить-состояние или результат == нет
+    {
+      лексема = сохран-лексема
+      текущая-позиция = сохран-текущая-позиция
+      баланс-фигурных-скобок = сохран-баланс-фигурных-скобок
+      если сохран-стек-баланса-фигурных-скобок != пусто
+      {
+        стек-баланса-фигурных-скобок = сохран-стек-баланса-фигурных-скобок!
+      }
+      иначе
+      {
+        стек-баланса-фигурных-скобок.очистить()
+      }
+    }
+  }
+
+  скрытая функция фигурная-скобка-оканчивает-шаблон-текста(): ДаНет {
+    результат = стек-баланса-фигурных-скобок.количество > 0 и баланс-фигурных-скобок == 1
+  }
+
+  скрытая функция прочитать-символ-или-текст-или-часть-шаблона-текста(локализуемый: ДаНет = нет):
+    объект { вид-лексемы: ВидЛексемы; незавершённая: ДаНет }
+  {
+    конст кавычка = текст.символ-по-позиции(текущая-позиция)
+    текущая-позиция += 1
+    конст начало = текущая-позиция
+    пусть конец = текущая-позиция
+    пусть вид-лексемы: ВидЛексемы
+    пусть незавершённая: ДаНет = нет
+    пока да
+    {
+      конст текущий-символ = текст.символ-по-позиции(текущая-позиция)
+      если текущий-символ == "\""
+      {
+        конец = текущая-позиция
+        текущая-позиция += 1
+        если кавычка == "\""
+        {
+          вид-лексемы =
+            ВидЛексемы.буквально-текст-локализуемый когда локализуемый :
+            ВидЛексемы.буквально-текст
+        }
+        иначе
+        {
+          вид-лексемы = ВидЛексемы.буквально-окончание-шаблона-текста
+        }
+        прервать цикл
+      }
+      иначе если текущий-символ == "\{"
+      {
+        конец = текущая-позиция
+        текущая-позиция += 1
+        если кавычка == "\""
+        {
+          вид-лексемы =
+            ВидЛексемы.буквально-начало-шаблона-текста-локализуемого когда локализуемый :
+            ВидЛексемы.буквально-начало-шаблона-текста
+        }
+        иначе
+        {
+          вид-лексемы = ВидЛексемы.буквально-часть-шаблона-текста
+        }
+        прервать цикл
+      }
+      иначе если текущий-символ == "\\"
+      {
+        текущая-позиция += 1
+      }
+      если текущая-позиция >= позиция-конца
+      {
+        конец = текущая-позиция
+        вид-лексемы = ВидЛексемы.буквально-текст когда кавычка == "\"" :
+          ВидЛексемы.буквально-окончание-шаблона-текста
+        если кавычка == "\""
+        {
+          вид-лексемы =
+            ВидЛексемы.буквально-текст-локализуемый когда локализуемый :
+            ВидЛексемы.буквально-текст
+        }
+        иначе
+        {
+          вид-лексемы = ВидЛексемы.буквально-окончание-шаблона-текста
+        }
+        // Ошибка: незавершённая текст или шаблон текста
+        незавершённая = да
+        прервать цикл
+      }
+      текущая-позиция += 1
+    }
+    выбор вид-лексемы
+    либо ВидЛексемы.буквально-начало-шаблона-текста, ВидЛексемы.буквально-начало-шаблона-текста-локализуемого
+    {
+      стек-баланса-фигурных-скобок.добавить(баланс-фигурных-скобок)
+      баланс-фигурных-скобок = 1
+    }
+    либо ВидЛексемы.буквально-часть-шаблона-текста
+    {
+      баланс-фигурных-скобок = 1
+    }
+    либо ВидЛексемы.буквально-окончание-шаблона-текста
+    {
+      баланс-фигурных-скобок = стек-баланса-фигурных-скобок.извлечь-последний()
+    }
+    либо ВидЛексемы.буквально-текст
+    {
+      если состоит-из-одного-символа(начало, конец)
+      {
+        вид-лексемы = ВидЛексемы.буквально-символ
+      }
+    }
+    результат = автотип(вид-лексемы = вид-лексемы, незавершённая = незавершённая)
+  }
+
+  скрытая функция состоит-из-одного-символа(начало: Целое, конец: Целое): ДаНет
+  {
+    результат = нет
+    конст длина = конец - начало
+    если длина == 1
+    {
+      результат = текст[начало + 0] != "\\"
+    }
+    иначе если длина == 2
+    {
+      конст с0 = текст[начало + 0]
+      конст с1 = текст[начало + 1]
+      результат = с0 == "\\" и с1 != "u" и с1 != "ю"
+    }
+    иначе если длина == 6
+    {
+      конст с0 = текст[начало + 0]
+      конст с1 = текст[начало + 1]
+      результат = с0 == "\\" и (с1 == "u" или с1 == "ю")
+      если результат
+      {
+        конст является-16р-цифрой: функция(символ: Символ): ДаНет =
+          это-16ичная-цифра-латиницы когда с1 == "u" :
+          это-16ичная-цифра-кириллицы // когда с1 == "ю"
+        пусть н = начало + 2
+        пока н < конец
+        {
+          если не(является-16р-цифрой(текст[н]))
+          {
+            результат = нет
+            прервать цикл
+          }
+          н += 1
+        }
+      }
+    }
+  }
+
+  скрытая функция прочитать-пробелы-и-табуляции()
+  {
+    пусть символ: Символ
+    цикл
+    {
+      текущая-позиция += 1
+      символ = текст.символ-по-позиции(текущая-позиция)
+    }
+    повтор пока символ == " " или символ == "\>"
+  }
+
+  скрытая функция прочитать-число():
+    объект { вид-лексемы: ВидЛексемы; незавершённая: ДаНет }
+  {
+    пусть вид-лексемы = ВидЛексемы.буквально-целое
+    пусть незавершённая: ДаНет = нет
+    конст первая-цифра-0 = текст.символ-по-позиции(текущая-позиция) == "0"
+    конст следующий-символ = текст.символ-по-позиции(текущая-позиция + 1)
+    если первая-цифра-0 и следующий-символ == "x"
+    {
+      текущая-позиция += 2
+      прочитать-16р-цифры-латиницы()
+    }
+    иначе если первая-цифра-0 и следующий-символ == "ш"
+    {
+      текущая-позиция += 2
+      прочитать-16р-цифры-кириллицы()
+    }
+    иначе если первая-цифра-0 и (следующий-символ == "b" или следующий-символ == "д")
+    {
+      текущая-позиция += 2
+      прочитать-2р-цифры()
+    }
+    иначе
+    {
+      прочитать-цифры()
+      если текст.символ-по-позиции(текущая-позиция) == "."
+      {
+        текущая-позиция += 1
+        прочитать-цифры()
+        вид-лексемы = ВидЛексемы.буквально-число
+      }
+      если текст.символ-по-позиции(текущая-позиция) == "e" или
+        текст.символ-по-позиции(текущая-позиция) == "E"
+      {
+        текущая-позиция += 1
+        если текст.символ-по-позиции(текущая-позиция) == "+" или
+          текст.символ-по-позиции(текущая-позиция) == "-"
+        {
+          текущая-позиция += 1
+        }
+        если не(прочитать-цифры())
+        {
+          // Ошибка: ожидается цифра
+          незавершённая = да
+        }
+        вид-лексемы = ВидЛексемы.буквально-число
+      }
+      если прочитать-единицы-числоед()
+      {
+        вид-лексемы = ВидЛексемы.буквально-числоед
+      }
+    }
+    результат = автотип(вид-лексемы = вид-лексемы, незавершённая = незавершённая)
+  }
+
+  скрытая функция прочитать-цифры(): ДаНет
+  {
+    результат = это-цифра(текст.символ-по-позиции(текущая-позиция))
+    если результат
+    {
+      цикл
+      {
+        текущая-позиция += 1
+      }
+      повтор пока текущая-позиция < позиция-конца и
+        это-цифра-или-разделитель-цифр(текст.символ-по-позиции(текущая-позиция))
+    }
+  }
+
+  скрытая функция прочитать-16р-цифры-латиницы(): ДаНет
+  {
+    результат = это-16ичная-цифра-латиницы(текст.символ-по-позиции(текущая-позиция))
+    если результат
+    {
+      цикл
+      {
+        текущая-позиция += 1
+      }
+      повтор пока текущая-позиция < позиция-конца и
+        это-16ичная-цифра-латиницы(текст.символ-по-позиции(текущая-позиция))
+    }
+  }
+
+  скрытая функция прочитать-16р-цифры-кириллицы(): ДаНет
+  {
+    результат = это-16ичная-цифра-кириллицы(текст.символ-по-позиции(текущая-позиция))
+    если результат
+    {
+      цикл
+      {
+        текущая-позиция += 1
+      }
+      повтор пока текущая-позиция < позиция-конца и
+        это-16ичная-цифра-кириллицы(текст.символ-по-позиции(текущая-позиция))
+    }
+  }
+
+  скрытая функция прочитать-2р-цифры(): ДаНет
+  {
+    результат = это-2ичная-цифра(текст.символ-по-позиции(текущая-позиция))
+    если результат
+    {
+      цикл
+      {
+        текущая-позиция += 1
+      }
+      повтор пока текущая-позиция < позиция-конца и
+        это-2ичная-цифра(текст.символ-по-позиции(текущая-позиция))
+    }
+  }
+
+  скрытая функция прочитать-единицы-числоед(): ДаНет
+  {
+    результат = это-единицы-числоед(текст.символ-по-позиции(текущая-позиция))
+    если результат
+    {
+      цикл
+      {
+        текущая-позиция += 1
+      }
+      повтор пока текущая-позиция < позиция-конца и
+        это-единицы-числоед(текст.символ-по-позиции(текущая-позиция))
+    }
+  }
+
+  скрытая функция прочитать-однострочный-комментарий()
+  {
+    пока текущая-позиция < позиция-конца и
+      не(это-разделитель-строк(текст.символ-по-позиции(текущая-позиция)))
+    {
+      текущая-позиция += 1
+    }
+  }
+
+  скрытая функция прочитать-имя()
+  {
+    если текст.символ-по-позиции(текущая-позиция) == "~"
+    {
+      текущая-позиция += 1
+    }
+
+    пусть позиция-минуса = текущая-позиция
+    пока текущая-позиция < позиция-конца и
+      это-часть-имени(текст.символ-по-позиции(текущая-позиция))
+    {
+      если (текст.символ-по-позиции(текущая-позиция) == "-")
+      {
+        позиция-минуса = текущая-позиция
+        пока текущая-позиция < позиция-конца и
+          текст.символ-по-позиции(текущая-позиция) == "-"
+        {
+          текущая-позиция += 1
+        }
+        если не(это-часть-имени(текст.символ-по-позиции(текущая-позиция)))
+        {
+          текущая-позиция = позиция-минуса
+          прервать цикл
+        }
+      }
+      текущая-позиция += 1
+    }
+
+    пока текущая-позиция < позиция-конца и текст.символ-по-позиции(текущая-позиция) == "`"
+    {
+      текущая-позиция += 1
+    }
+  }
+
+  скрытая функция прочитать-имя-в-кавычках(): ДаНет
+  {
+    если текст.символ-по-позиции(текущая-позиция) == "~"
+    {
+      текущая-позиция += 1
+    }
+
+    текущая-позиция += 1
+    пока текущая-позиция < позиция-конца
+    {
+      конст текущий-символ = текст.символ-по-позиции(текущая-позиция)
+      выбор текущий-символ
+      либо "'"
+      {
+        текущая-позиция += 1
+        прервать цикл
+      }
+      либо "\\"
+      {
+        текущая-позиция += 1
+      }
+      либо "\<", "\/"
+      {
+        // Ошибка: отсутствует парная кавычка
+        вернуть нет
+      }
+      текущая-позиция += 1
+    }
+
+    пока текущая-позиция < позиция-конца и текст.символ-по-позиции(текущая-позиция) == "`"
+    {
+      текущая-позиция += 1
+    }
+    вернуть да
+  }
+
+  всеобщая функция это-пробел-или-табуляция(символ: Символ): ДаНет
+  {
+    результат = символ == " " или символ == "\>"
+  }
+
+  всеобщая функция это-разделитель-строк(символ: Символ): ДаНет
+  {
+    результат = символ == "\/" или символ == "\<"
+  }
+
+  всеобщая функция это-буква(символ: Символ): ДаНет
+  {
+    результат = символ >= "A" и символ <= "Z" или
+      символ >= "a" и символ <= "z" или
+      символ >= "А" и символ <= "Я" или
+      символ >= "а" и символ <= "я" или
+      символ == "Ё" или
+      символ == "ё"
+  }
+
+  всеобщая функция это-цифра(символ: Символ): ДаНет
+  {
+    результат = символ >= "0" и символ <= "9"
+  }
+
+  всеобщая функция это-16ичная-цифра-латиницы(символ: Символ): ДаНет
+  {
+    результат = символ >= "0" и символ <= "9" или
+      символ >= "A" и символ <= "F" или
+      символ >= "a" и символ <= "f"
+  }
+
+  всеобщая функция это-16ичная-цифра-кириллицы(символ: Символ): ДаНет
+  {
+    результат = символ >= "0" и символ <= "9" или
+      символ >= "А" и символ <= "Е" или
+      символ >= "а" и символ <= "е"
+  }
+
+  всеобщая функция это-2ичная-цифра(символ: Символ): ДаНет
+  {
+    результат = символ == "0" или символ == "1"
+  }
+
+  всеобщая функция это-цифра-или-разделитель-цифр(символ: Символ): ДаНет
+  {
+    результат = это-цифра(символ) или символ == "_"
+  }
+
+  всеобщая функция это-начало-имени(символ: Символ): ДаНет
+  {
+    результат = это-буква(символ) или символ == "_"
+  }
+
+  всеобщая функция это-часть-имени(символ: Символ): ДаНет
+  {
+    результат = это-начало-имени(символ) или это-цифра(символ) или символ == "-"
+  }
+
+  всеобщая функция это-единицы-числоед(символ: Символ): ДаНет
+  {
+    результат = это-буква(символ)
+  }
+
+  всеобщая функция это-простое-имя(текст-без-кавычек: Текст): ДаНет
+  {
+    пусть индекс = 0
+    конст длина = текст-без-кавычек.длина
+    если индекс >= длина или это-начало-имени(текст.символ-по-позиции(индекс))
+    {
+      вернуть нет
+    }
+    индекс += 1
+    пока индекс < длина
+    {
+      если не (это-часть-имени(текст.символ-по-позиции(индекс)))
+      {
+        вернуть нет
+      }
+      индекс += 1
+    }
+    если индекс == длина и текст.символ-по-позиции(индекс) == "-"
+    {
+      вернуть нет
+    }
+    вернуть да
+  }
+}
+
+тип ПозицияТекста = простой объект
+{
+  строка: Целое
+  столбец: Целое
+}