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