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