|
RULE physical_unit_network_definition_constraint FOR (physical_unit_network_definition_armx); WHERE wr1: SIZEOF ( QUERY ( fund <* Physical_unit_network_definition_armx | ('ASSEMBLY_MODULE_DESIGN_XIM.' + 'ASSEMBLY_MODULE_DESIGN_VIEW_ARMX' IN TYPEOF (fund)) OR (SIZEOF(USEDIN(fund,'Physical_unit_shape_with_parameters_xim.' + 'PHYSICAL_UNIT_SHAPE_MODEL.SHAPE_CHARACTERIZED_DEFINITION')) = 0) )) = SIZEOF(Physical_unit_network_definition_armx); END_RULE; -- physical_unit_network_definition_constraint |
|
public class RPhysical_unit_network_definition_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |