about.java

产生式系统中传教士和野人问题的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 About_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()
	{
		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(319, 260));
		this.setMaximizeBox(false);
		this.setMinimizeBox(false);
		this.setStartPosition(FormStartPosition.CENTER_SCREEN);
		this.addOnClick(new EventHandler(this.About_click));

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

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

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

		label4.setAnchor(ControlAnchor.BOTTOM);
		label4.setBackColor(new Color(192, 192, 255));
		label4.setFont(new Font("Comic Sans MS", 12.0f, FontSize.POINTS, FontWeight.NORMAL, false, false, false, CharacterSet.DEFAULT, 0));
		label4.setForeColor(new Color(192, 255, 192));
		label4.setLocation(new Point(80, 72));
		label4.setSize(new Point(160, 32));
		label4.setTabIndex(3);
		label4.setTabStop(false);
		label4.setText("Priest and Wildman");
		label4.setBorderStyle(BorderStyle.FIXED_SINGLE);
		label4.setTextAlign(HorizontalAlignment.CENTER);
		label4.addOnClick(new EventHandler(this.About_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());
	}
}