EditWYSIWYGAttachPrintable
r1 - 13 Jul 2004 - 23:30:01 - OrloVYou are here: TWiki >  Refaldevel Web > CompilationPrinciples

Принципы компиляции Рефал-программ в императивные языки

Отображение данных

Рефал-выражение в императивном языке представляет из себя чёрный ящик, допускающий выполнение следующих действий:

  1. Создание пустого выражения.
  2. Создание выражения из содержимого скобочного терма в уже имеющемся выражении.
  3. Создание выражения, являющегося подвыражением уже имеющегося выражения.
  4. Создание выражения--символа из разного вида объектов, существующих в языке.
  5. Создание плоского выражения из массива объектов.
  6. Создание выражения--скобочного терма из уже имеющегося выражения.
  7. Создание выражения из нескольких уже имеющихся путём их конкатенации.
  8. Присваивание выражений.
  9. Проверка, является ли терм по данному адресу символом.
  10. Проверка, является ли терм по данному адресу объектом данного типа.
  11. Вычисление длины выражения.
  12. Выдача печатного представления выражения.
  13. Сравнение выражений на равенство.
  14. Сравнение выражений на больше/меньше.
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < r1 | More topic actions...
 
R+

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback