RULE restrict_classification_assignments FOR (applied_classification_assignment); WHERE wr1: SIZEOF(QUERY(aia <* applied_classification_assignment | NOT class_assignment_is_valid(aia)))=0; END_RULE; -- restrict_classification_assignments |
public class RRestrict_classification_assignments public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |