ГОСТ Р И С 0 10303-11 — 2009
- пусть AGG обозначает один из типов данных BAG. LIST или SET. тогда выражение AGG [b : t]
является конкретизацией выражения AGG [ I: uj при условии, что b £ t и I 5 b 5 и и I £ t £ и;
- пусть BSR обозначает один из типов данных BINARY. STRING или REAL, тогда BSR(length)
является конкретизацией BSR;
-BSR(short) является конкретизацией BSR(long) при условии, что short меньше чем long;
- тип данных BINARY, в котором используется ключевое слово FIXED, является конкретизацией типа
данных BINARY переменной длины;
- тип данных STRING, в котором используется ключевое слово FIXED, является конкретизацией
типа данных STRING переменной длины;
- конструкционный тип данных, основанный на расширяемом конструкционном типеданных, является
конкретизацией данного расширяемого конструкционного типа данных;
- определенный типданных является конкретизацией базисного типаданных, использованного для
объявления данного определенного типаданных.
9.3 Схема
Объявление схемы (SCHEMA) определяет общую область водимости для совокупности относящихся
к нему объявлений объектных и других типов данных. Схема может подвергаться изменениям в рамках
среды разработки или стандартизации. Для поддержки возможности идентификации конкретной версии
схемы определяется идентификатор версии схемы. В настоящем стандарте не определяется формат
иден тификатора версии схемы, за исключением того, что он должен быть строковым литералом. Ни в
одной конструкции, определенной в настоящем стандарте, нет ссылок на идентификатор версии схемы.
Кроме того, в настоящем стандарте не определен способ управления изменениями в схемах с
использованием идентификаторов версии схемы. Если две схемы с одинаковым именем имеют разные
идентификаторы версии схемы, то они не должны рассматриваться как одна и та же схема.
П р и м е ч а н и е — Для схем, установленных встандартах комплекса ИСО 10303. определено использова
ние идентификатора информационного объекта, включающего в себя идентификатор версии. Смысл идентифи
катора объекта установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1. Данный идентификатор объекта рекомен
дуется использовать в качестве идентификатора версии схемы.
Примеры
1 Идентификатор geometry может быть именем схемы, содержащей объявления точек, кривых,
поверхностей и других, связанных с ними, типов данных.
2 Может существовать множество версий схем, идентификаторы которых могут включать
также идентификатор версии языка. В данном примере в схеме support_resource_schema использу
ется идентификатор информационного объекта, соответствующий определению ИСО/МЭК 8842-1 и
описанию в ИСО 10303-1.
SCHEMA geometry_schema ’version_1*;
END_SCHEMA;
SCHEMA geometry_schema ’version_2’;
END_SCHEMA
SCHEMA support_resource_schema ’{ISO standard 10303 part(41) object(1)
version(8)}’;
END_SCHEMA;
SCHEMA support_resource_schema ’{ISO standard 10303 part(41) object(1)
version(9)}’;
ENDSCHEMA;
Порядок, в котором объявления появляются в объявлении схемы, значения не имеет.
Объявления, сделанные в одной схеме, могут быть сделаны видимыми в области видимостидругой
схемы посредством спецификации интерфейса всоответствии с разделом 11.
Синтаксис;
296 schema_decl =
SCHEMA schema_id [ schema_version_id ] ’ schema _body
END_SCHEM A’;\
298 schema_version_id = stringJiteral.
295 schema_body = { interface_specification} [constant_decl ]
{declaration | rule_ded}.
242 interface_specification = reference_clause |use_clause.
199 declaration = entity_dec! | function_decl | procedure_decl |
subtype_constraint_docl |type_decl.
46