Overview Schemas Index

AUTOMOTIVE_DESIGN (jsdai.SAutomotive_design)

RULE full_model_change_completeness_for_property_definition FOR (property_definition);

WHERE
          wr1: SIZEOF ( QUERY  ( pd <* property_definition | ( pd. name =
     'full model change' ) AND ( SIZEOF ( QUERY ( pdr <* USEDIN
     ( pd ,
     'AUTOMOTIVE_DESIGN.PROPERTY_DEFINITION_REPRESENTATION.DEFINITION'
     ) | pdr. name = 'original representation' ) ) =0 ) ) ) =0;
          wr2: SIZEOF ( QUERY  ( pd <* property_definition | ( pd. name =
     'full model change' ) AND ( SIZEOF ( QUERY ( pdr <* USEDIN
     ( pd ,
     'AUTOMOTIVE_DESIGN.PROPERTY_DEFINITION_REPRESENTATION.DEFINITION'
     ) | pdr. name = 'replacement representation' ) ) =0 ) ) )
     =0;
          wr3: SIZEOF ( QUERY  ( pd <* property_definition | ( SIZEOF  (
     QUERY  ( pdr <* USEDIN  ( pd ,
     'AUTOMOTIVE_DESIGN.'+'PROPERTY_DEFINITION_REPRESENTATION.'+
     'DEFINITION' ) | ( pdr. name = 'added elements' ) AND  (
     SIZEOF  ( QUERY  ( i <* pdr. used_representation.items |
     SIZEOF ( QUERY ( pdr1 <* USEDIN ( pd ,
     'AUTOMOTIVE_DESIGN.'+'PROPERTY_DEFINITION_REPRESENTATION.'+
     'DEFINITION' ) | ( pdr1. name =
     'replacement representation' ) AND ( NOT ( i IN pdr1.
     used_representation.items ) ) ) ) >0 ) ) >0 ) ) ) >0 ) ) )
     =0;
          wr4: SIZEOF ( QUERY  ( pd <* property_definition | ( SIZEOF  (
     QUERY  ( pdr <* USEDIN  ( pd ,
     'AUTOMOTIVE_DESIGN.'+'PROPERTY_DEFINITION_REPRESENTATION.'+
     'DEFINITION' ) | ( pdr. name = 'deleted elements' ) AND  (
     SIZEOF  ( QUERY  ( i <* pdr. used_representation.items |
     SIZEOF ( QUERY ( pdr1 <* USEDIN ( pd ,
     'AUTOMOTIVE_DESIGN.'+'PROPERTY_DEFINITION_REPRESENTATION.'+
     'DEFINITION' ) | ( pdr1. name = 'original representation' )
     AND ( NOT ( i IN pdr1. used_representation.items ) ) ) ) >0
     ) ) >0 ) ) ) >0 ) ) ) =0;
END_RULE; -- full_model_change_completeness_for_property_definition
public class RFull_model_change_completeness_for_property_definition
          public int rWr4(SdaiContext _context)
          public int rWr3(SdaiContext _context)
          public int rWr2(SdaiContext _context)
          public int rWr1(SdaiContext _context)
          public int run(SdaiContext _context, A_string violations)