RULE restrict_version_assignment_for_general_property FOR (general_property); WHERE wr1: SIZEOF ( QUERY ( ent <* general_property | NOT at_most_one_version_id (ent) ))=0; END_RULE; -- restrict_version_assignment_for_general_property |
public class RRestrict_version_assignment_for_general_property public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |