|
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) |