|
RULE max_one_entity_prefix FOR (Enum_reference_prefix); WHERE no_label_1: SIZEOF(QUERY(x <* Enum_reference_prefix | 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) |