Overview Schemas Index

AUTOMOTIVE_DESIGN (jsdai.SAutomotive_design)

RULE full_model_change_completeness_for_action_property FOR (action_property);

WHERE
          wr1: SIZEOF ( QUERY  ( ap <* action_property | ( ap. name =
     'full model change' ) AND ( SIZEOF ( QUERY ( apr <* USEDIN
     ( ap ,
     'AUTOMOTIVE_DESIGN.'+'ACTION_PROPERTY_REPRESENTATION.'+
     'PROPERTY' ) | apr. name = 'original representation' ) ) =0
     ) ) ) =0;
          wr2: SIZEOF ( QUERY  ( ap <* action_property | ( ap. name =
     'full model change' ) AND ( SIZEOF ( QUERY ( apr <* USEDIN
     ( ap ,
     'AUTOMOTIVE_DESIGN.'+'ACTION_PROPERTY_REPRESENTATION.'+
     'PROPERTY' ) | apr. name = 'replacement representation' ) )
     =0 ) ) ) =0;
          wr3: SIZEOF ( QUERY  ( ap <* action_property | SIZEOF  ( QUERY  (
     apr1 <* USEDIN  ( ap ,
     'AUTOMOTIVE_DESIGN.'+'ACTION_PROPERTY_REPRESENTATION.'+
     'PROPERTY' ) | ( apr1. name = 'added elements' ) AND  (
     SIZEOF  ( QUERY  ( apr2 <* USEDIN ( ap ,
     'AUTOMOTIVE_DESIGN.'+'ACTION_PROPERTY_REPRESENTATION.'+
     'PROPERTY' ) | ( apr2. name = 'replacement representation'
     ) AND ( SIZEOF  ( QUERY  ( i1 <* apr1. representation.items |
     SIZEOF  ( QUERY ( i2 <* apr2. representation.items | i1:=:i2
     ) ) >0 ) ) <> SIZEOF ( apr1. representation.items ) ) ) )
     >0 ) ) ) >0 ) ) =0;
          wr4: SIZEOF ( QUERY  ( ap <* action_property | SIZEOF  ( QUERY  (
     apr1 <* USEDIN  ( ap ,
     'AUTOMOTIVE_DESIGN.'+'ACTION_PROPERTY_REPRESENTATION.'+
     'PROPERTY' ) | ( apr1. name = 'deleted elements' ) AND  (
     SIZEOF  ( QUERY  ( apr2 <* USEDIN ( ap ,
     'AUTOMOTIVE_DESIGN.'+'ACTION_PROPERTY_REPRESENTATION.'+
     'PROPERTY' ) | ( apr2. name = 'original representation' )
     AND ( SIZEOF  ( QUERY  ( i1 <* apr1. representation.items |
     SIZEOF  ( QUERY ( i2 <* apr2. representation.items | i1:=:i2
     ) ) >0 ) ) <> SIZEOF ( apr1. representation.items ) ) ) )
     >0 ) ) ) >0 ) ) =0;
END_RULE; -- full_model_change_completeness_for_action_property
public class RFull_model_change_completeness_for_action_property
          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)