ГОСТ Р ИСО/ТО 10303-12-2000
CALL context_2;
IMPORT(ml %>4:
П :« ®р5:
WlTH(cl|pl, рЗ|;
c2 := |p2, p3];);
END_CALL;
END_REALI2ATION;
END_T£ST_CASE;
C
- - используем данные из CONTEXT contcxl_2
- - множество значений параметра
regmarricd(ml, fl);- - создаем экземпляр married
Одним из возможных фрагментов результирующих данных этого контрольного примера является:
")
MODEL casc_4;
SCHEMA_DATA people:
nl“ namej’Alpha’}:
n2w namcj’Beta’
n3=•name(’Gamma’};
p!e person)named-> $’nl;
children-> ( );}
p2« pcrsonjnamed-> ®’n2;
children -> ( );)
p3= pcrsonjnamed-> ФпЗ;
children -> ( );]
m1111 = pcrsonjnamed -> ’Adam’;
children -> (4?pl. @p3);
SLPOF(@2););
m l|2| « malcjSLBOF(@ll);};
П(11 = pcrsonjnamed-> ‘Eve’;
children -> (ФрЗ. ФрЗ);
SUPOF<&2);};
fl|2| - fcmalejSUB0F(61);};
reg — married {husband
wife
-> ®ml;
-> <8fl;};
END_SCHEMA_DATA:
END_MODEL;
<*
70