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 getActionCallAction() { if (actionCallAction == null) { actionCallAction = ActionNewCallAction.getButtonInstance(); } return actionCallAction; }