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 getActionActionSequence() {
if (actionActionSequence == null) {
actionActionSequence = ActionNewActionSequence.getButtonInstance();
}
return actionActionSequence;
}