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