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