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