Project

General

Profile

Forms » History » Version 1

Version 1/2 - Next » - Current version
m.bakhterev, 08/13/2013 11:08 AM


Детали механизма вывода форм

Сигнатуры

Сигнатура формы - это описание типов её входов (параметров). Описание даётся в виде списка, каждый элемент которого трактуется, как описание типа для одного входа. На каждой позиции может стоять просто элемент, или же список из элементов. Элементами в сигнатуре могут быть числа (у нас это натуральные от 0 до UINT_MAX >> 1), атомы (которые представлены своими номерами) и типы (которые тоже представлены номерами).

Выходы формы

Выходы формы публикуются в текущем контексте вывода узлом FOut. Атрибут которого должен быть списком из пар (двухэлементных списков), каждый из которых имеет вид (key; value). Где (key) (потенциально) должен совпадать с ключом в сигнатуре некоторой другой формы.