Абриаль 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 ]

G


GE  Числовое сравнение: больше или равно


Формат:

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

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

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

Описание:

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

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

Признаки:

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

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

 

Примечание:

Пример:

<#GE (x0) (x1) ((x0) ">=" (x2)) (x2) ((x0) ">=" (x2))>


GLOB  Установка значений глобальным переменным.


Формат:

<#GLOB {global-var-name=value}*> 

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

global-var-name - имя глобальной переменной
value - значение 

Описание:

Присваивает глобальным переменным global-var-name вычисленного значения аргумента value. Аргумент value может быть выражением или константой. 

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

Признаки:

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

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

 

Примечание:

 

Пример:

<#GLOB EMPTYFLAG="Y" USER=(Uname)> 


GT  Числовое сравнение: больше.


Формат:

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

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

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

Описание:

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

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

Признаки:

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

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

 

Примечание:

Пример:

<#GT (x0) (x1) ((x0) " > "(x1)) (x2) ((x0) " > "(x2))>

 

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

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