Beispiel #1
0
  /** reset the algorithm. Executed when pressed the plus or minus button */
  public void reset() {
    view.enableMenu(false);
    showDialog = false;
    execute = false;

    equationGroup.setEnabled(true);
    for (Equation equation : equations.getEquationSet()) {
      equation.setEquationEnable(true);
    }

    step1Text.setFont(FontService.getSmallBoldFont());
    step2Text.setFont(FontService.getSmallFont());
    step3Text.setFont(FontService.getSmallFont());
    step4Text.setFont(FontService.getSmallFont());
    resultText.setFont(FontService.getSmallFont());
    resultValueText.setFont(FontService.getSmallFont());
    resultMoreText.setFont(FontService.getSmallFont());
    resultXText.setFont(FontService.getSmallFont());

    step1Group.setEnabled(true);
    step2Group.setEnabled(false);
    step3Group.setEnabled(false);
    step4Group.setEnabled(false);
    resultGroup.setEnabled(false);

    step1Text.setEnabled(true);
    step2Text.setEnabled(false);
    step3Text.setEnabled(false);
    step4Text.setEnabled(false);

    step1nextButton.setEnabled(true);
    step2nextButton.setEnabled(false);
    step3nextButton.setEnabled(false);
    step4nextButton.setEnabled(false);

    resultText.setEnabled(false);
    resultMoreText.setEnabled(false);
    resultValueText.setEnabled(false);
    resultXText.setEnabled(false);
    resultValueText.setText(""); // $NON-NLS-1$

    nextButton.setEnabled(false);
    previousButton.setEnabled(false);

    /*
     * dispose the inverse and verify group for the next turn of calculating
     */
    for (Control elem : inverseGroup.getChildren()) {
      elem.dispose();
    }
    inverseGroup.pack();

    for (Control elem : verifyGroup.getChildren()) {
      elem.dispose();
    }
    verifyGroup.pack();
  }
Beispiel #2
0
  /** This method initializes compositeIntro */
  private void createCompositeIntro() {
    compositeIntro = new Composite(content, SWT.NONE);
    compositeIntro.setBackground(white);
    compositeIntro.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false, 2, 1));
    compositeIntro.setLayout(new GridLayout(1, false));

    Label label = new Label(compositeIntro, SWT.NONE);
    label.setFont(FontService.getHeaderFont());
    label.setBackground(white);
    label.setText(Messages.getString("ECView.Title")); // $NON-NLS-1$

    stDescription = new StyledText(compositeIntro, SWT.READ_ONLY);
    stDescription.setText(Messages.getString("ECView.Description")); // $NON-NLS-1$
    stDescription.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false, 1, 1));
  }
Beispiel #3
0
  /**
   * Konstruktor, der die graphischen Komponenten erstellt und eingefügt. Die Group besteht aus
   * einem Label, das den Namen enthält und je einem CombiLabel für den Wert vom Attribut b
   * darstellen.
   */
  public GParamsBob(GBob bob, Composite parent) {
    super(parent);
    // group.setSize(30, 121);
    group.setText(Messages.GParamsBob_0);

    this.bob = bob;

    b = new GCombiLabel(Messages.GParamsBob_1, false, group);
    b.getComp().setLocation(90, 25);

    verifiziert = new Label(group, 0);
    verifiziert.setFont(FontService.getNormalBoldFont());
    verifiziert.setText(Messages.GParamsBob_2);
    // verifiziert.setBounds(100, 90, 130, 20);
    verifiziert.setVisible(false);
    GridData gridData = new GridData();
    gridData.widthHint = 200;
    verifiziert.setLayoutData(gridData);
    setVisible(true);
  }
Beispiel #4
0
  private void initGUI() {
    try {
      FontData coudat = new FontData(VigenereBreakerGui.COURIER, 10, SWT.NORMAL);
      Font coufont = new Font(getDisplay(), coudat);

      FormLayout thisLayout = new FormLayout();
      this.setSize(780, 720);
      this.setLayout(thisLayout);
      {
        cselection = new Composite(this, SWT.NONE);
        FormLayout cselectionLayout = new FormLayout();
        FormData cselectionLData = new FormData();
        cselectionLData.left = new FormAttachment(0, 1000, 10);
        cselectionLData.top = new FormAttachment(0, 1000, 0);
        cselectionLData.width = 760;
        cselectionLData.height = 30;
        cselection.setLayoutData(cselectionLData);
        cselection.setLayout(cselectionLayout);
        {
          lsep = new Label(cselection, SWT.SEPARATOR | SWT.HORIZONTAL);
          FormData lsepLData = new FormData();
          lsepLData.left = new FormAttachment(0, 1000, 0);
          lsepLData.top = new FormAttachment(0, 1000, 26);
          lsepLData.width = 760;
          lsepLData.height = 5;
          lsep.setLayoutData(lsepLData);
        }
        {
          lsthree = new Label(cselection, SWT.BORDER | SWT.CENTER);
          FormData lsthreeLData = new FormData();
          lsthreeLData.left = new FormAttachment(0, 1000, 480);
          lsthreeLData.top = new FormAttachment(0, 1000, 0);
          lsthreeLData.width = 238;
          lsthreeLData.height = 24;
          lsthree.setLayoutData(lsthreeLData);
          lsthree.setText(Messages.VigenereGlobal_navi_decryption);
          lsthree.setFont(FontService.getLargeFont());
          lsthree.setEnabled(false);
        }
        {
          lstwo = new Label(cselection, SWT.BORDER | SWT.CENTER);
          FormData lstwoLData = new FormData();
          lstwoLData.left = new FormAttachment(0, 1000, 240);
          lstwoLData.top = new FormAttachment(0, 1000, 0);
          lstwoLData.width = 238;
          lstwoLData.height = 24;
          lstwo.setLayoutData(lstwoLData);
          lstwo.setText(Messages.VigenereGlobal_navi_frequency);
          lstwo.setFont(FontService.getLargeFont());
        }
        {
          lsone = new Label(cselection, SWT.BORDER | SWT.CENTER);
          FormData lsoneLData = new FormData();
          lsoneLData.left = new FormAttachment(0, 1000, 0);
          lsoneLData.top = new FormAttachment(0, 1000, 0);
          lsoneLData.width = 238;
          lsoneLData.height = 24;
          lsone.setLayoutData(lsoneLData);
          lsone.setText(Messages.VigenereGlobal_navi_friedman);
          lsone.setFont(FontService.getLargeFont());
          lsone.setEnabled(false);
        }
      }
      {
        cvariable = new Composite(this, SWT.NONE);
        FormLayout composite3Layout = new FormLayout();
        FormData composite3LData = new FormData();
        composite3LData.left = new FormAttachment(0, 1000, 10);
        composite3LData.top = new FormAttachment(0, 1000, 30);
        composite3LData.width = 760;
        composite3LData.height = 680;
        cvariable.setLayoutData(composite3LData);
        cvariable.setLayout(composite3Layout);
        {
          lpreview = new Label(cvariable, SWT.NONE);
          FormData lpreviewLData = new FormData();
          lpreviewLData.left = new FormAttachment(0, 1000, 0);
          lpreviewLData.top = new FormAttachment(0, 1000, 10);
          lpreviewLData.width = 760;
          lpreviewLData.height = 15;
          lpreview.setLayoutData(lpreviewLData);
          lpreview.setText(Messages.FrequencyGui_label_preview1 + edtitle);
          lpreview.setFont(FontService.getNormalFont());
        }

        {
          thelp = new Text(cvariable, SWT.MULTI | SWT.WRAP);
          FormData tdescrLData = new FormData();
          tdescrLData.left = new FormAttachment(0, 1000, 0);
          tdescrLData.top = new FormAttachment(0, 1000, 380);
          tdescrLData.width = 234;
          tdescrLData.height = 245;
          thelp.setLayoutData(tdescrLData);
          thelp.setText(
              String.format(Messages.FrequencyGui_text_help, plength) + Messages.FrequencyGui_0);
          thelp.setEditable(false);
          thelp.setEnabled(false);
          thelp.setFont(FontService.getNormalFont());
        }
        {
          lsepend = new Label(cvariable, SWT.SEPARATOR | SWT.HORIZONTAL);
          FormData label1LData = new FormData();
          label1LData.left = new FormAttachment(0, 1000, 0);
          label1LData.top = new FormAttachment(thelp, 5);
          label1LData.width = 760;
          label1LData.height = 4;
          lsepend.setLayoutData(label1LData);
        }
        {
          llength = new Label(cvariable, SWT.NONE);
          FormData llengthLData = new FormData();
          llengthLData.left = new FormAttachment(0, 1000, 260);
          llengthLData.top = new FormAttachment(0, 1000, 400);
          llengthLData.width = 200;
          llengthLData.height = 15;
          llength.setLayoutData(llengthLData);
          String l = Messages.FrequencyGui_label_length;
          llength.setText(l + String.valueOf(plength));
          llength.setFont(FontService.getNormalFont());
        }
        {
          tsample = new Text(cvariable, SWT.MULTI | SWT.WRAP | SWT.BORDER);
          FormData text1LData = new FormData();
          text1LData.left = new FormAttachment(0, 1000, 0);
          text1LData.top = new FormAttachment(0, 1000, 25);
          text1LData.width = 752;
          text1LData.height = 84;
          tsample.setLayoutData(text1LData);
          tsample.setFont(coufont);
          tsample.setEditable(false);
          tsample.setEnabled(false);
          tsample.setBackground(new Color(getDisplay(), 250, 250, 250));
        }
        {
          cgraph = new Composite(cvariable, SWT.NONE);
          GridLayout composite4Layout = new GridLayout();
          composite4Layout.makeColumnsEqualWidth = true;
          FormData composite4LData = new FormData();
          composite4LData.left = new FormAttachment(0, 1000, 0);
          composite4LData.top = new FormAttachment(0, 1000, 120);
          composite4LData.width = 760;
          composite4LData.height = 260;
          cgraph.setLayoutData(composite4LData);
          cgraph.setLayout(composite4Layout);
        }
        {
          cphrase = new Composite(cvariable, SWT.NONE);
          FormLayout composite6Layout = new FormLayout();
          FormData composite6LData = new FormData();
          composite6LData.left = new FormAttachment(0, 1000, 250);
          composite6LData.top = new FormAttachment(0, 1000, 422);
          composite6LData.width = 510;
          composite6LData.height = 100;
          cphrase.setLayoutData(composite6LData);
          cphrase.setLayout(composite6Layout);
        }
        {
          bshift = new Button(cvariable, SWT.PUSH | SWT.CENTER);
          FormData bfriedexecLData = new FormData();
          bfriedexecLData.left = new FormAttachment(0, 1000, 260);
          bfriedexecLData.top = new FormAttachment(lsepend, 5);
          bfriedexecLData.height = 25;
          bshift.setLayoutData(bfriedexecLData);
          bshift.setText(Messages.FrequencyGui_button_shift);
          bshift.setFont(FontService.getNormalFont());
          bshift.setToolTipText(Messages.FrequencyGui_ttip_shift);
          bshift.addSelectionListener(
              new SelectionAdapter() {
                public void widgetSelected(SelectionEvent event) {
                  shift();
                }
              });
        }
        {
          bdecrypt = new Button(cvariable, SWT.PUSH | SWT.CENTER);
          FormData button1LData = new FormData();
          button1LData.left = new FormAttachment(bshift, 5);
          button1LData.top = new FormAttachment(lsepend, 5);
          button1LData.height = 25;
          bdecrypt.setLayoutData(button1LData);
          bdecrypt.setText(Messages.FrequencyGui_button_decrypt);
          bdecrypt.setFont(FontService.getNormalFont());
          bdecrypt.setToolTipText(Messages.FrequencyGui_ttip_decrypt);
          bdecrypt.addSelectionListener(
              new SelectionAdapter() {
                public void widgetSelected(SelectionEvent evt) {
                  decrypt();
                }
              });
        }
        {
          bback = new Button(cvariable, SWT.PUSH | SWT.CENTER);
          FormData bbackLData = new FormData();
          bbackLData.left = new FormAttachment(0, 1000, 0);
          bbackLData.top = new FormAttachment(lsepend, 5);
          bbackLData.height = 25;
          bbackLData.width = 90;
          bback.setLayoutData(bbackLData);
          bback.setText(Messages.FrequencyGui_button_back);
          bback.setFont(FontService.getNormalFont());
          bback.setToolTipText(Messages.FrequencyGui_ttip_back);
          bback.addSelectionListener(
              new SelectionAdapter() {
                public void widgetSelected(SelectionEvent event) {
                  back();
                }
              });
        }
        {
          bnext = new Button(cvariable, SWT.PUSH | SWT.CENTER);
          FormData button1LData = new FormData();
          button1LData.left = new FormAttachment(0, 1000, 670);
          button1LData.top = new FormAttachment(lsepend, 5);
          button1LData.height = 25;
          button1LData.width = 90;
          bnext.setLayoutData(button1LData);
          bnext.setText(Messages.FrequencyGui_button_next);
          bnext.setFont(FontService.getNormalFont());
          bnext.setToolTipText(Messages.FrequencyGui_ttip_next);
          bnext.addSelectionListener(
              new SelectionAdapter() {
                public void widgetSelected(SelectionEvent event) {
                  next();
                }
              });
        }
        {
          boptions = new Button(cvariable, SWT.PUSH | SWT.CENTER);
          FormData boptionsLData = new FormData();
          boptionsLData.left = new FormAttachment(0, 1000, 570);
          boptionsLData.top = new FormAttachment(lsepend, 5);
          boptionsLData.height = 25;
          boptionsLData.width = 90;
          boptions.setLayoutData(boptionsLData);
          boptions.setText(Messages.FrequencyGui_button_options);
          boptions.setFont(FontService.getNormalFont());
          boptions.setToolTipText(Messages.FrequencyGui_ttip_options);
          boptions.addSelectionListener(
              new SelectionAdapter() {
                public void widgetSelected(SelectionEvent event) {
                  showOptions();
                }
              });
        }
      }

      prepare();
      this.layout();
    } catch (Exception ex) {
      LogUtil.logError(ex);
    }
  }
Beispiel #5
0
  /**
   * Create the composite
   *
   * @param parent
   * @param style
   * @param equations
   * @param chineseRemainderView
   */
  public CRTGroup(Composite parent, int style, final ChineseRemainderTheoremView view) {
    super(parent, style);
    this.view = view;
    // setText(MESSAGE_GROUP_NAME);
    setLayout(new FillLayout());

    equations = new Equations();
    inverseEquationSet = new Vector<Control>();
    verifyEquationSet = new Vector<Control>();

    final ScrolledComposite scrolledGroup =
        new ScrolledComposite(this, SWT.V_SCROLL | SWT.H_SCROLL);
    scrolledGroup.setExpandHorizontal(true);
    scrolledGroup.setExpandVertical(true);

    content = new Composite(scrolledGroup, SWT.NONE);
    content.setBounds(0, 0, 763, 554);
    final GridLayout gridLayout = new GridLayout();
    gridLayout.numColumns = 2;
    content.setLayout(gridLayout);
    scrolledGroup.setMinSize(content.computeSize(740, 600));

    compositeTitleArea = new Composite(content, SWT.NONE);
    compositeTitleArea.setLayout(new GridLayout(1, false));
    compositeTitleArea.setBackground(Display.getCurrent().getSystemColor(SWT.COLOR_WHITE));
    compositeTitleArea.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false, 2, 1));

    lblHeader = new Label(compositeTitleArea, SWT.NONE);
    lblHeader.setLayoutData(new GridData(SWT.LEFT, SWT.FILL, false, false, 1, 1));
    lblHeader.setFont(FontService.getHeaderFont());
    lblHeader.setBackground(Display.getCurrent().getSystemColor(SWT.COLOR_WHITE));
    lblHeader.setBounds(10, 0, 666, 24);
    lblHeader.setText(Messages.CRTGroup_Header);

    lblHeaderInfoText = new Text(compositeTitleArea, SWT.WRAP | SWT.MULTI | SWT.READ_ONLY);
    lblHeaderInfoText.setLayoutData(new GridData(SWT.LEFT, SWT.FILL, false, false, 1, 1));
    lblHeaderInfoText.setBackground(Display.getCurrent().getSystemColor(SWT.COLOR_WHITE));
    lblHeaderInfoText.setBounds(10, 30, 666, 45);
    lblHeaderInfoText.setText(Messages.CRTGroup_HeaderInfoText);

    step1Group = new Group(content, SWT.NONE);
    final GridLayout gridLayout_step1Group = new GridLayout();
    gridLayout_step1Group.numColumns = 2;
    step1Group.setLayout(gridLayout_step1Group);
    final GridData gd_step1Group = new GridData(SWT.FILL, SWT.FILL, false, false);
    gd_step1Group.widthHint = 380;
    step1Group.setLayoutData(gd_step1Group);
    step1Group.setText(MESSAGE_STEP_1_GROUP);

    step1Text = new Text(step1Group, SWT.MULTI);
    step1Text.setEditable(false);
    final GridData gd_step1Text = new GridData(SWT.FILL, SWT.FILL, false, false, 1, 2);
    gd_step1Text.minimumWidth = 250;
    gd_step1Text.minimumHeight = 300;
    gd_step1Text.widthHint = 290;
    step1Text.setLayoutData(gd_step1Text);
    step1Text.setText(MESSAGE_STEP1);
    step1Text.setFont(FontService.getSmallBoldFont());
    new Label(step1Group, SWT.NONE);

    step1nextButton = new Button(step1Group, SWT.NONE);
    step1nextButton.addSelectionListener(
        new SelectionAdapter() {
          @Override
          public void widgetSelected(final SelectionEvent e) {
            /*
             * checks whether all fields are filled
             */
            Vector<Equation> data = equations.getEquationSet();
            inverseEquationSet.clear();
            verifyEquationSet.clear();
            numberOfEquations = data.size();

            String[] tmpATextfield = new String[numberOfEquations];
            String[] tmpMTextfield = new String[numberOfEquations];

            /*
             * the modul always have to be bigger than the parameter a
             */
            BigInteger tmpA = BigInteger.ZERO, tmpM = BigInteger.ONE;
            try {
              for (int i = 0; i < numberOfEquations; i++) {
                tmpA = new BigInteger(data.get(i).getTextfieldA());
                tmpM = new BigInteger(data.get(i).getTextfieldM());
                tmpA = tmpA.mod(tmpM);

                /*
                 * Zero is not allowed. we change the value to one if the remainder is zero
                 */
                if (tmpA == BigInteger.ZERO) {
                  tmpA = BigInteger.ONE;
                }

                data.get(i).setTextfieldA(tmpA.toString());
              }
            } catch (NumberFormatException e1) {
              MessageBox mb =
                  new MessageBox(Display.getDefault().getActiveShell(), SWT.ICON_ERROR | SWT.OK);
              mb.setText(Messages.CRTGroup_error_no_equations_title);
              mb.setMessage(Messages.CRTGroup_error_no_equations_text);
              mb.open();
              return;
            }

            /*
             * in the array "marking" we store the id of the not paired coprime equations
             */
            int[] marking = new int[numberOfEquations];
            for (int i = 0; i < marking.length; i++) {
              marking[i] = 0;
            }
            boolean notFilled = false;
            for (int i = 0; i < numberOfEquations; i++) {
              tmpATextfield[i] = data.get(i).getTextfieldA();
              tmpMTextfield[i] = data.get(i).getTextfieldM();
              if (data.get(i).getTextfieldA().length() == 0
                  || data.get(i).getTextfieldM().length() == 0) notFilled = true;
            }
            if (notFilled) return;

            /*
             * it is paired compared, whether the "moduli" are paired coprime. if this is not the case, then the
             * position of the equation is marked.
             */
            for (int i = 0; i < tmpMTextfield.length; i++) {
              BigInteger a = new BigInteger(tmpMTextfield[i]);
              for (int j = i + 1; j < tmpMTextfield.length; j++) {
                XEuclid gcd = new XEuclid();
                BigInteger tmpValue = gcd.xeuclid(a, new BigInteger(tmpMTextfield[j]));
                if (tmpValue.compareTo(BigInteger.ONE) != 0) {
                  marking[j] = -1;
                }
              }
            }

            /*
             * if no equation is marked, then the VerifyDialog not displayed. Otherwise, the
             * "CheckingEquationDialog" is displayed for corrections.
             */
            for (int i = 0; i < marking.length; i++) {
              if (marking[i] == -1) {
                showDialog = true;
              }
            }
            int dialogStatus = 0;

            /*
             * open the Dialog to correct the input
             */
            if (showDialog) {
              CheckingEquationDialog ced =
                  new CheckingEquationDialog(getShell(), equations.getEquationSet(), marking);
              dialogStatus = ced.open();
            }

            /*
             * if you closes the "CheckingEquationDialog" by the cancel button, then the ChineseReaminder is not
             * computed.
             */
            if (dialogStatus == 0) {
              /*
               * GUI functionality. Disable or enable widgets
               */
              step1Text.setFont(FontService.getSmallFont());
              step2Text.setFont(FontService.getSmallBoldFont());
              execute = true;
              step1nextButton.setEnabled(false);
              step1Group.setEnabled(false);
              step2Group.setEnabled(true);
              step2Text.setEnabled(true);
              step2nextButton.setEnabled(true);
              crt = new ChineseRemainderTheorem();
              BigInteger[] a = new BigInteger[numberOfEquations];
              BigInteger[] moduli = new BigInteger[numberOfEquations];
              for (int i = 0; i < numberOfEquations; i++) {
                a[i] = new BigInteger(data.get(i).getTextfieldA());
                moduli[i] = new BigInteger(data.get(i).getTextfieldM());
              }
              /*
               * create the equations
               */
              for (Equation equation : equations.getEquationSet()) {
                equation.setEquationEnable(false);
              }

              /*
               * store the result
               */
              result = crt.crt(moduli, a);
            }
          }
        });
    final GridData gd_step1nextButton = new GridData(SWT.FILL, SWT.BOTTOM, true, false);
    gd_step1nextButton.widthHint = 60;
    step1nextButton.setLayoutData(gd_step1nextButton);
    step1nextButton.setText(MESSAGE_STEP_2_GROUP);

    scrolledEquation = new Group(content, SWT.V_SCROLL);
    scrolledEquation.setLayout(new GridLayout(1, false));
    scrolledEquation.setText(MESSAGE_GROUP_EQUATION);
    scrolledEquation.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false, 1, 2));

    ScrolledComposite scrolledComposite =
        new ScrolledComposite(scrolledEquation, SWT.H_SCROLL | SWT.V_SCROLL);

    GridData gridData = new GridData(SWT.FILL, SWT.FILL, true, true, 1, 1);
    gridData.heightHint = 62;
    scrolledComposite.setLayoutData(gridData);

    scrolledComposite.setExpandHorizontal(true);
    scrolledComposite.setExpandVertical(true);

    equationGroup = new Composite(scrolledComposite, SWT.NONE);
    final GridLayout gridLayout_equationGroup = new GridLayout();
    gridLayout_equationGroup.numColumns = 7;
    equationGroup.setLayout(gridLayout_equationGroup);
    equations.createEquation(0, equationGroup, this);
    equations.createEquation(1, equationGroup, this);
    scrolledComposite.setContent(equationGroup);

    step2Group = new Group(content, SWT.NONE);
    step2Group.setEnabled(false);
    final GridLayout gridLayout_step2Group = new GridLayout();
    gridLayout_step2Group.numColumns = 2;
    step2Group.setLayout(gridLayout_step2Group);
    step2Group.setLayoutData(new GridData(SWT.FILL, SWT.FILL, false, false));
    step2Group.setText(MESSAGE_STEP_2_GROUP);

    step2Text = new Text(step2Group, SWT.MULTI);
    step2Text.setEnabled(false);
    step2Text.setEditable(false);
    final GridData gd_step2Text = new GridData(SWT.FILL, SWT.TOP, false, false, 1, 2);
    gd_step2Text.widthHint = 290;
    step2Text.setLayoutData(gd_step2Text);
    step2Text.setText(MESSAGE_STEP2);
    new Label(step2Group, SWT.NONE);

    step2nextButton = new Button(step2Group, SWT.NONE);
    step2nextButton.addSelectionListener(
        new SelectionAdapter() {
          @Override
          public void widgetSelected(final SelectionEvent e) {
            /*
             * GUI functionality disable or enable widgets
             */
            step2Text.setFont(FontService.getSmallFont());
            step3Text.setFont(FontService.getSmallBoldFont());
            step2nextButton.setEnabled(false);
            step2Group.setEnabled(false);
            step3Group.setEnabled(true);
            step3Text.setEnabled(true);
            step3nextButton.setEnabled(true);

            /*
             * create the inverse-group
             */
            BigInteger[] bigM = crt.getBigM();

            for (int i = -1; i < bigM.length; i++) {
              if (i == -1) {
                Label mLabel = new Label(inverseGroup, SWT.NONE);
                mLabel.setText("m"); // $NON-NLS-1$
                mLabel.setVisible(false);

                Label equivalenzLabel = new Label(inverseGroup, SWT.NONE);
                equivalenzLabel.setText("="); // $NON-NLS-1$
                equivalenzLabel.setVisible(false);

                Text mText = new Text(inverseGroup, SWT.READ_ONLY | SWT.BORDER);
                mText.setText(crt.getModulus().toString());
                final GridData gd_mText = new GridData(SWT.FILL, SWT.CENTER, true, false, 4, 1);
                gd_mText.widthHint = 267;
                mText.setLayoutData(gd_mText);
                mText.setVisible(false);

                inverseEquationSet.add(mLabel);
                inverseEquationSet.add(equivalenzLabel);
                inverseEquationSet.add(mText);

              } else {

                Label mLabel = new Label(inverseGroup, SWT.NONE);
                mLabel.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false));
                mLabel.setText("M" + convertToSubset(i)); // $NON-NLS-1$
                mLabel.setVisible(false);

                Label equivalenzLabelFront = new Label(inverseGroup, SWT.NONE);
                equivalenzLabelFront.setLayoutData(
                    new GridData(SWT.FILL, SWT.CENTER, false, false));
                equivalenzLabelFront.setText("="); // $NON-NLS-1$
                equivalenzLabelFront.setVisible(false);

                Text mText = new Text(inverseGroup, SWT.READ_ONLY | SWT.BORDER);
                mText.setEditable(false);
                final GridData gd_mText = new GridData(SWT.FILL, SWT.CENTER, false, false);
                gd_mText.widthHint = 140;
                mText.setLayoutData(gd_mText);
                mText.setText(crt.getBigM()[i].toString());
                mText.setVisible(false);

                Label yLabel = new Label(inverseGroup, SWT.NONE);
                yLabel.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false));
                yLabel.setText("y" + convertToSubset(i)); // $NON-NLS-1$
                yLabel.setVisible(false);

                Label equivalenzLabelBack = new Label(inverseGroup, SWT.NONE);
                equivalenzLabelBack.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false));
                equivalenzLabelBack.setText("="); // $NON-NLS-1$
                equivalenzLabelBack.setVisible(false);

                Text yText = new Text(inverseGroup, SWT.READ_ONLY | SWT.BORDER);
                yText.setEditable(false);
                yText.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false));
                yText.setText(crt.getInverse()[i].toString());
                yText.setVisible(false);

                inverseEquationSet.add(mLabel);
                inverseEquationSet.add(equivalenzLabelFront);
                inverseEquationSet.add(mText);
                inverseEquationSet.add(yLabel);
                inverseEquationSet.add(equivalenzLabelBack);
                inverseEquationSet.add(yText);
              }
            }
            /*
             * expand the scolledComposite for better look
             */
            // inverseGroup.pack();
            if (numberOfEquations <= 4) {
              scrolledComposite_1.setExpandVertical(true);
            } else {
              scrolledComposite_1.setExpandVertical(false);
            }
            inverseGroup.pack();

            /*
             * make the widgets visible. the first three widgets always have to be visible
             */
            for (int i = 0; i < inverseEquationSet.size(); i++) {
              /*
               * make only the left side visible
               */
              if (i == 0 || i == 1 || i == 2 || i % 6 == 3 || i % 6 == 4 || i % 6 == 5) {
                inverseEquationSet.get(i).setVisible(true);
              }
            }
          }
        });
    step2nextButton.setEnabled(false);
    final GridData gd_step2nextButton = new GridData(SWT.FILL, SWT.BOTTOM, true, true);
    gd_step2nextButton.widthHint = 60;
    step2nextButton.setLayoutData(gd_step2nextButton);
    step2nextButton.setText(MESSAGE_STEP_3_GROUP);

    step3Group = new Group(content, SWT.NONE);
    step3Group.setEnabled(false);
    final GridData gd_step3Group = new GridData(SWT.FILL, SWT.FILL, false, false);
    gd_step3Group.widthHint = 280;
    step3Group.setLayoutData(gd_step3Group);
    step3Group.setText(MESSAGE_STEP_3_GROUP);
    final GridLayout gridLayout_step3Group = new GridLayout();
    gridLayout_step3Group.numColumns = 2;
    step3Group.setLayout(gridLayout_step3Group);

    step3Text = new Text(step3Group, SWT.MULTI);
    step3Text.setEnabled(false);
    step3Text.setEditable(false);
    final GridData gd_step3Text = new GridData(SWT.FILL, SWT.TOP, false, false, 1, 2);
    gd_step3Text.widthHint = 290;
    step3Text.setLayoutData(gd_step3Text);
    step3Text.setText(MESSAGE_STEP3);
    new Label(step3Group, SWT.NONE);

    step3nextButton = new Button(step3Group, SWT.NONE);
    step3nextButton.addSelectionListener(
        new SelectionAdapter() {
          @Override
          public void widgetSelected(final SelectionEvent e) {
            /*
             * GUI functionality. Disable or enable widgets
             */
            step3Text.setFont(FontService.getSmallFont());
            step4Text.setFont(FontService.getSmallBoldFont());
            step3nextButton.setEnabled(false);
            step3Group.setEnabled(false);
            step4Group.setEnabled(true);
            step4Text.setEnabled(true);
            step4nextButton.setEnabled(true);
            nextButton.setVisible(true);

            /*
             * make the widgets visible.
             */
            for (int i = 3; i < inverseEquationSet.size(); i++) {
              /*
               * make only the left side visible
               */
              if (i % 6 == 0 || i % 6 == 1 || i % 6 == 2) {
                inverseEquationSet.get(i).setVisible(true);
              }
            }
          }
        });
    step3nextButton.setEnabled(false);
    final GridData gd_step3nextButton = new GridData(SWT.FILL, SWT.BOTTOM, true, true);
    gd_step3nextButton.widthHint = 60;
    step3nextButton.setLayoutData(gd_step3nextButton);
    step3nextButton.setText(MESSAGE_STEP_4_GROUP);

    scrolledInverse = new Group(content, SWT.V_SCROLL);
    scrolledInverse.setLayout(new GridLayout(1, false));
    scrolledInverse.setText("Inverse"); // $NON-NLS-1$

    GridData gridData_1 = new GridData(SWT.FILL, SWT.FILL, true, false, 1, 2);
    gridData_1.heightHint = 170;
    gridData_1.widthHint = 177;
    scrolledInverse.setLayoutData(gridData_1);

    scrolledComposite_1 = new ScrolledComposite(scrolledInverse, SWT.H_SCROLL | SWT.V_SCROLL);
    scrolledComposite_1.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 1, 1));
    scrolledComposite_1.setExpandHorizontal(true);
    scrolledComposite_1.setExpandVertical(true);

    inverseGroup = new Composite(scrolledComposite_1, SWT.NONE);
    final GridLayout gridLayout_1 = new GridLayout();
    gridLayout_1.numColumns = 6;
    inverseGroup.setLayout(gridLayout_1);
    scrolledComposite_1.setContent(inverseGroup);
    scrolledComposite_1.setMinSize(inverseGroup.computeSize(SWT.DEFAULT, SWT.DEFAULT));

    step4Group = new Group(content, SWT.NONE);
    step4Group.setEnabled(false);
    final GridData gd_step4Group = new GridData(SWT.FILL, SWT.FILL, false, false);
    gd_step4Group.heightHint = 82;
    step4Group.setLayoutData(gd_step4Group);
    step4Group.setText(MESSAGE_STEP_4_GROUP);
    final GridLayout gridLayout_step4Group = new GridLayout();
    gridLayout_step4Group.numColumns = 2;
    step4Group.setLayout(gridLayout_step4Group);

    step4Text = new Text(step4Group, SWT.MULTI);
    step4Text.setEnabled(false);
    step4Text.setEditable(false);
    final GridData gd_step4Text = new GridData(SWT.FILL, SWT.FILL, false, false, 1, 2);
    gd_step4Text.widthHint = 290;
    step4Text.setLayoutData(gd_step4Text);
    step4Text.setText(MESSAGE_STEP4);
    new Label(step4Group, SWT.NONE);

    step4nextButton = new Button(step4Group, SWT.NONE);
    step4nextButton.addSelectionListener(
        new SelectionAdapter() {
          @Override
          public void widgetSelected(final SelectionEvent e) {
            /*
             * GUI functionality. Disable or enable widgets
             */
            step4Text.setFont(FontService.getSmallFont());
            resultXText.setFont(FontService.getSmallBoldFont());
            resultText.setFont(FontService.getSmallBoldFont());
            resultValueText.setFont(FontService.getSmallBoldFont());
            resultMoreText.setFont(FontService.getSmallBoldFont());
            step4nextButton.setEnabled(false);
            step4Group.setEnabled(false);
            resultGroup.setEnabled(true);
            resultXText.setEnabled(true);
            resultText.setEnabled(true);
            resultValueText.setEnabled(true);
            resultMoreText.setEnabled(true);
            nextButton.setEnabled(true);
            previousButton.setEnabled(false);

            /*
             * create the verify-group
             */
            resultValueText.setText(result.toString());

            Vector<Equation> equationSet = equations.getEquationSet();
            for (Equation equation : equationSet) {
              Text resultText = new Text(verifyGroup, SWT.READ_ONLY | SWT.BORDER);
              final GridData gd_resultText = new GridData(SWT.FILL, SWT.CENTER, true, false);
              gd_resultText.widthHint = 121;
              resultText.setLayoutData(gd_resultText);
              resultText.setText(result.toString());

              Label cLabel = new Label(verifyGroup, SWT.NONE);
              cLabel.setText(uCongruence);

              Text aText = new Text(verifyGroup, SWT.READ_ONLY | SWT.BORDER);
              final GridData gd_aText = new GridData(SWT.FILL, SWT.CENTER, false, false);
              gd_aText.widthHint = 51;
              aText.setLayoutData(gd_aText);
              aText.setText(equation.getTextfieldA());

              Label modLabel = new Label(verifyGroup, SWT.NONE);
              modLabel.setText("mod"); // $NON-NLS-1$

              Text mText = new Text(verifyGroup, SWT.READ_ONLY | SWT.BORDER);
              final GridData gd_mText = new GridData(SWT.FILL, SWT.CENTER, false, false);
              gd_mText.widthHint = 51;
              mText.setLayoutData(gd_mText);
              mText.setText(equation.getTextfieldM());

              verifyEquationSet.add(resultText);
              verifyEquationSet.add(cLabel);
              verifyEquationSet.add(aText);
              verifyEquationSet.add(modLabel);
              verifyEquationSet.add(mText);
            }
            // verifyGroup.pack();
            if (numberOfEquations <= 4) {
              scrolledComposite_2.setExpandVertical(true);
            } else {
              scrolledComposite_2.setExpandVertical(false);
            }
            verifyGroup.pack();

            /*
             * enable the export menu
             */
            view.enableMenu(true);
          }
        });
    step4nextButton.setEnabled(false);
    final GridData gd_step4nextButton = new GridData(SWT.FILL, SWT.BOTTOM, true, true);
    gd_step4nextButton.widthHint = 60;
    step4nextButton.setLayoutData(gd_step4nextButton);
    step4nextButton.setText(MESSAGE_RESULT_GROUP);

    resultGroup = new Group(content, SWT.NONE);
    resultGroup.setEnabled(false);
    final GridData gd_resultGroup = new GridData(SWT.FILL, SWT.FILL, false, false);
    gd_resultGroup.heightHint = 115;
    resultGroup.setLayoutData(gd_resultGroup);
    resultGroup.setText(MESSAGE_RESULT_GROUP);
    final GridLayout gridLayout_resultGroup = new GridLayout();
    gridLayout_resultGroup.numColumns = 4;
    resultGroup.setLayout(gridLayout_resultGroup);

    resultText = new Text(resultGroup, SWT.NONE);
    resultText.setEnabled(false);
    resultText.setEditable(false);
    resultText.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false, 4, 1));
    resultText.setText(MESSAGE_RESULT);

    resultXText = new Text(resultGroup, SWT.READ_ONLY);
    resultXText.setEditable(false);
    resultXText.setEnabled(false);
    resultXText.setText(Messages.CRTGroup_0);
    final GridData gd_resultXText = new GridData(SWT.FILL, SWT.CENTER, false, false);
    gd_resultXText.widthHint = 25;
    gd_resultXText.heightHint = 18;
    resultXText.setLayoutData(gd_resultXText);

    resultValueText = new Text(resultGroup, SWT.READ_ONLY | SWT.BORDER);
    resultValueText.setEditable(false);
    resultValueText.setEnabled(false);
    resultValueText.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false, 3, 1));

    resultMoreText = new Text(resultGroup, SWT.NONE);
    resultMoreText.setEnabled(false);
    resultMoreText.setEditable(false);
    resultMoreText.setLayoutData(new GridData(SWT.FILL, SWT.BOTTOM, true, true, 2, 1));
    resultMoreText.setText(MESSAGE_MORE_SOLUTION);

    nextButton = new Button(resultGroup, SWT.NONE);
    nextButton.addSelectionListener(
        new SelectionAdapter() {
          @Override
          public void widgetSelected(final SelectionEvent e) {
            /*
             * change the result value in the verify-group
             */
            BigInteger tmpValue = new BigInteger(resultValueText.getText());
            tmpValue = tmpValue.add(crt.getModulus());
            resultValueText.setText(tmpValue.toString());

            for (int i = 0; i < verifyEquationSet.size(); i++) {
              if (i % 5 == 0) {
                Text tmpText = (Text) verifyEquationSet.get(i);
                tmpText.setText(tmpValue.toString());
              }
            }
            previousButton.setEnabled(true);
          }
        });
    nextButton.setEnabled(false);
    nextButton.setLayoutData(new GridData(SWT.FILL, SWT.BOTTOM, false, true));
    nextButton.setText(MESSAGE_NEXT);

    previousButton = new Button(resultGroup, SWT.NONE);
    previousButton.addSelectionListener(
        new SelectionAdapter() {
          @Override
          public void widgetSelected(final SelectionEvent e) {
            /*
             * change the result value in the verify-group
             */
            BigInteger tmpValue = new BigInteger(resultValueText.getText());
            tmpValue = tmpValue.subtract(crt.getModulus());

            if (tmpValue.subtract(crt.getModulus()).compareTo(BigInteger.ZERO) < 0) {
              previousButton.setEnabled(false);
            }

            resultValueText.setText(tmpValue.toString());

            for (int i = 0; i < verifyEquationSet.size(); i++) {
              if (i % 5 == 0) {
                Text tmpText = (Text) verifyEquationSet.get(i);
                tmpText.setText(tmpValue.toString());
              }
            }
          }
        });
    previousButton.setEnabled(false);
    previousButton.setLayoutData(new GridData(SWT.FILL, SWT.BOTTOM, false, true));
    previousButton.setText(MESSAGE_PREVIOUS);

    scrolledVerify = new Group(content, SWT.V_SCROLL);
    scrolledVerify.setText(MESSAGE_VERIFY_GROUP);
    scrolledVerify.setLayout(new GridLayout(1, false));
    final GridData gd_scrolledVerify = new GridData(SWT.FILL, SWT.FILL, true, false, 1, 2);
    gd_scrolledVerify.heightHint = 102;
    scrolledVerify.setLayoutData(gd_scrolledVerify);

    scrolledComposite_2 = new ScrolledComposite(scrolledVerify, SWT.H_SCROLL | SWT.V_SCROLL);
    scrolledComposite_2.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 1, 1));
    scrolledComposite_2.setExpandHorizontal(true);
    scrolledComposite_2.setExpandVertical(true);

    verifyGroup = new Composite(scrolledComposite_2, SWT.NONE);
    final GridLayout gridLayout_verifyGroup = new GridLayout();
    gridLayout_verifyGroup.numColumns = 5;
    verifyGroup.setLayout(gridLayout_verifyGroup);
    scrolledComposite_2.setContent(verifyGroup);

    // step1Text.setFont(FontService.getNormalFont());
    step2Text.setFont(FontService.getSmallFont());
    step3Text.setFont(FontService.getSmallFont());
    step4Text.setFont(FontService.getSmallFont());
    new Label(content, SWT.NONE);

    scrolledGroup.setContent(content);
    //
  }