|
RULE external_version_assignments_are_valid FOR (applied_external_identification_assignment); WHERE wr1: SIZEOF(QUERY(aia <* applied_external_identification_assignment | NOT external_version_assignment_is_valid(aia)))=0; END_RULE; -- external_version_assignments_are_valid |
|
public class RExternal_version_assignments_are_valid public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |