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 getActionSendAction() {
   if (actionSendAction == null) {
     actionSendAction = ActionNewSendAction.getButtonInstance();
   }
   return actionSendAction;
 }