src/main/java/org/helm/notation2/parser/HELMNotationParserUI.java
@SuppressWarnings("unchecked")
  private void initComponents() {

    jScrollPane1 = new javax.swing.JScrollPane();
    input = new javax.swing.JTextArea();
    inputLabel = new javax.swing.JLabel();
    outputLabel = new javax.swing.JLabel();
    jScrollPane2 = new javax.swing.JScrollPane();
    output = new javax.swing.JTextArea();
    jRadioHELM = new javax.swing.JRadioButton();
    jRadioJSON = new javax.swing.JRadioButton();
    jButton1 = new javax.swing.JButton();
    bg = new javax.swing.ButtonGroup();

    setDefaultCloseOperation(javax.swing.WindowConstants.EXIT_ON_CLOSE);
    setTitle("HELMNotationParser");
    input.setColumns(20);
    input.setRows(5);
    jScrollPane1.setViewportView(input);

    inputLabel.setText("HELM-Input:");
    inputLabel.setFont(new Font("Arial", Font.BOLD, 20));
    inputLabel.setHorizontalAlignment(JLabel.CENTER);
    inputLabel.setVerticalAlignment(JLabel.CENTER);

    outputLabel.setText("Output:");
    outputLabel.setFont(new Font("Arial", Font.BOLD, 20));
    outputLabel.setHorizontalAlignment(JLabel.CENTER);
    outputLabel.setVerticalAlignment(JLabel.CENTER);

    output.setColumns(20);
    output.setRows(5);
    jScrollPane2.setViewportView(output);

    jRadioHELM.setText("HELM2");
    jRadioHELM.addActionListener(new java.awt.event.ActionListener() {
      @Override
      public void actionPerformed(java.awt.event.ActionEvent evt) {
        jRadioButton1ActionPerformed(evt);
      }
    });

    jRadioJSON.setText("JSON");
    jRadioJSON.addActionListener(new java.awt.event.ActionListener() {
      @Override
      public void actionPerformed(java.awt.event.ActionEvent evt) {
        jRadioButton2ActionPerformed(evt);
      }
    });

    bg.add(jRadioHELM);
    bg.add(jRadioJSON);
    jRadioHELM.setSelected(true);
    jButton1.setText("Translate");
    jButton1.addActionListener(new java.awt.event.ActionListener() {
      @Override
      public void actionPerformed(java.awt.event.ActionEvent evt) {
        jButton1ActionPerformed(evt);
      }
    });

    javax.swing.GroupLayout layout = new javax.swing.GroupLayout(getContentPane());
    getContentPane().setLayout(layout);
    layout.setHorizontalGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING, false).addComponent(inputLabel, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE).addComponent(jScrollPane1, javax.swing.GroupLayout.DEFAULT_SIZE, 438, Short.MAX_VALUE)).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGap(31, 31, 31).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addComponent(jRadioHELM, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE).addComponent(jButton1).addComponent(jRadioJSON, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE).addComponent(jScrollPane2, javax.swing.GroupLayout.PREFERRED_SIZE, 458, javax.swing.GroupLayout.PREFERRED_SIZE)).addGroup(javax.swing.GroupLayout.Alignment.TRAILING, layout.createSequentialGroup().addGap(132, 132, 132).addComponent(outputLabel, javax.swing.GroupLayout.PREFERRED_SIZE, 458, javax.swing.GroupLayout.PREFERRED_SIZE))).addContainerGap()));
    layout.setVerticalGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGap(0, 0, 0).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.BASELINE).addComponent(inputLabel, javax.swing.GroupLayout.PREFERRED_SIZE, 28, javax.swing.GroupLayout.PREFERRED_SIZE).addComponent(outputLabel, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGap(9, 9, 9).addComponent(jRadioHELM).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED).addComponent(jRadioJSON).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.UNRELATED).addComponent(jButton1).addContainerGap(778, Short.MAX_VALUE)).addComponent(jScrollPane1).addComponent(jScrollPane2))));

    pack();
  }
@SuppressWarnings("unchecked")
  private void initComponents() {

    jScrollPane1 = new javax.swing.JScrollPane();
    input = new javax.swing.JTextArea();
    inputLabel = new javax.swing.JLabel();
    outputLabel = new javax.swing.JLabel();
    jScrollPane2 = new javax.swing.JScrollPane();
    output = new javax.swing.JTextArea();
    jRadioHELM = new javax.swing.JRadioButton();
    jRadioJSON = new javax.swing.JRadioButton();
    jButton1 = new javax.swing.JButton();
    bg = new javax.swing.ButtonGroup();

    setDefaultCloseOperation(javax.swing.WindowConstants.EXIT_ON_CLOSE);
    setTitle("HELMNotationParser");
    input.setColumns(20);
    input.setRows(5);
    jScrollPane1.setViewportView(input);

    inputLabel.setText("HELM-Input:");
    inputLabel.setFont(new Font("Arial", Font.BOLD, 20));
    inputLabel.setHorizontalAlignment(JLabel.CENTER);
    inputLabel.setVerticalAlignment(JLabel.CENTER);

    outputLabel.setText("Output:");
    outputLabel.setFont(new Font("Arial", Font.BOLD, 20));
    outputLabel.setHorizontalAlignment(JLabel.CENTER);
    outputLabel.setVerticalAlignment(JLabel.CENTER);

    output.setColumns(20);
    output.setRows(5);
    jScrollPane2.setViewportView(output);

    jRadioHELM.setText("HELM2");
    jRadioHELM.addActionListener(new java.awt.event.ActionListener() {
      @Override
      public void actionPerformed(java.awt.event.ActionEvent evt) {
        jRadioButton1ActionPerformed(evt);
      }
    });

    jRadioJSON.setText("JSON");
    jRadioJSON.addActionListener(new java.awt.event.ActionListener() {
      @Override
      public void actionPerformed(java.awt.event.ActionEvent evt) {
        jRadioButton2ActionPerformed(evt);
      }
    });

    bg.add(jRadioHELM);
    bg.add(jRadioJSON);
    jRadioHELM.setSelected(true);
    jButton1.setText("Translate");
    jButton1.addActionListener(new java.awt.event.ActionListener() {
      @Override
      public void actionPerformed(java.awt.event.ActionEvent evt) {
        jButton1ActionPerformed(evt);
      }
    });

    javax.swing.GroupLayout layout = new javax.swing.GroupLayout(getContentPane());
    getContentPane().setLayout(layout);
    layout.setHorizontalGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING, false).addComponent(inputLabel, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE).addComponent(jScrollPane1, javax.swing.GroupLayout.DEFAULT_SIZE, 438, Short.MAX_VALUE)).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGap(31, 31, 31).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addComponent(jRadioHELM, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE).addComponent(jButton1).addComponent(jRadioJSON, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE).addComponent(jScrollPane2, javax.swing.GroupLayout.PREFERRED_SIZE, 458, javax.swing.GroupLayout.PREFERRED_SIZE)).addGroup(javax.swing.GroupLayout.Alignment.TRAILING, layout.createSequentialGroup().addGap(132, 132, 132).addComponent(outputLabel, javax.swing.GroupLayout.PREFERRED_SIZE, 458, javax.swing.GroupLayout.PREFERRED_SIZE))).addContainerGap()));
    layout.setVerticalGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGap(0, 0, 0).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.BASELINE).addComponent(inputLabel, javax.swing.GroupLayout.PREFERRED_SIZE, 28, javax.swing.GroupLayout.PREFERRED_SIZE).addComponent(outputLabel, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE)).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED).addGroup(layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING).addGroup(layout.createSequentialGroup().addGap(9, 9, 9).addComponent(jRadioHELM).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.RELATED).addComponent(jRadioJSON).addPreferredGap(javax.swing.LayoutStyle.ComponentPlacement.UNRELATED).addComponent(jButton1).addContainerGap(778, Short.MAX_VALUE)).addComponent(jScrollPane1).addComponent(jScrollPane2))));

    pack();
  }
@ SuppressWarnings ( "unchecked" ) private void initComponents ( ) { jScrollPane1 = new javax . swing . JScrollPane ( ) ; input = new javax . swing . JTextArea ( ) ; inputLabel = new javax . swing . JLabel ( ) ; outputLabel = new javax . swing . JLabel ( ) ; jScrollPane2 = new javax . swing . JScrollPane ( ) ; output = new javax . swing . JTextArea ( ) ; jRadioHELM = new javax . swing . JRadioButton ( ) ; jRadioJSON = new javax . swing . JRadioButton ( ) ; jButton1 = new javax . swing . JButton ( ) ; bg = new javax . swing . ButtonGroup ( ) ; setDefaultCloseOperation ( javax . swing . WindowConstants . EXIT_ON_CLOSE ) ; setTitle ( "HELMNotationParser" ) ; input . setColumns ( 20 ) ; input . setRows ( 5 ) ; jScrollPane1 . setViewportView ( input ) ; inputLabel . setText ( "HELM-Input:" ) ; inputLabel . setFont ( new Font ( "Arial" , Font . BOLD , 20 ) ) ; inputLabel . setHorizontalAlignment ( JLabel . CENTER ) ; inputLabel . setVerticalAlignment ( JLabel . CENTER ) ; outputLabel . setText ( "Output:" ) ; outputLabel . setFont ( new Font ( "Arial" , Font . BOLD , 20 ) ) ; outputLabel . setHorizontalAlignment ( JLabel . CENTER ) ; outputLabel . setVerticalAlignment ( JLabel . CENTER ) ; output . setColumns ( 20 ) ; output . setRows ( 5 ) ; jScrollPane2 . setViewportView ( output ) ; jRadioHELM . setText ( "HELM2" ) ; jRadioHELM . addActionListener ( new java . awt . event . ActionListener ( ) { @ Override public void actionPerformed ( java . awt . event . ActionEvent evt ) { jRadioButton1ActionPerformed ( evt ) ; } } ) ; jRadioJSON . setText ( "JSON" ) ; jRadioJSON . addActionListener ( new java . awt . event . ActionListener ( ) { @ Override public void actionPerformed ( java . awt . event . ActionEvent evt ) { jRadioButton2ActionPerformed ( evt ) ; } } ) ; bg . add ( jRadioHELM ) ; bg . add ( jRadioJSON ) ; jRadioHELM . setSelected ( true ) ; jButton1 . setText ( "Translate" ) ; jButton1 . addActionListener ( new java . awt . event . ActionListener ( ) { @ Override public void actionPerformed ( java . awt . event . ActionEvent evt ) { jButton1ActionPerformed ( evt ) ; } } ) ; javax . swing . GroupLayout layout = new javax . swing . GroupLayout ( getContentPane ( ) ) ; getContentPane ( ) . setLayout ( layout ) ; layout . setHorizontalGroup ( layout . createParallelGroup ( javax . swing . GroupLayout . Alignment . LEADING ) . addGroup ( layout . createSequentialGroup ( ) . addGroup ( layout . createParallelGroup ( javax . swing . GroupLayout . Alignment . LEADING , false ) . addComponent ( inputLabel , javax . swing . GroupLayout . DEFAULT_SIZE , javax . swing . GroupLayout . DEFAULT_SIZE , Short . MAX_VALUE ) . addComponent ( jScrollPane1 , javax . swing . GroupLayout . DEFAULT_SIZE , 438 , Short . MAX_VALUE ) ) . addGroup ( layout . createParallelGroup ( javax . swing . GroupLayout . Alignment . LEADING ) . addGroup ( layout . createSequentialGroup ( ) . addGap ( 31 , 31 , 31 ) . addGroup ( layout . createParallelGroup ( javax . swing . GroupLayout . Alignment . LEADING ) . addComponent ( jRadioHELM , javax . swing . GroupLayout . DEFAULT_SIZE , javax . swing . GroupLayout . DEFAULT_SIZE , Short . MAX_VALUE ) . addComponent ( jButton1 ) . addComponent ( jRadioJSON , javax . swing . GroupLayout . DEFAULT_SIZE , javax . swing . GroupLayout . DEFAULT_SIZE , Short . MAX_VALUE ) ) . addPreferredGap ( javax . swing . LayoutStyle . ComponentPlacement . RELATED , javax . swing . GroupLayout . DEFAULT_SIZE , Short . MAX_VALUE ) . addComponent ( jScrollPane2 , javax . swing . GroupLayout . PREFERRED_SIZE , 458 , javax . swing . GroupLayout . PREFERRED_SIZE ) ) . addGroup ( javax . swing . GroupLayout . Alignment . TRAILING , layout . createSequentialGroup ( ) . addGap ( 132 , 132 , 132 ) . addComponent ( outputLabel , javax . swing . GroupLayout . PREFERRED_SIZE , 458 , javax . swing . GroupLayout . PREFERRED_SIZE ) ) ) . addContainerGap ( ) ) ) ; layout . setVerticalGroup ( layout . createParallelGroup ( javax . swing . GroupLayout . Alignment . LEADING ) . addGroup ( layout . createSequentialGroup ( ) . addGap ( 0 , 0 , 0 ) . addGroup ( layout . createParallelGroup ( javax . swing . GroupLayout . Alignment . BASELINE ) . addComponent ( inputLabel , javax . swing . GroupLayout . PREFERRED_SIZE , 28 , javax . swing . GroupLayout . PREFERRED_SIZE ) . addComponent ( outputLabel , javax . swing . GroupLayout . DEFAULT_SIZE , javax . swing . GroupLayout . DEFAULT_SIZE , Short . MAX_VALUE ) ) . addPreferredGap ( javax . swing . LayoutStyle . ComponentPlacement . RELATED ) . addGroup ( layout . createParallelGroup ( javax . swing . GroupLayout . Alignment . LEADING ) . addGroup ( layout . createSequentialGroup ( ) . addGap ( 9 , 9 , 9 ) . addComponent ( jRadioHELM ) . addPreferredGap ( javax . swing . LayoutStyle . ComponentPlacement . RELATED ) . addComponent ( jRadioJSON ) . addPreferredGap ( javax . swing . LayoutStyle . ComponentPlacement . UNRELATED ) . addComponent ( jButton1 ) . addContainerGap ( 778 , Short . MAX_VALUE ) ) . addComponent ( jScrollPane1 ) . addComponent ( jScrollPane2 ) ) ) ) ; pack ( ) ; }
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.
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 .