protected Object[] getEffectActions() { Object[] actions = { ActionNewCallAction.getButtonInstance(), ActionNewCreateAction.getButtonInstance(), ActionNewDestroyAction.getButtonInstance(), ActionNewReturnAction.getButtonInstance(), ActionNewSendAction.getButtonInstance(), ActionNewTerminateAction.getButtonInstance(), ActionNewUninterpretedAction.getButtonInstance(), ActionNewActionSequence.getButtonInstance(), }; ToolBarUtility.manageDefault(actions, "transition.state.effect"); return actions; }
protected Action getActionActionSequence() { if (actionActionSequence == null) { actionActionSequence = ActionNewActionSequence.getButtonInstance(); } return actionActionSequence; }