RULE max_one_entity_prefix FOR (enum_reference_prefix_armx); WHERE no_label_1: SIZEOF(QUERY(x <* Enum_reference_prefix_armx | TRUE)) <= 1; END_RULE; -- max_one_entity_prefix |
public class RMax_one_entity_prefix public int rNo_label_1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |