protected Object[] getTriggerActions() {
   Object[] actions = {
     getActionCallEvent(), getActionChangeEvent(), getActionSignalEvent(), getActionTimeEvent(),
   };
   ToolBarUtility.manageDefault(actions, "diagram.state.trigger");
   return actions;
 }
Example #2
0
 private Object[] getTriggerActions() {
   Object[] actions = {
     new ButtonActionNewCallEvent(),
     new ButtonActionNewChangeEvent(),
     new ButtonActionNewSignalEvent(),
     new ButtonActionNewTimeEvent(),
   };
   ToolBarUtility.manageDefault(actions, "transition.state.trigger");
   return actions;
 }
 protected Object[] getEffectActions() {
   Object[] actions = {
     getActionCallAction(),
     getActionCreateAction(),
     getActionDestroyAction(),
     getActionReturnAction(),
     getActionSendAction(),
     getActionTerminateAction(),
     getActionUninterpretedAction(),
     getActionActionSequence(),
   };
   ToolBarUtility.manageDefault(actions, "diagram.state.effect");
   return actions;
 }
Example #4
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;
 }