|
RULE selected_instance_usage_requires_representation FOR (assembly_component_usage); LOCAL selected_instance_usages: SET OF assembly_component_usage := QUERY( acr <* assembly_component_usage| (acr.name = 'selected instance usage')); END_LOCAL; WHERE wr1: SIZEOF ( QUERY ( acr <* selected_instance_usages | NOT valid_selected_instance_representation(acr) ))=0; END_RULE; -- selected_instance_usage_requires_representation |
|
public class RSelected_instance_usage_requires_representation public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |