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 getActionCreateAction() { if (actionCreateAction == null) { actionCreateAction = ActionNewCreateAction.getButtonInstance(); } return actionCreateAction; }