ГОСТ Р ИСО 10303-203-2003
wrl: (SIZEOF (QUERY <с
<*
change | (NOT uniquc_version_change_ordcr(c.
assigncd_action)) )) ■=0);
END RULE: - - uniquc_vcrek>n_change_ordcr_rulc
RULE vcrsioned_aclion_request_rcguires_solution FOR (
versioncd_aclion_requcst. action_rcquest_solution);
WHERE
wrl: (S1ZE0F(QUERY ( ar <* vcrsioncd_action_request | (NOT (SIZEOF (
QUERY ( are <* action_request_solutk>n | (ar : " : are. request)
)) > - 1)) )) =0);
END_RULE: - - vcreioned_action_rcqucst_rcquircs_solution
RULE vensioncd_action_rcquest_requires_status FOR (
versioned_action_requcst. action_requcst_status) ;
WHERE
wrl: (SIZEOF(QUERY ( ar
<*
vcreioned_action_rcqucsl | (NOT (SIZEOF (
QUERY ( are <* action_rcquest_status | (ar : = : are.
assigncd_requcst) )) = 1)) )) = 0);
END_RULE: - - versioned_aciion_rcquest_requires_status
FUNCTION acyclic_curvc_rcplica (rep: curvc_rcplica;
parent: curve): BOOLEAN:
IF NOT (‘CONFIG CONTROL_DESIGN.CURVE_REPLICA’ IN TYFEOF (parent)) THEN
RETURN (TRUE);
E N D JF;
IF p a re n tre p THEN RET URN (FALSE):
ELSE
RETURN (acvclic_curvc_replica (rep. parent\eiine_rcpliea.parent_curvc)) ;
ENDJF;
END_FUNCT10N: - - ac>elic_curvc_rcplica
FUNCTION acyclic_mapped_repiesentation(parerU_set: SET OF representation;
chiklren_sct: SET OF rcpresentationjtem): BOOLEAN;
LOCAL
i: INTEGER;
x : SET OF representationjtcm;
у : SET OF representation item:
END_LOCAL;
x QUERY (
z
<* children set | (‘CONFlG_CONTROL_DESIGN.MAPPED_ITEM‘
IN TYPEOF (z)));
IF SlZEOF(x) > 0THEN
REPEAT i :=■ 1TO HIINDEX(x) BY 1:
IF x[i|\mappcdJtem.mapping_source.mappcd_rcprcscntation IN
parcnt scl THEN RETURN(FALSE):
E N D JF ;
IF NOT acyclic_mappcd_rcprcscntation(parent_sct * x(i|\m;ippcd_itcm
.mapping souree.mappcd rcprcscntation, x |i]\mapped itcm.
mapping_sourcc.mapped rcprcscntation.items) THEN
RETURN(FALSE) ;
END_IF;
END_REPEAT :
END_IF;
x := childrcn_sct - x;
IF SIZEOF(x) > OTHEN
REPEAT i :—I TO HIINDEX(x) BY 1;
у := QUERY ( z <* bagJo_set(USEDIN(xli|.* ’)) | (
*CONFIG_CONTROL_DESIGN.REPRESENTATION_ITEM‘ IN TYPEOF(z)));
IF NOT асуcl ic_mapped_rcprese nlat ion( parentset, y) THEN
RETURN(FALSE);
END_IF;
178