RULE edge_round_requires_faces FOR (edge_round, property_definition_representation); WHERE wr1: (0 = SIZEOF (QUERY (er <* edge_round | NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation | ((pdr\property_definition_representation.definition\property_definition.definition = er) AND ('AIC_MACHINING_FEATURE.FACE_SHAPE_REPRESENTATION' IN TYPEOF (pdr.used_representation)) AND (pdr.used_representation.name = 'edge round face')) ))) ))); wr2: (SIZEOF (QUERY (er <* edge_round | NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation | ((pdr\property_definition_representation.definition\property_definition.definition = er) AND ('AIC_MACHINING_FEATURE.FACE_SHAPE_REPRESENTATION' IN TYPEOF (pdr.used_representation)) AND (pdr.used_representation.name = 'first face shape')) ))) ))=0); wr3: (SIZEOF (QUERY (er <* edge_round | NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation | ((pdr\property_definition_representation.definition\property_definition.definition = er) AND ('AIC_MACHINING_FEATURE.FACE_SHAPE_REPRESENTATION' IN TYPEOF (pdr.used_representation)) AND (pdr.used_representation.name = 'second face shape')) ))) ))=0); END_RULE; -- edge_round_requires_faces |
public class REdge_round_requires_faces public int rWr3(SdaiContext _context) public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |