Example #1
0
 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;
 }