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