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;
}