|
RULE event_occurrence_requires_event_occurrence_assignment FOR (event_occurrence, event_occurrence_assignment, relative_event_occurrence); WHERE wr1: SIZEOF ( QUERY ( eo <* event_occurrence | ( SIZEOF ( USEDIN ( eo , 'AUTOMOTIVE_DESIGN.'+'RELATIVE_EVENT_OCCURRENCE.'+ 'BASE_EVENT' ) ) =0 ) AND ( SIZEOF ( USEDIN ( eo , 'AUTOMOTIVE_DESIGN.'+'EVENT_OCCURRENCE_ASSIGNMENT.'+ 'ASSIGNED_EVENT_OCCURRENCE' ) ) =0 ) ) ) =0; END_RULE; -- event_occurrence_requires_event_occurrence_assignment |
|
public class REvent_occurrence_requires_event_occurrence_assignment public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |