about.java

产生式系统中旅行商问题的求解

import com.ms.wfc.app.*;
import com.ms.wfc.core.*;
import com.ms.wfc.ui.*;
import com.ms.wfc.html.*;

/**
 * This class can take a variable number of parameters on the command
 * line. Program execution begins with the main() method. The class
 * constructor is not invoked unless an object of type 'About'
 * created in the main() method.
 */
public class About extends Form
{
	public About()
	{
		super();

		// Required for Visual J++ Form Designer support
		initForm();		

		// TODO: Add any constructor code after initForm call
	}

	/**
	 * About overrides dispose so it can clean up the
	 * component list.
	 */
	public void dispose()
	{
		super.dispose();
		components.dispose();
	}

	private void button1_click(Object source, Event e)
	{
		this.setDialogResult(DialogResult.OK);

	}

	/**
	 * NOTE: The following code is required by the Visual J++ form
	 * designer.  It can be modified using the form editor.  Do not
	 * modify it using the code editor.
	 */
	Container components = new Container();
	Label label1 = new Label();
	Label label2 = new Label();
	Label label3 = new Label();
	Label label4 = new Label();

	private void initForm()
	{
		// NOTE:  This form is storing resource information in an
		// external file.  Do not modify the string parameter to any
		// resources.getObject() function call. For example, do not
		// modify "foo1_location" in the following line of code
		// even if the name of the Foo object changes: 
		//   foo1.setLocation((Point)resources.getObject("foo1_location"));

		IResourceManager resources = new ResourceManager(this, "About");
		this.setBackColor(new Color(128, 128, 255));
		this.setForeColor(new Color(192, 255, 255));
		this.setText("关于 人工智能实验程序之二（旅行商问题）");
		this.setAutoScaleBaseSize(new Point(6, 12));
		this.setBorderStyle(FormBorderStyle.NONE);
		this.setClientSize(new Point(323, 253));
		this.setIcon((Icon)resources.getObject("this_icon"));
		this.setMaximizeBox(false);
		this.setMinimizeBox(false);
		this.setStartPosition(FormStartPosition.CENTER_SCREEN);
		this.addOnClick(new EventHandler(this.button1_click));

		label1.setFont(new Font("宋体", 12.0f, FontSize.POINTS, FontWeight.NORMAL, false, false, false, CharacterSet.DEFAULT, 0));
		label1.setLocation(new Point(24, 24));
		label1.setSize(new Point(232, 24));
		label1.setTabIndex(0);
		label1.setTabStop(false);
		label1.setText("Artificial Inteligence Demo  ");
		label1.addOnClick(new EventHandler(this.button1_click));

		label2.setFont(new Font("宋体", 11.0f, FontSize.POINTS, FontWeight.NORMAL, false, false, false, CharacterSet.DEFAULT, 0));
		label2.setLocation(new Point(24, 128));
		label2.setSize(new Point(224, 24));
		label2.setTabIndex(1);
		label2.setTabStop(false);
		label2.setText("Version  1.00");
		label2.addOnClick(new EventHandler(this.button1_click));

		label3.setFont(new Font("宋体", 11.0f, FontSize.POINTS, FontWeight.NORMAL, false, false, false, CharacterSet.DEFAULT, 0));
		label3.setLocation(new Point(24, 184));
		label3.setSize(new Point(240, 40));
		label3.setTabIndex(2);
		label3.setTabStop(false);
		label3.setText("版权所有 (C) 2001,2002 顾嘉立");
		label3.addOnClick(new EventHandler(this.button1_click));

		label4.setAnchor(ControlAnchor.ALL);
		label4.setBackColor(new Color(192, 192, 255));
		label4.setFont(new Font("Comic Sans MS", 14.0f, FontSize.POINTS, FontWeight.NORMAL, false, false, false, CharacterSet.DEFAULT, 0));
		label4.setForeColor(new Color(192, 255, 192));
		label4.setLocation(new Point(64, 64));
		label4.setSize(new Point(190, 32));
		label4.setTabIndex(3);
		label4.setTabStop(false);
		label4.setText("A Traveling Salesman");
		label4.setBorderStyle(BorderStyle.FIXED_SINGLE);
		label4.setTextAlign(HorizontalAlignment.CENTER);
		label4.addOnClick(new EventHandler(this.button1_click));

		this.setNewControls(new Control[] {
							label4, 
							label3, 
							label2, 
							label1});
	}

	/**
	 * The main entry point for the application. 
	 *
	 * @param args Array of parameters passed to the application
	 * via the command line.
	 */
	public static void main(String args[])
	{
		Application.run(new About());
	}
}