Абриаль 2.0 http://www.artint.ru/packin/abrial А.И.Пацкин [mailto:aleksandr@tochka.ru]
README 2.0 ] Абриаль 2.0 ] Введение (1.6) ] Обзор (1.6) ] Публикации ] Глоссарий ] Оглавление ] Руководство ] Выше ] _ operations ] A ] [ B ] C ] D ] E ] F ] G ] H-I ] L ] M ] N ] O ] P ] R ] S ] T-X ]

B


BEF  Строковое сравнение: меньше (перед).


Формат:

<#BEF source pattern [action {pattern action}* [default-action]]>

Аргументы/Атрибуты:

source - исходное выражение 
pattern - образцы для сравнения 
action - действие в случае успешного сравнения значений исходного выражения с образцом
default-action - действие в случае неуспешного сравнения с образцами

Описание:

Последовательно производит строковое сравнение "меньше" значения первого аргумента source со значением четных аргументов pattern. Если найден аргумент pattern, удовлетворяющий условию сравнения, выполняется единственное действие action. В случае неуспеха операции сравнения, выполняется действие default-action

Возвращает либо результат выполненного действия, если оно указано, либо непустое значение (символ "пробел"), если указаны всего два аргумента и результат сравнения - истина, либо пусто.

Признаки:

простой, ленивый.  

Использование:  

 

Примечание:

 

Пример:

<#BEF (s0) (s1) ((s0) " < "(s1)) (s2) ((s0) " < "(s2))>


BREAK  Отделение разделителя внутри циклического тега.


Формат:

<#BREAK

Аргументы/Атрибуты:

отсутствуют. 

Описание:

Внутри цикла, на последнем шаге, игнорируются все последующие содержимое.

Ничего не возвращает.

Признаки:

составной, энергичный.  

Использование:  

 

Примечание:

 

Пример:

<#WHILE (i) > .. <#IF ()  (BREAK)> <#/>


 

Все права защищены. © 2000-2003 РосНИИ ИИ
http://www.artint.ru
Copyright. © 2000-2003 by RRIAI
Александр Иосифович Пацкин [mailto:aleksandr@tochka.ru].
07 марта, 2004

К началу документа.