Ejemplo n.º 1
0
 public PreferenceData.LogPreference logging() {
   if (acceptGroup.isSelected(loggingOkButton.getModel()))
     return PreferenceData.LogPreference.Normal;
   else if (acceptGroup.isSelected(noCodeLoggingButton.getModel()))
     return PreferenceData.LogPreference.NoCode;
   else return PreferenceData.LogPreference.NoLog;
 }
Ejemplo n.º 2
0
  private void setControlsEnabled(ButtonModel selection) {
    boolean newModuleEnabled = selection == myRbCreateNewModule.getModel();
    myTypesList.setEnabled(newModuleEnabled);
    myModuleDescriptionPane.setEnabled(newModuleEnabled);

    boolean importModuleEnabled = selection == myRbImportModule.getModel();
    myModulePathFieldPanel.setEnabled(importModuleEnabled);
  }
Ejemplo n.º 3
0
  public ToneMapper getSelectedToneMapper() {
    final ButtonModel model = toneMappingChoice.getSelection();
    final double maxLum = ((Number) maxLumValue.getValue()).doubleValue();
    if (model == wardTRButton.getModel()) {
      return new ImageUtil.WardTM(maxLum == 0 ? null : maxLum);
    } else if (model == reinhardTRButton.getModel()) {
      return new ImageUtil.ReinhardTM(
          ((Number) midpointValue.getValue()).doubleValue(), maxLum == 0 ? null : maxLum);
    }

    return ImageUtil.clampTM;
  }
Ejemplo n.º 4
0
 public void setPurpose(LensPurposeType purpose) {
   switch (purpose) {
     case DEFAULT:
       buttonGroup.setSelected(defaultButton.getModel(), true);
       break;
     case LABEL:
       buttonGroup.setSelected(labelbutton.getModel(), true);
       break;
     case NOT_SPECIFIED:
     default:
       buttonGroup.setSelected(undefinedButton.getModel(), true);
   }
 }
Ejemplo n.º 5
0
  /** kreiert das Menü oben */
  private JToolBar createMenu() {
    JToolBar toolbar = new JToolBar();
    toolbar.setOrientation(SwingConstants.HORIZONTAL);
    toolbar.setFloatable(false);
    toolbar.setMargin(new Insets(2, 35, 2, 0));
    toolbar.setBackground(new Color(219, 255, 179));

    zoomIn = FsmUtils.createButton(zoomInImg);
    zoomIn.setToolTipText("Vergr��ern");
    zoomIn.addMouseListener(new ZoomInHandler(this));

    zoomOut = FsmUtils.createButton(zoomOutImg);
    zoomOut.setToolTipText("Verkleinern");
    zoomOut.addMouseListener(new ZoomOutHandler(this));

    layout = FsmUtils.createButton(layoutImg);
    layout.setToolTipText("Automatisch layouten");
    layout.addMouseListener(new LayoutHandler(this));

    deterministic = new JRadioButton("deterministisch");
    deterministic.setToolTipText("Der endliche Automat wird deterministisch");
    deterministic.setBackground(new Color(219, 255, 179));
    deterministic.addMouseListener(new TypeOfFsmHandler(this, false));

    nondeterministic = new JRadioButton("nichtdeterministisch");
    nondeterministic.setToolTipText("Der endliche Automat wird nichtdeterministisch");
    nondeterministic.setBackground(new Color(219, 255, 179));
    nondeterministic.addMouseListener(new TypeOfFsmHandler(this, true));

    ButtonGroup group = new ButtonGroup();
    group.add(deterministic);
    group.add(nondeterministic);
    if (this.getFsmProgram().isNondeterministic()) {
      group.setSelected(nondeterministic.getModel(), true);
    } else {
      group.setSelected(deterministic.getModel(), true);
    }

    toolbar.add(zoomIn);
    toolbar.add(Box.createHorizontalStrut(2));
    toolbar.add(zoomOut);
    toolbar.add(Box.createHorizontalStrut(2));
    toolbar.add(Box.createHorizontalStrut(2));
    toolbar.add(layout);
    toolbar.addSeparator();
    toolbar.add(deterministic);
    toolbar.add(nondeterministic);

    return toolbar;
  }
Ejemplo n.º 6
0
 /**
  * Fonction appelée lorsque qu'une couleur est choisie. La couleur est modifiée et elle appelle le
  * gestionnaire de vue pour qu'il informe toutes les vues que le thème a changé et modifie leur
  * thème.
  *
  * @param e ChangeEvent permettant de récupérer la couleur choisie
  */
 @Override
 public void stateChanged(ChangeEvent e) {
   ColorSelectionModel selection = (ColorSelectionModel) e.getSource();
   if (options.isSelected(bordersColor.getModel())) {
     GridView.setBorderColor(selection.getSelectedColor());
   } else if (options.isSelected(selectedCaseColor.getModel())) {
     GridView.setSelectionColor(selection.getSelectedColor());
   } else if (options.isSelected(alreadyViewColor.getModel())) {
     GridView.setAlreadyViewColor(selection.getSelectedColor());
   } else {
     GridView.setBackgroundColor(selection.getSelectedColor());
   }
   ViewManager.updateTheme();
 }
Ejemplo n.º 7
0
  private void jButtonRequireSelectedStreamActionPerformed(
      java.awt.event.ActionEvent
          evt) { // GEN-FIRST:event_jButtonRequireSelectedStreamActionPerformed
    try {
      int index = jComboBoxRemoteServices.getSelectedIndex();
      if (index != -1) {

        final ServiceResponse service = availableServices.elementAt(index);

        final String stream = jComboBoxFileList.getSelectedItem().toString();
        System.out.println(
            "StreamClientJFrame.jButtonRequireSelectedFileActionPerformed stream " + stream);

        JRadioButton jrbStreamProtocol = null;
        for (Enumeration<?> e = buttonGroupStreamProtocol.getElements(); e.hasMoreElements(); ) {
          JRadioButton b = (JRadioButton) e.nextElement();
          if (b.getModel() == buttonGroupStreamProtocol.getSelection()) {
            jrbStreamProtocol = b;
          }
        }
        final String streamProtocol = jrbStreamProtocol.getText();

        JRadioButton jrbRampProtocol = null;
        for (Enumeration<?> e = buttonGroupRampProtocol.getElements(); e.hasMoreElements(); ) {
          JRadioButton b = (JRadioButton) e.nextElement();
          if (b.getModel() == buttonGroupRampProtocol.getSelection()) {
            jrbRampProtocol = b;
          }
        }
        final String rampProtocol = jrbRampProtocol.getText();

        // sc.getStream(service, stream, streamProtocol, rampProtocol);
        Thread t =
            new Thread(
                new Runnable() {
                  @Override
                  public void run() {
                    try {
                      sc.getStream(service, stream, streamProtocol, rampProtocol);
                    } catch (Exception ex) {
                      ex.printStackTrace();
                    }
                  }
                });
        t.start();
      }
    } catch (Exception e) {
      e.printStackTrace();
    }
  } // GEN-LAST:event_jButtonRequireSelectedStreamActionPerformed
  /** Creates new form CommunicationDialog */
  public CommunicationDialog(java.awt.Frame parent, boolean modal, SimulatorConfig sc) {
    super(parent, modal);

    simConfig = sc;
    initComponents();

    // Select current model
    for (Enumeration e = bGroup.getElements(); e.hasMoreElements(); ) {
      JRadioButton b = (JRadioButton) e.nextElement();
      if (b.getModel().getMnemonic() - 48 == simConfig.getCommModel().ordinal()) {
        b.setSelected(true);
      }
    }

    // Let window X being clicked be handled by windowClosing method
    setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);

    // center on screen
    Dimension dim = Toolkit.getDefaultToolkit().getScreenSize();
    int x = (dim.width - getSize().width) / 2;
    int y = (dim.height - getSize().height) / 2;
    setLocation(x, y);

    this.addWindowListener(windowListener);
    setVisible(true);
  }
Ejemplo n.º 9
0
 private void jRadioButton5StateChanged(
     javax.swing.event.ChangeEvent evt) { // GEN-FIRST:event_jRadioButton5StateChanged
   JRadioButton rb = (JRadioButton) evt.getSource();
   if (rb.getModel() == buttonGroup1.getSelection()) {
     this.isConsultaPorResponsavel = true;
     refreshButtons();
   }
 } // GEN-LAST:event_jRadioButton5StateChanged
Ejemplo n.º 10
0
 protected void setBrowsePanelVisable() {
   if (selectButtonGroup.getSelection() == fromRadioButton.getModel()) {
     dirLabel.setEnabled(true);
     dirTextField.setEnabled(true);
     browseButton.setEnabled(true);
   } else {
     dirLabel.setEnabled(false);
     dirTextField.setEnabled(false);
     browseButton.setEnabled(false);
   }
 }
Ejemplo n.º 11
0
  @Override
  public void fillModel() {
    TimeRangeStepModel model = TimeRangeStepModel.getInstance();
    // there is a own time range defined
    if (timeRangeGroup.getSelection() == miscTimeRange.getModel()) {
      model.setTimeRangeTyp(TimeRangeStepModel.MISC_TIME_RANGE);
      SimpleDateFormat df = new SimpleDateFormat("dd-mm-yyyy");
      final GregorianCalendar fromDate = new GregorianCalendar();
      final GregorianCalendar toDate = new GregorianCalendar();
      try {
        fromDate.setTime(df.parse(fromDateTxt.getText()));
        toDate.setTime(df.parse(toDateTxt.getText()));
      } catch (ParseException e) {
        // TODO Auto-generated catch block
        e.printStackTrace();
      }

      model.setFromDate(fromDate);
      model.setToDate(toDate);
    } else {
      if (timeRangeGroup.getSelection() == easterbreak.getModel()) {
        model.setTimeRangeTyp(TimeRangeStepModel.EASTERBREAK_TIME_RANGE);
      } else if (timeRangeGroup.getSelection() == winterbreakBtn.getModel()) {
        model.setTimeRangeTyp(TimeRangeStepModel.WINTERBREAK_TIME_RANGE);
      } else if (timeRangeGroup.getSelection() == summerbreakBtn.getModel()) {
        model.setTimeRangeTyp(TimeRangeStepModel.SUMMERBREAK_TIME_RANGE);
      } else if (timeRangeGroup.getSelection() == autumbreakBtn.getModel()) {
        model.setTimeRangeTyp(TimeRangeStepModel.AUTUMNBREAK_TIME_RANGE);
      }

      SwingUtilities.invokeLater(
          new Runnable() {

            @Override
            public void run() {
              EventCollector collector = EventCollector.getInstance();
              collector.setHolidayView();
            }
          });
    }
  }
Ejemplo n.º 12
0
 /**
  * @param parent
  * @param title
  * @param choices
  * @return the index into choices which was selected
  */
 public int showRadioChoiceDialog(Component parent, String title, String[] choices) {
   ButtonGroup group = new ButtonGroup();
   Box panel = Box.createVerticalBox();
   Map<ButtonModel, Integer> map = new HashMap<ButtonModel, Integer>();
   for (int i = 0; i < choices.length; ++i) {
     JRadioButton button = new JRadioButton(choices[i], i == 0);
     group.add(button);
     panel.add(button);
     map.put(button.getModel(), i);
   }
   JOptionPane.showMessageDialog(parent, panel, title, JOptionPane.PLAIN_MESSAGE);
   Integer selection = map.get(group.getSelection());
   if (selection == null) selection = -1;
   return selection;
 }
Ejemplo n.º 13
0
  /**
   * Returns the currently selected stack trace level. The radio buttons store their stack trace
   * level as a client property so once we get the selected button, we know the level. This way, we
   * don't have to edit this if new levels are created. Unfortunately, Swing doesn't have an easy
   * way to get the actual button from the group.
   *
   * @return the selected stack trace level
   */
  private ShowStacktrace getSelectedStackTraceLevel() {
    ButtonModel selectedButtonModel = stackTraceButtonGroup.getSelection();
    if (selectedButtonModel != null) {
      Enumeration<AbstractButton> buttonEnumeration = stackTraceButtonGroup.getElements();
      while (buttonEnumeration.hasMoreElements()) {
        JRadioButton radioButton = (JRadioButton) buttonEnumeration.nextElement();
        if (radioButton.getModel() == selectedButtonModel) {
          ShowStacktrace level =
              (ShowStacktrace) radioButton.getClientProperty(STACK_TRACE_LEVEL_CLIENT_PROPERTY);
          return level;
        }
      }
    }

    return ShowStacktrace.INTERNAL_EXCEPTIONS;
  }
 /**
  * Returns whether additional keywords are to be placed after the search string or before.
  *
  * @return <code>true</code> if additional keywords should be placed after the search string,
  *     <code>false</code> if they are placed before the search string
  */
 public boolean getAdditionalKeywordsAfterSearchString() {
   return bgAdditionalKeywordsPlacement.isSelected(rbAfterSearchString.getModel());
 }
Ejemplo n.º 15
0
 public LensPurposeType getPurpose() {
   if (buttonGroup.isSelected(labelbutton.getModel())) return LensPurposeType.LABEL;
   else if (buttonGroup.isSelected(defaultButton.getModel())) return LensPurposeType.DEFAULT;
   return LensPurposeType.NOT_SPECIFIED;
 }
Ejemplo n.º 16
0
  public Terrain() {
    geometrySelection = new JPanel(new GridLayout(3, 1));
    ButtonGroup terrainGeometrySelection = new ButtonGroup();
    JRadioButton button = new JRadioButton(GeometryType.FLAT.getName());
    geomNameToButton.put(GeometryType.FLAT.getName(), button);
    button
        .getModel()
        .addActionListener(
            new ActionListener() {
              public void actionPerformed(ActionEvent e) {
                setGeometryType(GeometryType.FLAT);
              }
            });
    terrainGeometrySelection.add(button);
    geometrySelection.add(button);
    geometryButtons.put(GeometryType.FLAT, button.getModel());

    button = new JRadioButton(GeometryType.NON_FLAT.getName());
    geomNameToButton.put(GeometryType.NON_FLAT.getName(), button);
    button
        .getModel()
        .addActionListener(
            new ActionListener() {
              public void actionPerformed(ActionEvent e) {
                setGeometryType(GeometryType.NON_FLAT);
              }
            });
    terrainGeometrySelection.add(button);
    geometrySelection.add(button);
    geometryButtons.put(GeometryType.NON_FLAT, button.getModel());

    button = new JRadioButton(GeometryType.CUSTOM.getName());
    geomNameToButton.put(GeometryType.CUSTOM.getName(), button);
    button
        .getModel()
        .addActionListener(
            new ActionListener() {
              public void actionPerformed(ActionEvent e) {
                setGeometryType(GeometryType.CUSTOM);
              }
            });
    terrainGeometrySelection.add(button);
    geometrySelection.add(button);
    geometryButtons.put(GeometryType.CUSTOM, button.getModel());

    ButtonGroup terrainTextureSelection = new ButtonGroup();

    List<JRadioButton> buttons = new LinkedList<JRadioButton>();
    for (String[] tex : defaultLandscapes) {
      final ImageData id = loadTexture(tex[1]);
      if (id == null) continue;
      imageMap.put(tex[0], id);
      button = new JRadioButton(tex[0]);
      texNameToButton.put(tex[0], button);
      button
          .getModel()
          .addActionListener(
              new ActionListener() {
                public void actionPerformed(ActionEvent e) {
                  setTexture(id);
                }
              });
      terrainTextureSelection.add(button);
      buttons.add(button);
    }

    int numRows = Math.round(.1f + (imageMap.size() + 2) * .5f);
    texureSelection = new JPanel(new GridLayout(numRows, 2));

    for (JRadioButton b : buttons) {
      texureSelection.add(b);
    }

    button = new JRadioButton("none");
    button
        .getModel()
        .addActionListener(
            new ActionListener() {
              public void actionPerformed(ActionEvent e) {
                setTexture(null);
              }
            });
    terrainTextureSelection.add(button);
    texureSelection.add(button);
    texNameToButton.put("none", button);

    button = new JRadioButton("custom");
    button
        .getModel()
        .addActionListener(
            new ActionListener() {
              public void actionPerformed(ActionEvent e) {
                setCustomTexture();
              }
            });
    terrainTextureSelection.add(button);
    texureSelection.add(button);
    texNameToButton.put("custom", button);
  }
Ejemplo n.º 17
0
 public boolean isExistFile() {
   return selectButtonGroup.getSelection() == fromRadioButton.getModel();
 }
Ejemplo n.º 18
0
 public boolean isNewFile() {
   return selectButtonGroup.getSelection() == newRadioButton.getModel();
 }
Ejemplo n.º 19
0
  /** Create the panel. */
  public MatchPanel(String matchName) {
    m_resultPanel = null;
    m_alliances = new Alliance[2];
    m_allianceText = new JLabel[2][3];
    m_matchName = matchName;
    m_redWin = true;
    m_twoGame = true;

    for (int i = 0; i < m_alliances.length; i++) {
      m_alliances[i] = new Alliance(-1);
    }

    setLayout(
        new MigLayout(
            "", "[35.00px][35.00px][35.00px][50.00px]", "[20.00][:20.00:20.00][:20.00:20.00]"));

    // Build Red alliance text
    for (int i = 0; i < 2; i++) {
      for (int j = 0; j < 3; j++) {
        JLabel label = new JLabel("9999");
        label.setHorizontalAlignment(SwingConstants.CENTER);
        label.setBackground(i == 0 ? Color.RED : Color.BLUE);
        label.setForeground(i == 0 ? Color.BLACK : Color.WHITE);
        label.setOpaque(true);
        m_allianceText[i][j] = label;
        add(label, "cell " + j + " " + 2 * i + ",grow");
      }
    }

    //		JLabel label = new JLabel("9999");
    //		label.setHorizontalAlignment(SwingConstants.CENTER);
    //		label.setBackground(Color.RED);
    //		label.setOpaque(true);
    //		add(label, "cell 0 0,grow");
    //
    //		JLabel label_1 = new JLabel("9999");
    //		label_1.setBackground(Color.RED);
    //		add(label_1, "cell 1 0,alignx center");
    //
    //		JLabel label_2 = new JLabel("9999");
    //		label_2.setBackground(Color.RED);
    //		add(label_2, "cell 2 0,alignx center");

    JLabel lblQf = new JLabel(m_matchName);
    add(lblQf, "cell 0 1");

    m_lengthGroup = new ButtonGroup();
    JRadioButton twoGame = new JRadioButton("2");
    twoGame.setActionCommand("twoGame");
    twoGame.addActionListener(this);
    m_lengthGroup.add(twoGame);
    twoGame.setSelected(true);
    m_twoGameModel = twoGame.getModel();
    add(twoGame, "cell 1 1");

    JRadioButton threeGame = new JRadioButton("3");
    threeGame.setActionCommand("threeGame");
    threeGame.addActionListener(this);
    m_lengthGroup.add(threeGame);
    m_threeGameModel = threeGame.getModel();
    add(threeGame, "cell 2 1");
    //
    //		JLabel label_3 = new JLabel("9999");
    //		add(label_3, "cell 0 2,alignx center");
    //
    //		JLabel label_4 = new JLabel("9999");
    //		add(label_4, "cell 1 2,alignx center");
    //
    //		JLabel label_5 = new JLabel("9999");
    //		add(label_5, "cell 2 2,alignx center");

    m_winGroup = new ButtonGroup();
    JRadioButton redWin = new JRadioButton("Win");
    redWin.setActionCommand("redWin");
    redWin.addActionListener(this);
    m_winGroup.add(redWin);
    redWin.setSelected(true);
    m_redWinModel = redWin.getModel();
    add(redWin, "cell 3 0");

    JRadioButton blueWin = new JRadioButton("Win");
    blueWin.setActionCommand("blueWin");
    blueWin.addActionListener(this);
    m_winGroup.add(blueWin);
    m_blueWinModel = blueWin.getModel();
    add(blueWin, "cell 3 2");

    redraw();
  }
Ejemplo n.º 20
0
  /**
   * This method is called from within the constructor to initialize the form. WARNING: Do NOT
   * modify this code. The content of this method is always regenerated by the Form Editor.
   */
  @SuppressWarnings("unchecked")
  private void initComponents() {

    jPanel1 = new JPanel();
    jPanel3 = new JPanel();
    jLabelForBrowseOPCItem = new JLabel();
    jLabelForFilterCondition = new JLabel();
    jTextFieldForFilterCondition = new JTextField();
    jScrollPaneForBrowseOPCItem = new JScrollPane();
    jTree1 = new JTree();
    jScrollPaneForOPCItems = new JScrollPane();
    opcItemsPanel = new JPanel();
    jPanel2 = new JPanel();
    jLabelForAccessPath = new JLabel();
    jTextFieldForAccessPath = new JTextField();
    jLabelForOPCItemName = new JLabel();
    jTextFieldForOPCItemName = new JTextField();
    confirmButton = new JButton();
    cancelButton = new JButton();
    jPanel4 = new JPanel();
    jRadioButtonForNativeType = new JRadioButton();
    jRadioButtonForBool = new JRadioButton();
    jRadioButtonForString = new JRadioButton();
    jRadioButtonForShort = new JRadioButton();
    jRadioButtonForLong = new JRadioButton();
    jRadioButtonForDouble = new JRadioButton();

    varStyleButtonGroup = new ButtonGroup();
    varStyleButtonGroup.add(jRadioButtonForNativeType);
    varStyleButtonGroup.add(jRadioButtonForBool);
    varStyleButtonGroup.add(jRadioButtonForString);
    varStyleButtonGroup.add(jRadioButtonForShort);
    varStyleButtonGroup.add(jRadioButtonForLong);
    varStyleButtonGroup.add(jRadioButtonForDouble);
    varStyleButtonGroup.setSelected(jRadioButtonForNativeType.getModel(), true);
    selectItemButtonGroup = new ButtonGroup();

    setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);

    jLabelForBrowseOPCItem.setText(resourceMap.getString("jLabelForBrowseOPCItem.text"));

    jLabelForFilterCondition.setText(resourceMap.getString("jLabelForFilterCondition.text"));

    jTextFieldForFilterCondition.setColumns(12);
    jTextFieldForFilterCondition.setText(
        resourceMap.getString("jTextFieldForFilterCondition.text"));

    GroupLayout jPanel3Layout = new GroupLayout(jPanel3);
    jPanel3.setLayout(jPanel3Layout);
    jPanel3Layout.setHorizontalGroup(
        jPanel3Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel3Layout
                    .createSequentialGroup()
                    .addContainerGap()
                    .addComponent(jLabelForBrowseOPCItem)
                    .addGap(106, 106, 106)
                    .addComponent(jLabelForFilterCondition)
                    .addPreferredGap(ComponentPlacement.UNRELATED)
                    .addComponent(
                        jTextFieldForFilterCondition,
                        GroupLayout.PREFERRED_SIZE,
                        GroupLayout.DEFAULT_SIZE,
                        GroupLayout.PREFERRED_SIZE)
                    .addContainerGap(41, Short.MAX_VALUE)));
    jPanel3Layout.setVerticalGroup(
        jPanel3Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel3Layout
                    .createSequentialGroup()
                    .addContainerGap(GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)
                    .addGroup(
                        jPanel3Layout
                            .createParallelGroup(Alignment.BASELINE)
                            .addComponent(jLabelForBrowseOPCItem)
                            .addComponent(jLabelForFilterCondition)
                            .addComponent(
                                jTextFieldForFilterCondition,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE))
                    .addContainerGap()));

    jScrollPaneForBrowseOPCItem.setName("jScrollPaneForBrowseOPCItem");
    jScrollPaneForBrowseOPCItem.setViewportView(jTree1);

    opcItemsPanel.setBackground(resourceMap.getColor("opcItemsPanel.background"));
    jScrollPaneForOPCItems.setViewportView(opcItemsPanel);

    GroupLayout jPanel1Layout = new GroupLayout(jPanel1);
    jPanel1.setLayout(jPanel1Layout);
    jPanel1Layout.setHorizontalGroup(
        jPanel1Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel1Layout
                    .createSequentialGroup()
                    .addContainerGap()
                    .addGroup(
                        jPanel1Layout
                            .createParallelGroup(Alignment.LEADING)
                            .addGroup(
                                jPanel1Layout
                                    .createSequentialGroup()
                                    .addComponent(
                                        jScrollPaneForBrowseOPCItem,
                                        GroupLayout.PREFERRED_SIZE,
                                        170,
                                        GroupLayout.PREFERRED_SIZE)
                                    .addGap(18, 18, 18)
                                    .addComponent(
                                        jScrollPaneForOPCItems,
                                        GroupLayout.PREFERRED_SIZE,
                                        150,
                                        GroupLayout.PREFERRED_SIZE))
                            .addComponent(
                                jPanel3,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                Short.MAX_VALUE))
                    .addContainerGap()));
    jPanel1Layout.setVerticalGroup(
        jPanel1Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel1Layout
                    .createSequentialGroup()
                    .addComponent(
                        jPanel3, GroupLayout.PREFERRED_SIZE, 37, GroupLayout.PREFERRED_SIZE)
                    .addPreferredGap(ComponentPlacement.UNRELATED)
                    .addGroup(
                        jPanel1Layout
                            .createParallelGroup(Alignment.LEADING)
                            .addComponent(
                                jScrollPaneForOPCItems,
                                GroupLayout.DEFAULT_SIZE,
                                168,
                                Short.MAX_VALUE)
                            .addComponent(
                                jScrollPaneForBrowseOPCItem,
                                GroupLayout.PREFERRED_SIZE,
                                168,
                                GroupLayout.PREFERRED_SIZE))
                    .addContainerGap(GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)));

    jLabelForAccessPath.setText(resourceMap.getString("jLabelForAccessPath.text"));

    jTextFieldForAccessPath.setColumns(25);
    jTextFieldForAccessPath.setText(resourceMap.getString("jTextFieldForAccessPath.text"));

    jLabelForOPCItemName.setText(resourceMap.getString("jLabelForOPCItemName.text"));

    jTextFieldForOPCItemName.setColumns(25);
    jTextFieldForOPCItemName.setText(resourceMap.getString("jTextFieldForOPCItemName.text"));

    confirmButton.setAction(actionMap.get("confirm"));
    cancelButton.setAction(actionMap.get("cancel"));

    GroupLayout jPanel2Layout = new GroupLayout(jPanel2);
    jPanel2.setLayout(jPanel2Layout);
    jPanel2Layout.setHorizontalGroup(
        jPanel2Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel2Layout
                    .createSequentialGroup()
                    .addGap(18, 18, 18)
                    .addGroup(
                        jPanel2Layout
                            .createParallelGroup(Alignment.LEADING)
                            .addComponent(jLabelForOPCItemName)
                            .addComponent(jLabelForAccessPath))
                    .addPreferredGap(ComponentPlacement.RELATED)
                    .addGroup(
                        jPanel2Layout
                            .createParallelGroup(Alignment.LEADING)
                            .addComponent(
                                jTextFieldForAccessPath,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE)
                            .addComponent(
                                jTextFieldForOPCItemName,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE))
                    .addPreferredGap(ComponentPlacement.RELATED, 45, Short.MAX_VALUE)
                    .addGroup(
                        jPanel2Layout
                            .createParallelGroup(Alignment.LEADING)
                            .addComponent(cancelButton)
                            .addComponent(confirmButton))
                    .addContainerGap()));
    jPanel2Layout.setVerticalGroup(
        jPanel2Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel2Layout
                    .createSequentialGroup()
                    .addGap(22, 22, 22)
                    .addGroup(
                        jPanel2Layout
                            .createParallelGroup(Alignment.BASELINE)
                            .addComponent(jLabelForAccessPath)
                            .addComponent(
                                jTextFieldForAccessPath,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE)
                            .addComponent(confirmButton))
                    .addPreferredGap(ComponentPlacement.UNRELATED)
                    .addGroup(
                        jPanel2Layout
                            .createParallelGroup(Alignment.BASELINE)
                            .addComponent(jLabelForOPCItemName)
                            .addComponent(
                                jTextFieldForOPCItemName,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE)
                            .addComponent(cancelButton))
                    .addContainerGap(14, Short.MAX_VALUE)));

    jPanel4.setBorder(
        BorderFactory.createTitledBorder(resourceMap.getString("jPanel4.border.title")));

    jRadioButtonForNativeType.setText(resourceMap.getString("jRadioButtonForNativeType.text"));
    jRadioButtonForNativeType.setName(TempOpcItemVariantType.VT_NATIVE);

    jRadioButtonForBool.setText(resourceMap.getString("jRadioButtonForBool.text"));
    jRadioButtonForBool.setName(TempOpcItemVariantType.VT_BOOL);

    jRadioButtonForString.setText(resourceMap.getString("jRadioButtonForString.text"));
    jRadioButtonForString.setName(TempOpcItemVariantType.VT_BSTR);

    jRadioButtonForShort.setText(resourceMap.getString("jRadioButtonForShort.text"));
    jRadioButtonForShort.setName(TempOpcItemVariantType.VT_I2);

    jRadioButtonForLong.setText(resourceMap.getString("jRadioButtonForLong.text"));
    jRadioButtonForLong.setName(TempOpcItemVariantType.VT_I4);

    jRadioButtonForDouble.setText(resourceMap.getString("jRadioButtonForDouble.text"));
    jRadioButtonForDouble.setName(TempOpcItemVariantType.VT_R8);

    GroupLayout jPanel4Layout = new GroupLayout(jPanel4);
    jPanel4.setLayout(jPanel4Layout);
    jPanel4Layout.setHorizontalGroup(
        jPanel4Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel4Layout
                    .createSequentialGroup()
                    .addGap(22, 22, 22)
                    .addGroup(
                        jPanel4Layout
                            .createParallelGroup(Alignment.LEADING)
                            .addComponent(jRadioButtonForNativeType)
                            .addComponent(jRadioButtonForBool)
                            .addComponent(jRadioButtonForString))
                    .addGap(53, 53, 53)
                    .addGroup(
                        jPanel4Layout
                            .createParallelGroup(Alignment.LEADING)
                            .addComponent(jRadioButtonForLong)
                            .addComponent(jRadioButtonForShort)
                            .addComponent(jRadioButtonForDouble))
                    .addContainerGap(74, Short.MAX_VALUE)));
    jPanel4Layout.setVerticalGroup(
        jPanel4Layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                jPanel4Layout
                    .createSequentialGroup()
                    .addContainerGap()
                    .addGroup(
                        jPanel4Layout
                            .createParallelGroup(Alignment.BASELINE)
                            .addComponent(jRadioButtonForNativeType)
                            .addComponent(jRadioButtonForShort))
                    .addPreferredGap(ComponentPlacement.UNRELATED)
                    .addGroup(
                        jPanel4Layout
                            .createParallelGroup(Alignment.BASELINE)
                            .addComponent(jRadioButtonForBool)
                            .addComponent(jRadioButtonForLong))
                    .addPreferredGap(ComponentPlacement.UNRELATED)
                    .addGroup(
                        jPanel4Layout
                            .createParallelGroup(Alignment.BASELINE)
                            .addComponent(jRadioButtonForString)
                            .addComponent(jRadioButtonForDouble))
                    .addContainerGap(19, Short.MAX_VALUE)));

    GroupLayout layout = new GroupLayout(getContentPane());
    getContentPane().setLayout(layout);
    layout.setHorizontalGroup(
        layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                layout
                    .createSequentialGroup()
                    .addGroup(
                        layout
                            .createParallelGroup(Alignment.LEADING)
                            .addGroup(
                                layout
                                    .createSequentialGroup()
                                    .addGap(20, 20, 20)
                                    .addComponent(
                                        jPanel4,
                                        GroupLayout.PREFERRED_SIZE,
                                        GroupLayout.DEFAULT_SIZE,
                                        GroupLayout.PREFERRED_SIZE))
                            .addGroup(
                                layout
                                    .createSequentialGroup()
                                    .addContainerGap()
                                    .addGroup(
                                        layout
                                            .createParallelGroup(Alignment.LEADING)
                                            .addComponent(
                                                jPanel1,
                                                GroupLayout.PREFERRED_SIZE,
                                                GroupLayout.DEFAULT_SIZE,
                                                GroupLayout.PREFERRED_SIZE)
                                            .addComponent(
                                                jPanel2,
                                                GroupLayout.PREFERRED_SIZE,
                                                GroupLayout.DEFAULT_SIZE,
                                                GroupLayout.PREFERRED_SIZE))))
                    .addContainerGap(GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)));
    layout.setVerticalGroup(
        layout
            .createParallelGroup(Alignment.LEADING)
            .addGroup(
                layout
                    .createSequentialGroup()
                    .addComponent(
                        jPanel2,
                        GroupLayout.PREFERRED_SIZE,
                        GroupLayout.DEFAULT_SIZE,
                        GroupLayout.PREFERRED_SIZE)
                    .addPreferredGap(ComponentPlacement.RELATED)
                    .addComponent(
                        jPanel1,
                        GroupLayout.PREFERRED_SIZE,
                        GroupLayout.DEFAULT_SIZE,
                        GroupLayout.PREFERRED_SIZE)
                    .addPreferredGap(ComponentPlacement.RELATED)
                    .addComponent(
                        jPanel4,
                        GroupLayout.DEFAULT_SIZE,
                        GroupLayout.DEFAULT_SIZE,
                        Short.MAX_VALUE)
                    .addContainerGap()));

    setTitle(resourceMap.getString("view.title"));
    setResizable(false);
    pack();
  }
Ejemplo n.º 21
0
  CatenaSetting() {
    super(PeaFactory.getFrame());
    setting = this;
    // setting.setUndecorated(true);
    setting.setAlwaysOnTop(true);

    this.setIconImage(MainView.getImage());

    JPanel scryptPane = (JPanel) setting.getContentPane(); // new JPanel();
    scryptPane.setBorder(new LineBorder(Color.GRAY, 2));
    scryptPane.setLayout(new BoxLayout(scryptPane, BoxLayout.Y_AXIS));

    JLabel scryptLabel = new JLabel("Settings for CATENA:");
    scryptLabel.setPreferredSize(new Dimension(250, 30));

    JLabel tipLabel1 = new JLabel("Settings for this session only");
    tipLabel1.setFont(new Font(Font.SANS_SERIF, Font.PLAIN, 11));
    tipLabel1.setPreferredSize(new Dimension(250, 20));
    scryptPane.add(scryptLabel);
    scryptPane.add(tipLabel1);

    JLabel instanceLabel = new JLabel("Select an instance of Catena:");
    instanceLabel.setPreferredSize(new Dimension(250, 40));
    scryptPane.add(instanceLabel);

    JLabel instanceRecommendedLabel = new JLabel("recommended: Dragonfly-Full");
    instanceRecommendedLabel.setPreferredSize(new Dimension(250, 20));
    instanceRecommendedLabel.setFont(new Font(Font.SANS_SERIF, Font.PLAIN, 11));
    scryptPane.add(instanceRecommendedLabel);

    JRadioButton dragonflyFullButton = new JRadioButton("Dragonfly-Full");
    dragonflyFullButton.setMnemonic(KeyEvent.VK_U);
    dragonflyFullButton.addActionListener(this);
    dragonflyFullButton.setActionCommand("Dragonfly-Full");
    scryptPane.add(dragonflyFullButton);

    JRadioButton butterflyFullButton = new JRadioButton("Butterfly-Full");
    butterflyFullButton.setMnemonic(KeyEvent.VK_U);
    butterflyFullButton.addActionListener(this);
    butterflyFullButton.setActionCommand("Butterfly-Full");
    scryptPane.add(butterflyFullButton);

    JRadioButton dragonflyButton = new JRadioButton("Dragonfly");
    dragonflyButton.setMnemonic(KeyEvent.VK_B);
    dragonflyButton.addActionListener(this);
    dragonflyButton.setActionCommand("Dragonfly");
    scryptPane.add(dragonflyButton);

    JRadioButton butterflyButton = new JRadioButton("Butterfly");
    butterflyButton.setMnemonic(KeyEvent.VK_B);
    butterflyButton.addActionListener(this);
    butterflyButton.setActionCommand("Butterfly");
    scryptPane.add(butterflyButton);

    // Group the radio buttons.
    ButtonGroup group = new ButtonGroup();
    group.add(dragonflyButton);
    group.add(dragonflyFullButton);
    group.add(butterflyButton);
    group.add(butterflyFullButton);

    group.setSelected(dragonflyFullButton.getModel(), true);

    scryptPane.add(Box.createVerticalStrut(20));

    JLabel memoryLabel = new JLabel("Memory cost parameter GARLIC: ");
    memoryLabel.setPreferredSize(new Dimension(220, 40));
    scryptPane.add(memoryLabel);
    memoryField =
        new JTextField() {
          private static final long serialVersionUID = 1L;

          public void processKeyEvent(KeyEvent ev) {
            char c = ev.getKeyChar();
            try {
              // printable characters
              if (c > 31 && c < 65535 && c != 127) {
                Integer.parseInt(c + ""); // parse
              }
              super.processKeyEvent(ev);
            } catch (NumberFormatException nfe) {
              // if not a number: ignore
            }
          }
        };
    memoryField.setText("18");
    memoryField.setColumns(2);
    memoryField.setDragEnabled(true);

    memoryField
        .getDocument()
        .addDocumentListener(
            new DocumentListener() {
              public void changedUpdate(DocumentEvent e) {
                warn();
              }

              public void removeUpdate(DocumentEvent e) {
                warn();
              }

              public void insertUpdate(DocumentEvent e) {
                warn();
              }

              public void warn() {
                int garlic = 0;
                try {
                  garlic = Integer.parseInt(memoryField.getText());
                } catch (Exception nfe) {
                  errorLabel.setText("Invalid input");
                  return;
                }
                if (garlic == 0) {
                  errorLabel.setText("Invalid value");
                } else if (garlic < 14) {
                  errorLabel.setText("Warning: Weak parameter");
                } else if (garlic > 22 && garlic < 64) {
                  errorLabel.setText("Warning: Long execution time");
                } else if (garlic > 63) {
                  errorLabel.setText("Invalid value: must be < 64");
                } else {
                  errorLabel.setText("");
                }
              }
            });

    memoryRecommendedLabel = new JLabel("recommended >= 18");
    memoryRecommendedLabel.setFont(new Font(Font.SANS_SERIF, Font.PLAIN, 11));
    JPanel memoryPanel = new JPanel();
    memoryPanel.add(memoryField);
    memoryPanel.add(memoryRecommendedLabel);
    scryptPane.add(memoryPanel);

    scryptPane.add(Box.createVerticalStrut(10));

    JLabel timeLabel = new JLabel("Time cost parameter LAMBDA: ");
    timeLabel.setPreferredSize(new Dimension(220, 40));
    scryptPane.add(timeLabel);
    timeField =
        new JTextField() {
          private static final long serialVersionUID = 1L;

          public void processKeyEvent(KeyEvent ev) {
            char c = ev.getKeyChar();
            try {
              // printable characters
              if (c > 31 && c < 65535 && c != 127) {
                Integer.parseInt(c + ""); // parse
              }
              super.processKeyEvent(ev);
            } catch (NumberFormatException nfe) {
              // if not a number: ignore
            }
          }
        };
    timeField.setText("2");
    timeField.setColumns(3);
    timeField.setDragEnabled(true);

    timeField
        .getDocument()
        .addDocumentListener(
            new DocumentListener() {
              public void changedUpdate(DocumentEvent e) {
                warn();
              }

              public void removeUpdate(DocumentEvent e) {
                warn();
              }

              public void insertUpdate(DocumentEvent e) {
                warn();
              }

              public void warn() {
                int lambda = 0;
                try {
                  lambda = Integer.parseInt(timeField.getText());
                } catch (Exception nfe) {
                  errorLabel.setText("Invalid input");
                  return;
                }
                if (lambda == 0) {
                  errorLabel.setText("Invalid value");
                } else if (lambda == 1) {
                  errorLabel.setText("Warning: Weak parameter");
                } else if (lambda > 4) {
                  errorLabel.setText("Warning: Long execution time");
                } else {
                  errorLabel.setText("");
                }
              }
            });

    timeRecommendedLabel = new JLabel("recommended 2");
    timeRecommendedLabel.setFont(new Font(Font.SANS_SERIF, Font.PLAIN, 11));
    JPanel timePanel = new JPanel();
    timePanel.add(timeField);
    timePanel.add(timeRecommendedLabel);
    scryptPane.add(timePanel);

    scryptPane.add(Box.createVerticalStrut(10));

    errorLabel = new JLabel("");
    errorLabel.setForeground(Color.RED);
    scryptPane.add(errorLabel);

    JButton scryptOkButton = new JButton("ok");
    scryptOkButton.setActionCommand("newSetting");
    scryptOkButton.addActionListener(this);
    scryptPane.add(scryptOkButton);
    setting.pack();
    setting.setLocation(100, 100);
    setting.setVisible(true);
  }