|
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) |