checks if the effect definition of a transition contains at least one action . 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 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<EList<Expression>> getAllActions concode_elem_sep EList<Expression> getFirstEntryActions concode_elem_sep boolean containsAtLeastOneEventOfType concode_elem_sep boolean haveAllAtLeastOneAction
boolean function ( Transition arg0 ) { Effect loc0 = arg0 . getEffect ( ) ; if ( loc0 instanceof ReactionEffect ) { ReactionEffect loc1 = ( ReactionEffect ) loc0 ; EList < Expression > loc2 = loc1 . getActions ( ) ; return ! loc2 . isEmpty ( ) ; } return false ; }