ГОСТ Р ИСО 10303-11-2000 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

     16 Встроенные процедуры

В языке EXPRESS имеется две встроенные процедуры, каждая из которых используется для управления списками. В данном разделе приведено описание этих процедур.

Для того чтобы показать типы данных формальных параметров, задан заголовок каждой из процедур.

16.1 Insert

PROCEDURE INSERT ( VAR L:LIST OF GENERIC:GEN; E:GENERIC:GEN; P:INTEGER );

Процедура INSERT вставляет элемент в заданную позицию в списке.

Параметры

a) L - это значение списка, в который должен быть вставлен элемент.

b) Е - это экземпляр, вставляемый в L. Е должен быть совместим с основным типом L, что указывается в заголовке процедуры с помощью меток типа.

c) Р - целое число, задающее позицию в L, на которую должен быть вставлен элемент Е.

Результат. L изменяется за счет вставки Е в L на указанную позицию. Элемент вставляется сразу за существующим элементом в позиции Р так, что при Р = 0 элемент Е становится первым элементом.

Условия. 0РSIZEOF(L).

16.2 Remove

PROCEDURE REMOVE ( VAR L:LIST OF GENERIC; P:INTEGER );

Процедура REMOVE удаляет элемент из заданной позиции в списке.

Параметры

a) L - это список, из которого должен быть удален элемент.

b) Р - целое число, задающее позицию удаляемого элемента в L.

Результат. Список L изменяется за счет удаления элемента, находившегося в позиции Р.

Условия. 1РSIZEOF(L).