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