Exemplo n.º 1
0
 private Map<StateExport, JRadioButton> computeExportButtonMap() {
   Map<StateExport, JRadioButton> result =
       new EnumMap<StateExport, JRadioButton>(StateExport.class);
   ButtonGroup group = new ButtonGroup();
   for (StateExport mode : StateExport.values()) {
     String text = null;
     switch (mode) {
       case TOP:
         text = "Top-level states";
         break;
       case ALL:
         text = "All states";
         if (getGTS().hasTransientStates()) {
           text += " (including recipe stages)";
         }
         break;
       case FINAL:
         text = "Final states";
         break;
       case NONE:
         text = "None";
         break;
       case RESULT:
         text = "Result states";
         break;
       default:
         assert false;
     }
     JRadioButton button = new JRadioButton(text, mode == StateExport.NONE);
     result.put(mode, button);
     group.add(button);
   }
   return result;
 }
Exemplo n.º 2
0
 /** Returns the current selection for exporting the individual states * */
 public StateExport getExportStates() {
   for (StateExport result : StateExport.values()) {
     if (getExportButton(result).isSelected()) {
       return result;
     }
   }
   return StateExport.NONE;
 }