ГОСТ Р ИСО/ТО 10303-12-2000
Синтаксис:
56i ContextBlock = CONTEXT ContextldContextBody END,CONTEXT.
58i Contextld = simple_id .
57i ContextBody = i SchemaReferenceSpec ) | FormalParameterBlock |
| SchemaInstance Block | SupportAlgorithm } .
36i ContextRef = Contextld .
EXPRESS-1-объявление CONTEXT создает новую область действия, в которой могут быть
объявлены следующие элементы:
-ссылки на EXPRESS-схемы (см. 10.2):
- формальные параметры;
- экземпляры данных схемы;
- EXPRESS-функции;
- EXPRESS-процедуры.
Пример 35 - Например bugatti может быть именем CONTEXT, который содержит па
раметризованные (то есть обобщенные) данные, представляющие автомобиль типа Bugatti.
Внутри этого CONTEXT может быть несколько экземпляров данных схемы: один, например, для
чертежей автомобиля, и другой, содержащий данные по обслуживанию автомобиля этого типа.
Правила и ограничения
a)Каждый экземпляр данных схемы внутри CONTEXT должен быть экземпляром из раз
ных схем.
b
)Каждый идентификатор внутри CONTEXT должен быть уникальным.
Пример 36 - Набросок CONTEXT
CONTEXT parametrized_model;
PARAMETER
END_PARAMETER;
SCHEMA_DATA a_schema;
END_SCHEMA DATA;
SCHEMA_DATA another schema;
END_SCHEMA_DATA;
END_CONTEXT;
9.2 Параметры
Контекст может иметь формальные параметры. Каждый формальный параметр имеет имя и
область значений. Имя является идентификатором, который должен быть уникальным внутри
области действия контекста.
Контрольный пример может иметь фактические параметры, которые задают конкретные
значения соответствующим формальным параметрам внутри контекста.
Для обобщения типов данных, используемых для передачи значений в контекстах, имеются
области значений AGGREGATE и GENERIC. Также могут использоваться соответствующие мас
сивы для обобщения областей значений массивов.
9.2.1 Фо р ма л ь н ый параметр
Формальный параметр может иметь значение по умолчанию, которое должно быть совмес
тимо с областью значений. Формальные параметры, не имеющие значений по умолчанию, изна
чально обнуляются (имеют значение) Nil.
20