ГОСТ Р ИСО/ТО 10303-12-2000
Одним из возможных фрагментов результирующих данных этого контрольного примера является:
*)
MODEL casc_l;
SCИЕМА_ DAT A people:
ni
-
name {’Alpha’};
п2name {’Beta’};
пЗ
-
name {’Gamma’};
р!
га
pc rson{named
->
OnI;
children
-> <W
р2
33
person! named
->
®n2:
children
-> <);>
рз
аг
person!named
->
@n3;
children
-> ();)
ЕND_SCНЕМА DAT А:
END_MODEL;
(ж
Для последующего использования определяется следующий контекст, основанный на контрольном
примере:
*)
CONTEXT context.!;
SCHЕМА_DATA people;
pl| 11 = person! named-> ‘Alpha’;
children -> ( );
SUPOR );}:
p2| 11 » pcrxon{named-> ‘Beta’;
children -> ( );
SUPOF( ););
p3|l| » pcrson{named-> Gamma’;
children -> ( );
SUPOR );}:
END.SCHEMA DATA;
END_CONTEXT:
C
E.2 Контрольный пример 2
Данный контрольный пример создает подтипы male и female объекта person
•>
TEST_C’ASE tcst_casc_2:
WITH people USING(male. female);
OBJECTIVE To test the creation of subtypes. ENDJPURPOSE;
CRITERIA One instance of childless MALE and one of a childless
FEMAIL shall be created. END CRITERIA:
END_OBJECTlVE:
REALIZATION
LOCAL- - определяем переменные требуемых типов
ml : male;
Пfemale;
END_LOCAL;
ml := person!’Adam’, I 1) || male! );- - создаем экземпляр male
П:=» person!"Eve’, | |) || female! );- - создаем экземпляр female
END.REALIZATION;
END_TEST_CASE;
(*
Одним из возможных фрагментов результирующих данных этого контрольного примера является:
67