* Copyright (c) 2013, Institute of Information Systems (Sven Groppe and contributors of LUPOSDATE), University of Luebeck

*

* All rights reserved.

*

* Redistribution and use in source and binary forms, with or without modification, are permitted provided that the

* following conditions are met:

*

*   - Redistributions of source code must retain the above copyright notice, this list of conditions and the following

*     disclaimer.

*   - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the

*     following disclaimer in the documentation and/or other materials provided with the distribution.

*   - Neither the name of the University of Luebeck nor the names of its contributors may be used to endorse or promote

*     products derived from this software without specific prior written permission.

*

* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,

* INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE

* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,

* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE

* GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF

* LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY

* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

*/

  private static final long serialVersionUID = 8238554719560169292L;

  private VisualRifEditor visualRifEditor;

  protected GridBagConstraints gbc = null;

  private JPanel termRowsPanel;

  protected UnitermOperator unitermOperator;

  private  String selectedChoiceString = "";

  String[] typComboEntries = {"Const","Var","Expr","List"};

  private FocusListener comboBoxFocusListener;

  // Constructor

  public UnitermOperatorPanel(final VisualGraph<Operator> parent,

      final GraphWrapper gw, final UnitermOperator unitermOperator,

      final boolean startNode, final boolean alsoSubClasses, final VisualRifEditor visualRifEditor) {

    super(parent, gw, unitermOperator, true);

    this.visualRifEditor = visualRifEditor;

    this.unitermOperator = unitermOperator;

    this.init();

  }

  public void init() {

    this.setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));

    this.termRowsPanel = new JPanel(new GridBagLayout());

    this.termRowsPanel.setOpaque(false);

    // Layout

    this.gbc = new GridBagConstraints();

    this.gbc.anchor = GridBagConstraints.CENTER;

    this.gbc.gridwidth = this.gbc.gridheight = 1;

    this.gbc.weightx = this.gbc.weighty = 1.0;

    this.gbc.insets = new Insets((int) this.parent.PADDING,

        (int) this.parent.PADDING, (int) this.parent.PADDING,

        (int) this.parent.PADDING);

    this.gbc.gridx = this.gbc.gridy = 0;

    this.gbc.fill = GridBagConstraints.BOTH;

    final Border raisedbevel = BorderFactory.createRaisedBevelBorder();

    this.setBorder(raisedbevel);

    /* ******** **

     * Elements **

     * ******** */

    // UniTermCombo

    this.unitermOperator.getUniTermComboBox().setFont(this.parent.getFONT());

    this.unitermOperator.getUniTermComboBox().setEditable(false);

    this.unitermOperator.getUniTermComboBox().setMaximumRowCount(3);

    this.unitermOperator.getUniTermComboBox().setSelectedItem(

        this.unitermOperator.getSelectedPrefix());

    this.unitermOperator.getUniTermComboBox().addItemListener(new ItemListener() {

      @Override

      public void itemStateChanged(final ItemEvent e) {

        final JComboBox selectedChoice = (JComboBox) e.getSource();

        UnitermOperatorPanel.this.setSelectedPrefix((String) selectedChoice.getSelectedItem());

      }

    });

    // Labels

    final Border loweredetched = BorderFactory.createEtchedBorder(EtchedBorder.LOWERED);

    final JLabel uniTermLabel = new JLabel("UNITERM");

    uniTermLabel.setFont(this.parent.getFONT());

    uniTermLabel.setBorder(loweredetched);

    final JLabel constLabel = new JLabel("Function:");

    constLabel.setFont(this.parent.getFONT());

    // External

    final JCheckBox cbExternal = new JCheckBox( "External", this.unitermOperator.isExternal());

    cbExternal.setFont(this.parent.getFONT());

    final ItemListener ilExternal = new ItemListener() {

        @Override public void itemStateChanged( final ItemEvent e ) {

          UnitermOperatorPanel.this.unitermOperator.setExternal(!UnitermOperatorPanel.this.unitermOperator.isExternal());

        }

      };

    cbExternal.addItemListener(ilExternal);

    // Named Uniterm

    final JCheckBox cbName = new JCheckBox( "Named", false);

    cbName.setFont(this.parent.getFONT());

    final ItemListener ilName = new ItemListener() {

        @Override public void itemStateChanged( final ItemEvent e ) {

           UnitermOperatorPanel.this.unitermOperator.setNamed(!UnitermOperatorPanel.this.unitermOperator.isNamed());

           UnitermOperatorPanel.this.repaintAllTerms();

        }

      };

    cbName.addItemListener(ilName);

    // TextField

    final JTextFieldResizing tf = new JTextFieldResizing(this.unitermOperator.getTermName(), this.parent.getFONT(), this);

    tf.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        UnitermOperatorPanel.this.setFactName(tf.getText());

      }

    });

    /* *********** **

     * calibration **

     * *********** */

    // first row

    if (this.unitermOperator.isNamed()){

      this.gbc.gridx = 3;

    }else{

      this.gbc.gridx = 2;

    }

    this.termRowsPanel.add(uniTermLabel ,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(cbExternal);

    this.gbc.gridx++;

    this.termRowsPanel.add(cbName);

    this.gbc.gridy++;

    // second row

    this.gbc.gridx = 2;

    this.termRowsPanel.add(constLabel,this.gbc);

    this.gbc.gridx++;

    // first JCombobo

    this.termRowsPanel.add(this.unitermOperator.getUniTermComboBox(), this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(tf, this.gbc);

    this.gbc.gridy++;

    this.gbc.gridx = 0;

    if ( this.unitermOperator.hasElements() ) {

      for (int i = 0; i < this.unitermOperator.getTerms().size(); i++) {

        // Constant

        if ( !this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isConstant() ) {

          this.createConstantTerm(this.unitermOperator.getTerms().get(i) );

        }

        if ( this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isConstant() ) {

          this.recreateConstantRow(this.unitermOperator.getTerms().get(i) );

        }

        // Variable

        if ( !this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isVariable() ) {

          this.createVariableTerm(this.unitermOperator.getTerms().get(i) );

        }

        if ( this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isVariable() ) {

          this.recreateVariableRow(this.unitermOperator.getTerms().get(i) );

        }

        // Uniterm

        if ( !this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isUniterm() ) {

          this.createUnitermTerm(this.unitermOperator.getTerms().get(i) );

        }

        if ( this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isUniterm() ) {

          this.recreateUnitermRow(this.unitermOperator.getTerms().get(i) );

        }

        // List

        if ( !this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isList() ) {

          this.createListTerm(this.unitermOperator.getTerms().get(i) );

        }

        if ( this.unitermOperator.getTerms().get(i).isInit() && this.unitermOperator.getTerms().get(i).isList() ) {

          this.recreateListRow(this.unitermOperator.getTerms().get(i) );

        }

      }

    }

    this.createNextTermCombo();

    this.add(this.termRowsPanel);

    // FocusListener

    final FocusListener FL = new FocusListener() {

      @Override

      public void focusGained(final FocusEvent arg0) {

        if (UnitermOperatorPanel.this.visualRifEditor.getDocumentContainer().getActiveDocument()

            .getDocumentEditorPane().getPrefixList().length > 0) {

          UnitermOperatorPanel.this.unitermOperator.savePrefixes();

          UnitermOperatorPanel.this.unitermOperator.saveUnitermPrefix();

          UnitermOperatorPanel.this.unitermOperator.saveNamePrefixes();

          UnitermOperatorPanel.this.unitermOperator.setConstantComboBoxEntries(UnitermOperatorPanel.this.visualRifEditor

              .getDocumentContainer().getActiveDocument()

              .getDocumentEditorPane().getPrefixList());

        }

      }

      @Override

      public void focusLost(final FocusEvent arg0) {

      }

    };

    this.setComboBoxFocusListener(FL);

    this.addComponentListener(new ComponentAdapter() {

      @Override

      public void componentResized(final ComponentEvent e) {

        UnitermOperatorPanel.this.updateSize();

      }

    });

    if(this.unitermOperator.getConstantComboBox().getFocusListeners().length <= 1) {

      this.unitermOperator.getConstantComboBox().addFocusListener(FL);

    }

    if (this.unitermOperator.getUniTermComboBox().getFocusListeners().length <= 1) {

      this.unitermOperator.getUniTermComboBox().addFocusListener(FL);

    }

    this.updateSize();

  }

  /*

   * Constant

   */

  private void createConstantRow() {

    final Term term = new Term();

    term.setConstant( true );

    /*

     *  Elements

     */

    // PrefixCombo

    final JComboBox constCombo  = new JComboBox();

    constCombo.setFont(this.parent.getFONT());

    constCombo.addFocusListener(this.comboBoxFocusListener);

    constCombo.addItemListener( new ItemListener() {

      @Override

      public void itemStateChanged(final ItemEvent evt) {

           if (evt.getStateChange() == ItemEvent.SELECTED) {

             final JComboBox selectedChoice = (JComboBox)evt.getSource();

                term.setSelectedPrefix(selectedChoice.getSelectedItem().toString());

                term.setPrefix(true);

           }

           else if (evt.getStateChange() == ItemEvent.DESELECTED) {}

        }

        } );

    term.setConstantCombo(constCombo);

    // NameConstCombo

    final JComboBox namedConstCombo  = new JComboBox();

    namedConstCombo.setFont(this.parent.getFONT());

    namedConstCombo.addFocusListener(this.comboBoxFocusListener);

    namedConstCombo.addItemListener( new ItemListener() {

          @Override

          public void itemStateChanged(final ItemEvent evt) {

               if (evt.getStateChange() == ItemEvent.SELECTED) {

                 final JComboBox selectedChoice = (JComboBox)evt.getSource();

                    term.setPrefixForName(selectedChoice.getSelectedItem().toString());

               }

               else if (evt.getStateChange() == ItemEvent.DESELECTED) {}

            }

            } );

    term.setNameComboBox(namedConstCombo);

    // TextField Name

    final JTextFieldResizing tfName = new HintTextFieldResizing("Name",

        "Name", this.parent.getFONT(), this);

    tfName.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setTfName(tfName);

        }});

    // TextField Value

    final JTextFieldResizing tfValue = new HintTextFieldResizing("Value", "Value", this.parent.getFONT(), this);

    tfValue.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setValue(tfValue.getText());

        }});

    // Label

    final JLabel label = new JLabel("Constant:");

    label.setFont(this.parent.getFONT());

    // Buttons

    final Dimension buttonDimension = new Dimension();

    buttonDimension.setSize(30d, 24d);

    final JIconButton upButton = new JIconButton("icons/001_24.png");

    upButton.setPreferredSize(buttonDimension);

    upButton.setMaximumSize(buttonDimension);

    upButton.setMinimumSize(buttonDimension);

    upButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

          UnitermOperatorPanel.this.unitermOperator.swapTerms(term,true);

          UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton downButton = new JIconButton("icons/001_22.png");

    downButton.setPreferredSize(buttonDimension);

    downButton.setMaximumSize(buttonDimension);

    downButton.setMinimumSize(buttonDimension);

    downButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

         UnitermOperatorPanel.this.unitermOperator.swapTerms(term,false);

         UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton deleteButton = new JIconButton("icons/001_02.png");

    deleteButton.setPreferredSize(buttonDimension);

    deleteButton.setMaximumSize(buttonDimension);

    deleteButton.setMinimumSize(buttonDimension);

    deleteButton.addActionListener(new ActionListener(){

     @Override

    public void actionPerformed(final ActionEvent e) {

      UnitermOperatorPanel.this.removeRow(term);

      UnitermOperatorPanel.this.unitermOperator.getTerms().remove(term);

     }});

    /*

     * Calibration

     */

    this.gbc.gridy++;

    this.gbc.gridx = 0;

    this.termRowsPanel.add(upButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(downButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(label,this.gbc);

    this.gbc.gridx++;

    if ( this.unitermOperator.isNamed() ) {

      this.termRowsPanel.add(namedConstCombo,this.gbc);

      this.gbc.gridx++;

      this.termRowsPanel.add(tfName,this.gbc);

      this.gbc.gridx++;

    }

    this.termRowsPanel.add(constCombo,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(tfValue, this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(deleteButton,this.gbc);

    this.termRowsPanel.remove(this.unitermOperator.getNextTermCombo());

    this.createNextTermCombo();

    term.setDeleteButton(deleteButton);

    term.setUpButton(upButton);

    term.setDownButton(downButton);

    term.setLabel(label);

    term.setTextFieldResizing(tfValue);

    term.setTfName(tfName);

    term.setInit(true);

    this.unitermOperator.getTerms().add( term );

    this.updateSize();

  }

  private void createConstantTerm(final Term term) {

    final String selectedPref = term.getSelectedPrefix();

    /*

     *  Elements

     */

    // PrefixCombo

    final JComboBox constCombo  = new JComboBox();

    constCombo.addFocusListener(this.comboBoxFocusListener);

    constCombo.addItemListener( new ItemListener() {

      @Override

      public void itemStateChanged(final ItemEvent evt) {

           if (evt.getStateChange() == ItemEvent.SELECTED) {

             final JComboBox selectedChoice = (JComboBox)evt.getSource();

                term.setSelectedPrefix(selectedChoice.getSelectedItem().toString());

                term.setPrefix(true);

           }

           else if (evt.getStateChange() == ItemEvent.DESELECTED) {}

        }

        } );

    term.setConstantCombo(constCombo);

    for (final String s : term.getComboEntries()){

      term.getConstantCombo().addItem(s);

    }

    term.getConstantCombo().setSelectedItem(selectedPref);

    // NameCombo

        final JComboBox namedConstCombo  = new JComboBox();

        namedConstCombo.addFocusListener(this.comboBoxFocusListener);

        namedConstCombo.addItemListener( new ItemListener() {

          @Override

          public void itemStateChanged(final ItemEvent evt) {

               if (evt.getStateChange() == ItemEvent.SELECTED) {

                 final JComboBox selectedChoice = (JComboBox)evt.getSource();

                    term.setPrefixForName(selectedChoice.getSelectedItem().toString());

               }

               else if (evt.getStateChange() == ItemEvent.DESELECTED) {}

            }

            } );

    term.setNameComboBox(namedConstCombo);

    // TextField Name

    final JTextFieldResizing tfName = new HintTextFieldResizing("Name",

        "Name", this.parent.getFONT(), this);

    tfName.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setTfName(tfName);

        }});

    // TextField Value

    final JTextFieldResizing tfValue = new HintTextFieldResizing(term.getValue(), "Value", this.parent.getFONT(), this);

    tfValue.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setValue(tfValue.getText());

        }});

    // Label

    final JLabel label = new JLabel("Constant:");

    label.setFont(this.parent.getFONT());

    // Buttons

    final Dimension buttonDimension = new Dimension();

    buttonDimension.setSize(30d, 24d);

    final JIconButton upButton = new JIconButton("icons/001_24.png");

    upButton.setPreferredSize(buttonDimension);

    upButton.setMaximumSize(buttonDimension);

    upButton.setMinimumSize(buttonDimension);

    upButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

          UnitermOperatorPanel.this.unitermOperator.swapTerms(term,true);

          UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton downButton = new JIconButton("icons/001_22.png");

    downButton.setPreferredSize(buttonDimension);

    downButton.setMaximumSize(buttonDimension);

    downButton.setMinimumSize(buttonDimension);

    downButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

         UnitermOperatorPanel.this.unitermOperator.swapTerms(term,false);

         UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton deleteButton = new JIconButton("icons/001_02.png");

    deleteButton.setPreferredSize(buttonDimension);

    deleteButton.setMaximumSize(buttonDimension);

    deleteButton.setMinimumSize(buttonDimension);

    deleteButton.addActionListener(new ActionListener(){

     @Override

    public void actionPerformed(final ActionEvent e) {

      UnitermOperatorPanel.this.removeRow(term);

      UnitermOperatorPanel.this.unitermOperator.getTerms().remove(term);

     }});

    /*

     * Calibration

     */

    this.gbc.gridy++;

    this.gbc.gridx = 0;

    this.termRowsPanel.add(upButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(downButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(label,this.gbc);

    this.gbc.gridx++;

    if ( this.unitermOperator.isNamed() ) {

      this.termRowsPanel.add(namedConstCombo,this.gbc);

      this.gbc.gridx++;

      this.termRowsPanel.add(tfName,this.gbc);

      this.gbc.gridx++;

    }

    this.termRowsPanel.add(constCombo,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(tfValue, this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(deleteButton,this.gbc);

    this.termRowsPanel.remove(this.unitermOperator.getNextTermCombo());

    this.createNextTermCombo();

    term.setDeleteButton(deleteButton);

    term.setUpButton(upButton);

    term.setDownButton(downButton);

    term.setLabel(label);

    term.setTextFieldResizing(tfValue);

    term.setTfName(tfName);

    term.setInit(true);

    this.updateSize();

  }

  private void recreateConstantRow(final Term term){

    /*

     * Calibration

     */

    this.gbc.gridy++;

    this.gbc.gridx = 0;

    this.termRowsPanel.add(term.getUpButton(),this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getDownButton(),this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getLabel(),this.gbc);

    this.gbc.gridx++;

    if ( this.unitermOperator.isNamed() ){

      this.termRowsPanel.add(term.getNameComboBox(),this.gbc);

      this.gbc.gridx++;

      this.termRowsPanel.add(term.getTfName(),this.gbc);

      this.gbc.gridx++;

    }

    this.termRowsPanel.add(term.getConstantCombo(),this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getTextFieldResizing(), this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getDeleteButton(),this.gbc);

  }

  /*

   * Variable

   */

  private void createVariableRow() {

    final Term term = new Term();

    term.setVariable( true );

    /*

     *  Elements

     */

    // PrefixCombo

    final JComboBox namedConstCombo  = new JComboBox();

    namedConstCombo.addFocusListener(this.comboBoxFocusListener);

    namedConstCombo.addItemListener( new ItemListener() {

          @Override

          public void itemStateChanged(final ItemEvent evt) {

               if (evt.getStateChange() == ItemEvent.SELECTED) {

                 final JComboBox selectedChoice = (JComboBox)evt.getSource();

                    term.setPrefixForName(selectedChoice.getSelectedItem().toString());

               }

               else if (evt.getStateChange() == ItemEvent.DESELECTED) {}

            }

            } );

    term.setNameComboBox(namedConstCombo);

    // TextField Name

    final JTextFieldResizing tfName = new HintTextFieldResizing("Name", "Name", this.parent.getFONT(), this);

    tfName.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setTfName(tfName);

        }});

    // TextField Value

    final JTextFieldResizing tfValue = new HintTextFieldResizing("Value", "Value", this.parent.getFONT(), this);

    tfValue.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setValue(tfValue.getText());

        }});

    // Label

    final JLabel label = new JLabel("Variable:");

    label.setFont(this.parent.getFONT());

    // Buttons

    final Dimension buttonDimension = new Dimension();

    buttonDimension.setSize(30d, 24d);

    final JIconButton upButton = new JIconButton("icons/001_24.png");

    upButton.setPreferredSize(buttonDimension);

    upButton.setMaximumSize(buttonDimension);

    upButton.setMinimumSize(buttonDimension);

    upButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

          UnitermOperatorPanel.this.unitermOperator.swapTerms(term,true);

          UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton downButton = new JIconButton("icons/001_22.png");

    downButton.setPreferredSize(buttonDimension);

    downButton.setMaximumSize(buttonDimension);

    downButton.setMinimumSize(buttonDimension);

    downButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

         UnitermOperatorPanel.this.unitermOperator.swapTerms(term,false);

         UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton deleteButton = new JIconButton("icons/001_02.png");

    deleteButton.setPreferredSize(buttonDimension);

    deleteButton.setMaximumSize(buttonDimension);

    deleteButton.setMinimumSize(buttonDimension);

    deleteButton.addActionListener(new ActionListener(){

     @Override

    public void actionPerformed(final ActionEvent e) {

      UnitermOperatorPanel.this.removeRow(term);

      UnitermOperatorPanel.this.unitermOperator.getTerms().remove(term);

     }});

    /*

     * Calibration

     */

    this.gbc.gridy++;

    this.gbc.gridx = 0;

    this.termRowsPanel.add(upButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(downButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(label,this.gbc);

    this.gbc.gridx++;

    if ( this.unitermOperator.isNamed() ) {

      this.termRowsPanel.add(namedConstCombo,this.gbc);

      this.gbc.gridx++;

      this.termRowsPanel.add(tfName,this.gbc);

      this.gbc.gridx++;

    }

    this.gbc.gridx++;

    this.termRowsPanel.add(tfValue,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(deleteButton,this.gbc);

    this.termRowsPanel.remove(this.unitermOperator.getNextTermCombo());

    this.createNextTermCombo();

    term.setDeleteButton(deleteButton);

    term.setUpButton(upButton);

    term.setDownButton(downButton);

    term.setLabel(label);

    term.setTextFieldResizing(tfValue);

    term.setTfName(tfName);

    term.setInit(true);

    this.unitermOperator.getTerms().add( term );

    this.updateSize();

  }

  private void createVariableTerm(final Term term) {

    /*

     *  Elements

     */

    // PrefixCombo

        final JComboBox namedConstCombo  = new JComboBox();

        namedConstCombo.addFocusListener(this.comboBoxFocusListener);

        namedConstCombo.addItemListener( new ItemListener() {

          @Override

          public void itemStateChanged(final ItemEvent evt) {

               if (evt.getStateChange() == ItemEvent.SELECTED) {

                 final JComboBox selectedChoice = (JComboBox)evt.getSource();

                    term.setPrefixForName(selectedChoice.getSelectedItem().toString());

               }

               else if (evt.getStateChange() == ItemEvent.DESELECTED) {}

            }

            } );

    term.setNameComboBox(namedConstCombo);

    // TextField Name

    final JTextFieldResizing tfName = new HintTextFieldResizing("Name","Name", this.parent.getFONT(), this);

    tfName.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setTfName(tfName);

        }});

    // TextField Value

    final JTextFieldResizing tfValue = new HintTextFieldResizing(term.getValue(), "Value", this.parent.getFONT(), this);

    tfValue.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setValue(tfValue.getText());

        }});

    // Label

    final JLabel label = new JLabel("Variable:");

    label.setFont(this.parent.getFONT());

    // Buttons

    final Dimension buttonDimension = new Dimension();

    buttonDimension.setSize(30d, 24d);

    final JIconButton upButton = new JIconButton("icons/001_24.png");

    upButton.setPreferredSize(buttonDimension);

    upButton.setMaximumSize(buttonDimension);

    upButton.setMinimumSize(buttonDimension);

    upButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

          UnitermOperatorPanel.this.unitermOperator.swapTerms(term,true);

          UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton downButton = new JIconButton("icons/001_22.png");

    downButton.setPreferredSize(buttonDimension);

    downButton.setMaximumSize(buttonDimension);

    downButton.setMinimumSize(buttonDimension);

    downButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

         UnitermOperatorPanel.this.unitermOperator.swapTerms(term,false);

         UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton deleteButton = new JIconButton("icons/001_02.png");

    deleteButton.setPreferredSize(buttonDimension);

    deleteButton.setMaximumSize(buttonDimension);

    deleteButton.setMinimumSize(buttonDimension);

    deleteButton.addActionListener(new ActionListener(){

     @Override

    public void actionPerformed(final ActionEvent e) {

      UnitermOperatorPanel.this.removeRow(term);

      UnitermOperatorPanel.this.unitermOperator.getTerms().remove(term);

     }});

    /*

     * Calibration

     */

    this.gbc.gridy++;

    this.gbc.gridx = 0;

    this.termRowsPanel.add(upButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(downButton,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(label,this.gbc);

    this.gbc.gridx++;

    if ( this.unitermOperator.isNamed() ) {

      this.termRowsPanel.add(namedConstCombo,this.gbc);

      this.gbc.gridx++;

      this.termRowsPanel.add(tfName,this.gbc);

      this.gbc.gridx++;

    }

    this.gbc.gridx++;

    this.termRowsPanel.add(tfValue,this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(deleteButton,this.gbc);

    this.termRowsPanel.remove(this.unitermOperator.getNextTermCombo());

    this.createNextTermCombo();

    term.setDeleteButton(deleteButton);

    term.setUpButton(upButton);

    term.setDownButton(downButton);

    term.setLabel(label);

    term.setTextFieldResizing(tfValue);

    term.setTfName(tfName);

    term.setInit(true);

    this.updateSize();

  }

  private void recreateVariableRow(final Term term){

    /*

     * Calibration

     */

    this.gbc.gridy++;

    this.gbc.gridx = 0;

    this.termRowsPanel.add(term.getUpButton(),this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getDownButton(),this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getLabel(),this.gbc);

    this.gbc.gridx++;

    if ( this.unitermOperator.isNamed() ){

      this.termRowsPanel.add(term.getNameComboBox(),this.gbc);

      this.gbc.gridx++;

      this.termRowsPanel.add(term.getTfName(),this.gbc);

      this.gbc.gridx++;

    }

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getTextFieldResizing(), this.gbc);

    this.gbc.gridx++;

    this.termRowsPanel.add(term.getDeleteButton(),this.gbc);

  }

  /*

   * Uniterm

   */

  private void createUnitermRow(){

    final Term term = new Term();

    term.setUniterm(true);

    /*

     *  Elements

     */

    // PrefixCombo

    final JComboBox namedConstCombo  = new JComboBox();

    namedConstCombo.addFocusListener(this.comboBoxFocusListener);

    namedConstCombo.addItemListener( new ItemListener() {

          @Override

          public void itemStateChanged(final ItemEvent evt) {

               if (evt.getStateChange() == ItemEvent.SELECTED) {

                 final JComboBox selectedChoice = (JComboBox)evt.getSource();

                    term.setPrefixForName(selectedChoice.getSelectedItem().toString());

               }

               else if (evt.getStateChange() == ItemEvent.DESELECTED) {}

            }

            } );

    term.setNameComboBox(namedConstCombo);

    // TextField Name

    final JTextFieldResizing tfName = new HintTextFieldResizing("Name", "Name", this.parent.getFONT(), this);

    tfName.addFocusListener(new FocusAdapter() {

      @Override

      public void focusLost(final FocusEvent fe) {

        term.setTfName(tfName);

        }});

    // Label

    final JLabel label = new JLabel("Uniterm:");

    label.setFont(this.parent.getFONT());

    // Buttons

    final Dimension buttonDimension = new Dimension();

    buttonDimension.setSize(30d, 24d);

    final JIconButton upButton = new JIconButton("icons/001_24.png");

    upButton.setPreferredSize(buttonDimension);

    upButton.setMaximumSize(buttonDimension);

    upButton.setMinimumSize(buttonDimension);

    upButton.addActionListener(new ActionListener(){

       @Override

      public void actionPerformed(final ActionEvent e) {

          UnitermOperatorPanel.this.unitermOperator.swapTerms(term,true);

          UnitermOperatorPanel.this.repaintAllTerms();

           }});

    final JIconButton downButton = new JIconButton("icons/001_22.png");

    downButton.setPreferredSize(buttonDimension);

    downButton.setMaximumSize(buttonDimension);

    downButton.setMinimumSize(buttonDimension);

    downButton.addActionListener(new ActionListener(){