checks if all given transitions have at least one action . returns false for empty lists . concode_field_sep PlaceHolder placeHolder concode_field_sep boolean hasEntryAction concode_elem_sep boolean containsOnlyEventsOfType concode_elem_sep boolean oneIncomingTransitionEntersCompositeWithEntryActions concode_elem_sep boolean hasExitAction concode_elem_sep boolean hasAtLeastOneAction concode_elem_sep boolean oneOutgoingTransitionLeavesCompositeWithExitActions concode_elem_sep Set<State> getParentStates concode_elem_sep EList<Expression> getFirstExitActions concode_elem_sep List<Expression> extractAllLocalActionsForEventType concode_elem_sep void deleteAllEventsOfType concode_elem_sep List<List<Expression>> getAllActions concode_elem_sep EList<Expression> getFirstEntryActions concode_elem_sep boolean containsAtLeastOneEventOfType
boolean function ( EList < Transition > arg0 ) { if ( arg0 . isEmpty ( ) ) return false ; for ( Transition loc0 : arg0 ) { if ( ! hasAtLeastOneAction ( loc0 ) ) { return false ; } } return true ; }