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