Project

General

Profile

Forms » History » Version 1

m.bakhterev, 08/13/2013 11:08 AM

1 1 m.bakhterev
h1. Детали механизма вывода форм
2 1 m.bakhterev
3 1 m.bakhterev
h2. Сигнатуры
4 1 m.bakhterev
5 1 m.bakhterev
Сигнатура формы - это описание типов её входов (параметров). Описание даётся в виде списка, каждый элемент которого трактуется, как описание типа для одного входа. На каждой позиции может стоять просто элемент, или же список из элементов. Элементами в сигнатуре могут быть числа (у нас это натуральные от 0 до @UINT_MAX >> 1@), атомы (которые представлены своими номерами) и типы (которые тоже представлены номерами).
6 1 m.bakhterev
7 1 m.bakhterev
h2. Выходы формы
8 1 m.bakhterev
9 1 m.bakhterev
Выходы формы публикуются в текущем контексте вывода узлом @FOut@. Атрибут которого должен быть списком из пар (двухэлементных списков), каждый из которых имеет вид @(key; value)@. Где @(key)@ (потенциально) должен совпадать с ключом в сигнатуре некоторой другой формы.