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 getActionSendAction() { if (actionSendAction == null) { actionSendAction = ActionNewSendAction.getButtonInstance(); } return actionSendAction; }