|
RULE consistent_uncertainty FOR (global_uncertainty_assigned_context, qualified_representation_item, uncertainty_assigned_representation); WHERE wr1: SIZEOF ( QUERY ( guac <* global_uncertainty_assigned_context | SIZEOF ( QUERY ( u1 <* guac.uncertainty | SIZEOF ( QUERY ( u2 <* guac.uncertainty | u2.name =u1.name ) ) >1 ) ) >0 ) ) =0; wr2: SIZEOF ( QUERY ( uar <* uncertainty_assigned_representation | SIZEOF ( QUERY ( u1 <* uar. uncertainty | SIZEOF ( QUERY ( u2 <* uar. uncertainty | u2. name =u1. name ) ) >0 ) ) >0 ) ) =0; wr3: SIZEOF ( QUERY ( qri <* qualified_representation_item | SIZEOF ( QUERY ( u1 <* qri. qualifiers | ( 'AUTOMOTIVE_DESIGN.'+ 'UNCERTAINTY_QUALIFIER' IN TYPEOF ( u1 ) ) AND ( SIZEOF ( QUERY ( u2 <* qri. qualifiers | ( 'AUTOMOTIVE_DESIGN.'+ 'UNCERTAINTY_QUALIFIER' IN TYPEOF ( u2 ) ) AND ( u2\ uncertainty_qualifier.measure_name =u1\ uncertainty_qualifier.measure_name ) ) ) >0 ) ) ) >0 ) ) =0; END_RULE; -- consistent_uncertainty |
|
public class RConsistent_uncertainty public int rWr3(SdaiContext _context) public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |