/** 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();
}
/**
* 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);
//
}