ГОСТ Р ИСО 10303-21-2002
LONGA.A is DEQ to LONG В.А
LONGB.A is DEQ to LONGB.A
LONGA. В is DEQ to LONGB.B
LONGB. B is DEQ to LONGA.В
При использовании области эквивалентности для определения правильности ссылок реализация должна
учитывать, что тип объекта LONGA.B начнется областью эквивалентности значений для LONGB.B. что
допускает ссылки из #4 на »2 и из #5 на »3.
F.2 Определение совокупности схемы
Объект file_population в заголовочной секции связывает EXPRESS-схсму и набор (коллекцию) экземпля
ров объектов с конкретной структурой обмена. Атрибут dcteimination_mcthod определяет алгоритм выбора
коллекции экземпляров объектов, заданных в наборе секции данных. В настоящем подразделе описаны три
метода ихопределения. Можно использовать другие методы, нс определенные в настоящем стандарте.
При определении схематического соответствия структуры обмена коллекция экземпляров объектов,
заданная в соответствующих depopulation, должна быть проверена на соответствие EXPRESS-cxcxte. Если на
какую-либо секцию данных нет ссылки из какого-либо объекта depopulation, эта секция должна быть
проверена на соответствие определенной в ней схемы по методу ограничения секции, описанному ниже.
При проверке соответствия схемы устаноаченным требования и ограничениям ссылки на экземпляры
объектов, сделанные вне коллекции данных экземпляров, должны восприниматься как ошибочные.
П р и мсч а н ие —Последующая процедура описывает метод проверки структурыобмена в соответствии
с 8.2.4 и вышеизложенным параграфом.
Для каждого объекта depopulation, имеющею в структуре обмена значение "F":
- находят набор экземпляров посредством использования метода, заданного объектом F.dctcrmina-
tion_method. для секций данных, поименованных вобъекте F.govcmedsections. Если объект F.g<»cmed_sections
яатяется пустым (неопределенным), то данный метод используют для всех секций данных вструктуре обмена;
- проверяют данный набор на соответствие правилам и ограничениям, заданным в объекте F.gov-
erning_schcraa;
- отмечают секции данных, являющиеся исходными данными для объекта F.detcrminationmethod
Дтя каждой немаркированной секции данных "D" проверяют набор экземпляров в этой секции на
соответствие правилам и ограничениям, заданным в схеме.
F.2.1 Метод ограничения секции
При использовании метода ограничения секции атрибут F.dctcrmination_mcthod должен иметь значение
"SEC7ION_BOUNDARY". Набор (коллекция) экземпляров объектов, заданный в качестве исходных данных
лля одной или нескольких секций, должен содержать:
- все экземпляры из заданной секции данных.
Примеры
1 Рассмотрим схемы иструктуруобмена, описанные впримере изF.1.1.Заголовочная секция нс содержит
каких-либо экземпляров обьекта depopulation. При определении схематического соответствия структуры
обмена должно быть учтено следующее:
- насекциюданных ONЕнессылаются из какого-либо обьекта depopulation, поэтомуследует проверить
вес экземпляры объектов этой секции на соответствие задающей ее схеме. Все экземпляры в секции данных
ONE должны удовлетворять требованиям и ограничениям схемы BASE. В данном примере
совокупность
удовлетворяет веем ограничениям схемы BASE;
- на сскиию данных TWO нс ссылаются из какого-либо объекта depopulation, поэтому следует
проверить все экземпляры объектов этой секции на соответствие задающей ее схеме. Все экземпляры в
секции данных ONE должны удовлетворять требованиям и ограничениям схемы EXTENSION. Внастоящем
примере секция данных нс содержит каких-либо экземпляров обьекта А, поэтому она удовлетворяет
правилу a_range_posithe. Атрибут addressed item экземпляров 44 и #5 ссылается на экземпляры вне данной
совокупности, поэтому эти ссылки следует рассматривать как ошибочные. Атрибут addresscd_item нс
является факультативным (необязательным), поэтомуданная совокупность не удовлетворяет ограничениям
схемы EXTENSION.
2 Рассмотрим схемы и структуру обмена, описанные в примере из F.I.I. но с заголовочной секцией,
приведенные ниже:
HEADER;
F1LE_SCHEMA (( BASE*. EXTENSION’));
FILE_POPULATION ( BASE’, SECTION_BOUNDARY\ ( ONE ));
FILE_POPULATION (’EXTENSION’, ’SECTION_BOUNDARY‘, (’ONE’, TWO’)):
ENDSEC;