// Cosmo Generated main applet Java Source file /* Generated by the Cosmo Code Visual Builder, Version 2.3. */ import java.applet.*; import java.awt.*; //{{ import_classes - Begin Non-Editable Code Block import critical; //}} import_classes - End Non-Editable Code Block /** * Put the class description here. * @author Raymond Manzoni * @version 0.6 (04 nov 01) **/ public class zeta extends Applet { public double xOffsetRef=0.5d; //middle of scrollbar x public double yOffsetRef=14.13472514d; //more secure? public double string2double(String st) { double res; try { res=Double.valueOf(st).doubleValue(); } catch (Exception e) { //error trapping res= 1.0; } return res; } public int string2int(String st) { int res; try { res=Integer.valueOf(st).intValue(); } catch (Exception e) { //error trapping res= 1; } return res; } /** * Initialize this object. **/ public void init() { super.init(); //{{ init_applet - Begin Non-Editable Code Block setLayout(null); setBackground(new Color(0x083968)); setSize(750, 650); //}} init_applet - End Non-Editable Code Block //{{ init_objects - Begin Non-Editable Code Block // Initialize fond add(fond = new java.awt.Panel()); fond.setLayout(null); fond.setBackground(new Color(0x083968)); fond.setName("label7"); fond.setLocation(0, 0); fond.setSize(750, 650); fond.setVisible(true); // Initialize Method fond.add(Method = new java.awt.Choice()); Method.addItem("Finite zeta sum"); Method.addItem("Mirror finite sum"); Method.addItem("Alternate zeta sum"); Method.addItem("Mirror alternate sum"); Method.addItem("Finite Euler product"); Method.addItem("Riemann-Siegel function"); Method.addItem("Riemann-zeta function"); Method.addItem("Riemann-zeta 3D"); Method.addItem("CSE 0.6 - R.Manzoni"); Method.setFont(new Font("Dialog", 0, 12)); Method.setEnabled(true); Method.setName("method"); Method.setLocation(24, 620); Method.setVisible(true); // Initialize PointsNumber fond.add(PointsNumber = new java.awt.TextField()); PointsNumber.setText("200"); PointsNumber.setBackground(new Color(0x0f5b6f)); PointsNumber.setForeground(new Color(0xffffff)); PointsNumber.setColumns(6); PointsNumber.setName("pointsNumber"); PointsNumber.setLocation(433, 616); PointsNumber.setSize(124, 33); PointsNumber.setVisible(true); // Initialize numPointsTxt fond.add(numPointsTxt = new java.awt.Label()); numPointsTxt.setText("number of points"); numPointsTxt.setBackground(new Color(0x0f5b6f)); numPointsTxt.setForeground(new Color(0xffffff)); numPointsTxt.setName("NumPointsTxt"); numPointsTxt.setLocation(277, 623); numPointsTxt.setSize(155, 27); numPointsTxt.setVisible(true); // Initialize Reset fond.add(Reset = new java.awt.Button()); Reset.setLabel("reset default"); Reset.setBackground(new Color(0x0f5b6f)); Reset.setForeground(new Color(0xffffff)); Reset.setActionCommand(""); Reset.setName("reset"); Reset.setLocation(555, 616); Reset.setSize(194, 33); Reset.setVisible(true); // Initialize Critical fond.add(Critical = new critical()); Critical.setBackground(new Color(0xb5b7ff)); Critical.setName("critical"); Critical.setLocation(24, 29); Critical.setSize(700, 495); Critical.setVisible(true); // Initialize inputScaling fond.add(inputScaling = new java.awt.TextField()); inputScaling.setText("100"); inputScaling.setBackground(new Color(0x0f5b6f)); inputScaling.setForeground(new Color(0xffffff)); inputScaling.setColumns(8); inputScaling.setName("InputScaling"); inputScaling.setLocation(156, 523); inputScaling.setSize(112, 32); inputScaling.setVisible(true); // Initialize inputScalingTxt fond.add(inputScalingTxt = new java.awt.Label()); inputScalingTxt.setText("Input > scaling"); inputScalingTxt.setBackground(new Color(0x0f5b6f)); inputScalingTxt.setForeground(new Color(0xffffff)); inputScalingTxt.setName("InputScalingTxt"); inputScalingTxt.setLocation(25, 523); inputScalingTxt.setSize(132, 31); inputScalingTxt.setVisible(true); // Initialize yOffsetS fond.add(yOffsetS = new java.awt.Scrollbar()); yOffsetS.setVisibleAmount(20); yOffsetS.setMinimum(-10000); yOffsetS.setMaximum(10000); yOffsetS.setBlockIncrement(10); yOffsetS.setName("YOffsetS"); yOffsetS.setLocation(725, 26); yOffsetS.setSize(24, 500); yOffsetS.setVisible(true); // Initialize inputScalingS fond.add(inputScalingS = new java.awt.Scrollbar()); inputScalingS.setValue(0); inputScalingS.setVisibleAmount(10); inputScalingS.setMinimum(-40); inputScalingS.setMaximum(60); inputScalingS.setBlockIncrement(10); inputScalingS.setName("InputScalingS"); inputScalingS.setLocation(1, 30); inputScalingS.setSize(23, 494); inputScalingS.setVisible(true); // Initialize outputScalingTxt fond.add(outputScalingTxt = new java.awt.Label()); outputScalingTxt.setText("Output < scaling"); outputScalingTxt.setBackground(new Color(0x0f5b6f)); outputScalingTxt.setForeground(new Color(0xffffff)); outputScalingTxt.setName("OutputScalingTxt"); outputScalingTxt.setLocation(15, 0); outputScalingTxt.setSize(142, 31); outputScalingTxt.setVisible(true); // Initialize outputScaling fond.add(outputScaling = new java.awt.TextField()); outputScaling.setText("1"); outputScaling.setBackground(new Color(0x0f5b6f)); outputScaling.setForeground(new Color(0xffffff)); outputScaling.setColumns(8); outputScaling.setName("OutputScaling"); outputScaling.setLocation(156, 0); outputScaling.setSize(112, 32); outputScaling.setVisible(true); // Initialize outputScalingS fond.add(outputScalingS = new java.awt.Scrollbar()); outputScalingS.setOrientation(0); outputScalingS.setVisibleAmount(6); outputScalingS.setMinimum(-50); outputScalingS.setMaximum(50); outputScalingS.setBlockIncrement(6); outputScalingS.setName("OutputScalingS"); outputScalingS.setLocation(266, 2); outputScalingS.setSize(460, 27); outputScalingS.setVisible(true); // Initialize yOffsetTxt fond.add(yOffsetTxt = new java.awt.Label()); yOffsetTxt.setText("Y offset"); yOffsetTxt.setBackground(new Color(0x0f5b6f)); yOffsetTxt.setForeground(new Color(0xffffff)); yOffsetTxt.setName("yOffsetTxt"); yOffsetTxt.setLocation(558, 551); yOffsetTxt.setSize(67, 29); yOffsetTxt.setVisible(true); // Initialize yOffset fond.add(yOffset = new java.awt.TextField()); yOffset.setText("0"); yOffset.setBackground(new Color(0x0f5b6f)); yOffset.setForeground(new Color(0xffffff)); yOffset.setColumns(8); yOffset.setName("yOffset"); yOffset.setLocation(625, 551); yOffset.setSize(124, 33); yOffset.setVisible(true); // Initialize xOffsetTxt fond.add(xOffsetTxt = new java.awt.Label()); xOffsetTxt.setText(" Center : X Offset"); xOffsetTxt.setBackground(new Color(0x0f5b6f)); xOffsetTxt.setForeground(new Color(0xffffff)); xOffsetTxt.setName("xOffsetTxt"); xOffsetTxt.setLocation(271, 554); xOffsetTxt.setSize(161, 28); xOffsetTxt.setVisible(true); // Initialize xOffset fond.add(xOffset = new java.awt.TextField()); xOffset.setText("0.5"); xOffset.setBackground(new Color(0x0f5b6f)); xOffset.setForeground(new Color(0xffffff)); xOffset.setColumns(8); xOffset.setName("XOffset"); xOffset.setLocation(433, 551); xOffset.setSize(124, 33); xOffset.setVisible(true); // Initialize constraintTxt fond.add(constraintTxt = new java.awt.Label()); constraintTxt.setText("Constraint >"); constraintTxt.setBackground(new Color(0x0f5b6f)); constraintTxt.setForeground(new Color(0xffffff)); constraintTxt.setName("ConstraintTxt"); constraintTxt.setLocation(25, 582); constraintTxt.setSize(123, 39); constraintTxt.setVisible(true); // Initialize cNone fond.add(cNone = new java.awt.Checkbox()); cNone.setLabel("none"); cNone.setState(true); cNone.setBackground(new Color(0x0f5b6f)); cNone.setForeground(new Color(0xffffff)); cNone.setName("CNone"); cNone.setLocation(152, 582); cNone.setSize(72, 39); cNone.setVisible(true); // Initialize cX fond.add(cX = new java.awt.Checkbox()); cX.setLabel("X"); cX.setState(false); cX.setBackground(new Color(0x0f5b6f)); cX.setForeground(new Color(0xffffff)); cX.setName("CX"); cX.setLocation(228, 583); cX.setSize(59, 39); cX.setVisible(true); // Initialize cY fond.add(cY = new java.awt.Checkbox()); cY.setLabel("Y"); cY.setState(false); cY.setBackground(new Color(0x0f5b6f)); cY.setForeground(new Color(0xffffff)); cY.setName("CY"); cY.setLocation(291, 583); cY.setSize(55, 39); cY.setVisible(true); // Initialize cRadius fond.add(cRadius = new java.awt.Checkbox()); cRadius.setLabel("radius"); cRadius.setState(false); cRadius.setBackground(new Color(0x0f5b6f)); cRadius.setForeground(new Color(0xffffff)); cRadius.setName("CRadius"); cRadius.setLocation(350, 583); cRadius.setSize(80, 39); cRadius.setVisible(true); // Initialize radius fond.add(radius = new java.awt.TextField()); radius.setText("0"); radius.setBackground(new Color(0x0f5b6f)); radius.setForeground(new Color(0xffffff)); radius.setColumns(8); radius.setName("Radius"); radius.setLocation(433, 583); radius.setSize(124, 33); radius.setVisible(true); // Initialize cArg fond.add(cArg = new java.awt.Checkbox()); cArg.setLabel("arg"); cArg.setState(false); cArg.setBackground(new Color(0x0f5b6f)); cArg.setForeground(new Color(0xffffff)); cArg.setName("CArg"); cArg.setLocation(558, 581); cArg.setSize(66, 39); cArg.setVisible(true); // Initialize arg fond.add(arg = new java.awt.TextField()); arg.setText("0"); arg.setBackground(new Color(0x0f5b6f)); arg.setForeground(new Color(0xffffff)); arg.setColumns(8); arg.setName("Arg"); arg.setLocation(625, 583); arg.setSize(124, 33); arg.setVisible(true); // Initialize xOffsetS fond.add(xOffsetS = new java.awt.Scrollbar()); xOffsetS.setOrientation(0); xOffsetS.setVisibleAmount(20); xOffsetS.setMinimum(-200); xOffsetS.setMaximum(200); xOffsetS.setBlockIncrement(10); xOffsetS.setName("XOffsetS"); xOffsetS.setLocation(265, 525); xOffsetS.setSize(460, 27); xOffsetS.setVisible(true); // Initialize findNext fond.add(findNext = new java.awt.Button()); findNext.setLabel("Next zero"); findNext.setBackground(new Color(0x0f5b6f)); findNext.setForeground(new Color(0xffffff)); findNext.setActionCommand(""); findNext.setName("FindNext"); findNext.setLocation(24, 552); findNext.setSize(123, 33); findNext.setVisible(true); // Initialize findPrevious fond.add(findPrevious = new java.awt.Button()); findPrevious.setLabel("Previous zero"); findPrevious.setBackground(new Color(0x0f5b6f)); findPrevious.setForeground(new Color(0xffffff)); findPrevious.setActionCommand(""); findPrevious.setName("FindPrevious"); findPrevious.setLocation(145, 552); findPrevious.setSize(123, 33); findPrevious.setVisible(true); // Initialize back fond.add(back = new java.awt.Label()); back.setText(""); back.setBackground(new Color(0x0f5b6f)); back.setForeground(new Color(0xffffff)); back.setName("label7"); back.setLocation(0, 0); back.setSize(750, 650); back.setVisible(true); // Initialize adaptor itemAdaptor1 = new ItemAdaptor1(); Method.addItemListener(itemAdaptor1); // Initialize adaptor actionAdaptor2 = new ActionAdaptor2(); PointsNumber.addActionListener(actionAdaptor2); // Initialize adaptor actionAdaptor3 = new ActionAdaptor3(); Reset.addActionListener(actionAdaptor3); // Initialize adaptor mouseAdaptor4 = new MouseAdaptor4(); Critical.addMouseListener(mouseAdaptor4); // Initialize adaptor mouseMotionAdaptor5 = new MouseMotionAdaptor5(); Critical.addMouseMotionListener(mouseMotionAdaptor5); // Initialize adaptor actionAdaptor6 = new ActionAdaptor6(); inputScaling.addActionListener(actionAdaptor6); // Initialize adaptor adjustmentAdaptor7 = new AdjustmentAdaptor7(); yOffsetS.addAdjustmentListener(adjustmentAdaptor7); // Initialize adaptor adjustmentAdaptor8 = new AdjustmentAdaptor8(); inputScalingS.addAdjustmentListener(adjustmentAdaptor8); // Initialize adaptor actionAdaptor9 = new ActionAdaptor9(); outputScaling.addActionListener(actionAdaptor9); // Initialize adaptor adjustmentAdaptor10 = new AdjustmentAdaptor10(); outputScalingS.addAdjustmentListener(adjustmentAdaptor10); // Initialize adaptor actionAdaptor11 = new ActionAdaptor11(); yOffset.addActionListener(actionAdaptor11); // Initialize adaptor actionAdaptor12 = new ActionAdaptor12(); xOffset.addActionListener(actionAdaptor12); // Initialize adaptor itemAdaptor13 = new ItemAdaptor13(); cNone.addItemListener(itemAdaptor13); // Initialize adaptor itemAdaptor14 = new ItemAdaptor14(); cX.addItemListener(itemAdaptor14); // Initialize adaptor itemAdaptor15 = new ItemAdaptor15(); cY.addItemListener(itemAdaptor15); // Initialize adaptor itemAdaptor16 = new ItemAdaptor16(); cRadius.addItemListener(itemAdaptor16); // Initialize adaptor actionAdaptor17 = new ActionAdaptor17(); radius.addActionListener(actionAdaptor17); // Initialize adaptor itemAdaptor18 = new ItemAdaptor18(); cArg.addItemListener(itemAdaptor18); // Initialize adaptor actionAdaptor19 = new ActionAdaptor19(); arg.addActionListener(actionAdaptor19); // Initialize adaptor adjustmentAdaptor20 = new AdjustmentAdaptor20(); xOffsetS.addAdjustmentListener(adjustmentAdaptor20); // Initialize adaptor actionAdaptor21 = new ActionAdaptor21(); findNext.addActionListener(actionAdaptor21); // Initialize adaptor actionAdaptor22 = new ActionAdaptor22(); findPrevious.addActionListener(actionAdaptor22); //}} init_objects - End Non-Editable Code Block //Initial State java.awt.event.ActionEvent event=null; resetDefault(event); } /** * Handle an event on an object in this applet. * @param event The event which occurred. * @return true if the event is handled, false if not **/ public boolean handleEvent(Event event) { Object arg = event.arg; boolean eventHandled = false; //{{ wiring - Begin Non-Editable Code Block //}} wiring - End Non-Editable Code Block if (!eventHandled) { super.handleEvent(event); } // always return false so that others may handle the event as well return false; } //{{ declarations - Begin Non-Editable Code Block /** * fond. **/ java.awt.Panel fond; /** * Method. **/ java.awt.Choice Method; /** * PointsNumber. **/ java.awt.TextField PointsNumber; /** * numPointsTxt. **/ java.awt.Label numPointsTxt; /** * Reset. **/ java.awt.Button Reset; /** * Critical. **/ critical Critical; /** * inputScaling. **/ java.awt.TextField inputScaling; /** * inputScalingTxt. **/ java.awt.Label inputScalingTxt; /** * yOffsetS. **/ java.awt.Scrollbar yOffsetS; /** * inputScalingS. **/ java.awt.Scrollbar inputScalingS; /** * outputScalingTxt. **/ java.awt.Label outputScalingTxt; /** * outputScaling. **/ java.awt.TextField outputScaling; /** * outputScalingS. **/ java.awt.Scrollbar outputScalingS; /** * yOffsetTxt. **/ java.awt.Label yOffsetTxt; /** * yOffset. **/ java.awt.TextField yOffset; /** * xOffsetTxt. **/ java.awt.Label xOffsetTxt; /** * xOffset. **/ java.awt.TextField xOffset; /** * constraintTxt. **/ java.awt.Label constraintTxt; /** * cNone. **/ java.awt.Checkbox cNone; /** * cX. **/ java.awt.Checkbox cX; /** * cY. **/ java.awt.Checkbox cY; /** * cRadius. **/ java.awt.Checkbox cRadius; /** * radius. **/ java.awt.TextField radius; /** * cArg. **/ java.awt.Checkbox cArg; /** * arg. **/ java.awt.TextField arg; /** * xOffsetS. **/ java.awt.Scrollbar xOffsetS; /** * findNext. **/ java.awt.Button findNext; /** * findPrevious. **/ java.awt.Button findPrevious; /** * back. **/ java.awt.Label back; /** * Event Adaptor. **/ ItemAdaptor1 itemAdaptor1; /** * Event Adaptor. **/ ActionAdaptor2 actionAdaptor2; /** * Event Adaptor. **/ ActionAdaptor3 actionAdaptor3; /** * Event Adaptor. **/ MouseAdaptor4 mouseAdaptor4; /** * Event Adaptor. **/ MouseMotionAdaptor5 mouseMotionAdaptor5; /** * Event Adaptor. **/ ActionAdaptor6 actionAdaptor6; /** * Event Adaptor. **/ AdjustmentAdaptor7 adjustmentAdaptor7; /** * Event Adaptor. **/ AdjustmentAdaptor8 adjustmentAdaptor8; /** * Event Adaptor. **/ ActionAdaptor9 actionAdaptor9; /** * Event Adaptor. **/ AdjustmentAdaptor10 adjustmentAdaptor10; /** * Event Adaptor. **/ ActionAdaptor11 actionAdaptor11; /** * Event Adaptor. **/ ActionAdaptor12 actionAdaptor12; /** * Event Adaptor. **/ ItemAdaptor13 itemAdaptor13; /** * Event Adaptor. **/ ItemAdaptor14 itemAdaptor14; /** * Event Adaptor. **/ ItemAdaptor15 itemAdaptor15; /** * Event Adaptor. **/ ItemAdaptor16 itemAdaptor16; /** * Event Adaptor. **/ ActionAdaptor17 actionAdaptor17; /** * Event Adaptor. **/ ItemAdaptor18 itemAdaptor18; /** * Event Adaptor. **/ ActionAdaptor19 actionAdaptor19; /** * Event Adaptor. **/ AdjustmentAdaptor20 adjustmentAdaptor20; /** * Event Adaptor. **/ ActionAdaptor21 actionAdaptor21; /** * Event Adaptor. **/ ActionAdaptor22 actionAdaptor22; //}} declarations - End Non-Editable Code Block //{{ adaptors - Begin Non-Editable Code Block class ItemAdaptor1 implements java.awt.event.ItemListener { public void itemStateChanged(java.awt.event.ItemEvent event) { modChoice(event); } } class ActionAdaptor2 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { modNumPoints(event); } } class ActionAdaptor3 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { resetDefault(event); } } class MouseAdaptor4 implements java.awt.event.MouseListener { public void mousePressed(java.awt.event.MouseEvent event) { newPoint(event); } public void mouseClicked(java.awt.event.MouseEvent event) {} public void mouseReleased(java.awt.event.MouseEvent event) {} public void mouseEntered(java.awt.event.MouseEvent event) {} public void mouseExited(java.awt.event.MouseEvent event) {} } class MouseMotionAdaptor5 implements java.awt.event.MouseMotionListener { public void mouseDragged(java.awt.event.MouseEvent event) { newPointDrag(event); } public void mouseMoved(java.awt.event.MouseEvent event) {} } class ActionAdaptor6 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { modInputScaling(event); } } class AdjustmentAdaptor7 implements java.awt.event.AdjustmentListener { public void adjustmentValueChanged(java.awt.event.AdjustmentEvent event) { modYOffsetS(event); } } class AdjustmentAdaptor8 implements java.awt.event.AdjustmentListener { public void adjustmentValueChanged(java.awt.event.AdjustmentEvent event) { modInputScalingS(event); } } class ActionAdaptor9 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { modOutputScaling(event); } } class AdjustmentAdaptor10 implements java.awt.event.AdjustmentListener { public void adjustmentValueChanged(java.awt.event.AdjustmentEvent event) { modOutputScalingS(event); } } class ActionAdaptor11 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { modYOffset(event); } } class ActionAdaptor12 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { modXOffset(event); } } class ItemAdaptor13 implements java.awt.event.ItemListener { public void itemStateChanged(java.awt.event.ItemEvent event) { modConstraintNone(event); } } class ItemAdaptor14 implements java.awt.event.ItemListener { public void itemStateChanged(java.awt.event.ItemEvent event) { modConstraintX(event); } } class ItemAdaptor15 implements java.awt.event.ItemListener { public void itemStateChanged(java.awt.event.ItemEvent event) { modConstraintY(event); } } class ItemAdaptor16 implements java.awt.event.ItemListener { public void itemStateChanged(java.awt.event.ItemEvent event) { modConstraintRadius(event); } } class ActionAdaptor17 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { modRadius(event); } } class ItemAdaptor18 implements java.awt.event.ItemListener { public void itemStateChanged(java.awt.event.ItemEvent event) { modConstraintArg(event); } } class ActionAdaptor19 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { modArg(event); } } class AdjustmentAdaptor20 implements java.awt.event.AdjustmentListener { public void adjustmentValueChanged(java.awt.event.AdjustmentEvent event) { modXOffsetS(event); } } class ActionAdaptor21 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { findNextZero(event); } } class ActionAdaptor22 implements java.awt.event.ActionListener { public void actionPerformed(java.awt.event.ActionEvent event) { findPreviousZero(event); } } //}} adaptors - End Non-Editable Code Block //rather laborious implementation of RadioButtons public void Select(int choice) { cNone.setState(choice==0); cX.setState(choice==1); cY.setState(choice==2); cRadius.setState(choice==3); cArg.setState(choice==4); Critical.restrainInput(choice); } public double InScaling() { double val=string2double(inputScaling.getText()); if (val==0.0) //not allowed { val=1.0; inputScaling.setText("1"); } return val; } public double OutScaling() { double val=string2double(outputScaling.getText()); if (val==0.0) //not allowed { val=1.0; outputScaling.setText("1"); } return val; } //{{ extra_code public void findNextZero (java.awt.event.ActionEvent event) { //{{ event_handler Critical.findZero(1); //right or top } //}} event_handler public void findPreviousZero (java.awt.event.ActionEvent event) { //{{ event_handler Critical.findZero(-1); //left or bottom } //}} event_handler public void modXOffsetS (java.awt.event.AdjustmentEvent event) { //{{ event_handler //from -200 to 200 double val= xOffsetRef+event.getValue()*InScaling()/20.0; xOffset.setText(Critical.formatDouble(val,9)); Critical.newXOffset(val); } //}} event_handler public void modYOffsetS (java.awt.event.AdjustmentEvent event) { //{{ event_handler //from -200 to 200 double val= yOffsetRef-event.getValue()*InScaling()/20.0; yOffset.setText(Critical.formatDouble(val,10)); Critical.newYOffset(val); } //}} event_handler public void modInputScalingS (java.awt.event.AdjustmentEvent event) { //{{ event_handler double val=Math.pow(10,event.getValue()/10.0); inputScaling.setText(Critical.formatDouble(val,9)); Critical.newInputScaling(val); } //}} event_handler public void modInputScaling (java.awt.event.ActionEvent event) { //{{ event_handler Critical.newInputScaling(string2double(inputScaling.getText())); } //}} event_handler public void modOutputScalingS (java.awt.event.AdjustmentEvent event) { //{{ event_handler double val=Math.pow(10,event.getValue()/10.0); outputScaling.setText(Critical.formatDouble(val,9)); Critical.newOutputScaling(val); } //}} event_handler public void modOutputScaling (java.awt.event.ActionEvent event) { //{{ event_handler Critical.newOutputScaling(OutScaling()); } //}} event_handler public void newPointDrag (java.awt.event.MouseEvent event) { //{{ event_handler Critical.newPoint(event.getX(),event.getY()); } //}} event_handler public void modConstraintNone (java.awt.event.ItemEvent event) { //{{ event_handler Select(0); } //}} event_handler public void modConstraintX (java.awt.event.ItemEvent event) { //{{ event_handler Select(1); } //}} event_handler public void modConstraintY (java.awt.event.ItemEvent event) { //{{ event_handler Select(2); } //}} event_handler public void modConstraintRadius (java.awt.event.ItemEvent event) { //{{ event_handler Select(3); } //}} event_handler public void modConstraintArg (java.awt.event.ItemEvent event) { //{{ event_handler Select(4); } //}} event_handler public void newPoint (java.awt.event.MouseEvent event) { //{{ event_handler Critical.newPoint(event.getX(),event.getY()); } //}} event_handler public void modChoice (java.awt.event.ItemEvent event) { //{{ event_handler Critical.update(Method.getSelectedIndex()); } //}} event_handler public void modNumPoints (java.awt.event.ActionEvent event) { //{{ event_handler Critical.newPointsNumber(string2int(PointsNumber.getText())); } //}} event_handler public void resetDefault (java.awt.event.ActionEvent event) { //{{ event_handler //Output outputScalingS.setValue(0); //see modOutputScalingS outputScaling.setText("1"); inputScalingS.setValue(0); //see modInputScaling inputScaling.setText("1"); xOffset.setText("0.5"); xOffsetS.setValue(0); xOffsetRef=0.5d; //logical value of middle of scrollbar x yOffset.setText("14.1347251"); yOffsetS.setValue(0); yOffsetRef=14.13472514d; //logical value of middle of scrollbar y radius.setText("0"); arg.setText(new String("0")); PointsNumber.setText(new String("200")); Select(0); Critical.resetDefault(); } //}} event_handler public void modXOffset (java.awt.event.ActionEvent event) { //{{ event_handler xOffsetRef= string2double(xOffset.getText()); xOffsetS.setValue(0); Critical.newXOffset(xOffsetRef); } //}} event_handler public void modYOffset (java.awt.event.ActionEvent event) { //{{ event_handler //right scrollbar reference yOffsetRef= string2double(yOffset.getText()); yOffsetS.setValue(0); Critical.newYOffset(yOffsetRef); } //}} event_handler public void modRadius (java.awt.event.ActionEvent event) { //{{ event_handler Critical.newRadius(string2double(radius.getText())); } //}} event_handler public void modArg (java.awt.event.ActionEvent event) { //{{ event_handler Critical.newArg(string2double(arg.getText())); } //}} event_handler //}} extra_code }