form6.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 'Form6'
 * created in the main() method.
 */
public class Form6 extends Form
{
	public Form6()
	{
		super();

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

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

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

	private void listBox1_selectedIndexChanged(Object source, Event e)
	{
		
	}

	private void button1_click(Object source, Event e)
	{
		   Form7 Form7Frm;
		   Form7Frm =new Form7();
		   Form7Frm.show();
	}

	private void button2_click(Object source, Event e)
	{
		   Form8 Form8Frm;
		   Form8Frm =new Form8();
		   Form8Frm.show();
	}

	private void button3_click(Object source, Event e)
	{
		   Form9 Form9Frm;
		   Form9Frm =new Form9();
		   Form9Frm.show();
	}

	private void button4_click(Object source, Event e)
	{
		
	}

	private void button5_click(Object source, Event e)
	{
		   Form10 Form10Frm;
		   Form10Frm =new Form10();
		   Form10Frm.show();
	}

	private void button6_click(Object source, Event e)
	{
		   Form11 Form11Frm;
		   Form11Frm =new Form11();
		   Form11Frm.show();
	}

	private void button7_click(Object source, Event e)
	{
		   Form12 Form12Frm;
		   Form12Frm =new Form12();
		   Form12Frm.show();
	}

	private void button8_click(Object source, Event e)
	{
		   Form13 Form13Frm;
		   Form13Frm =new Form13();
		   Form13Frm.show();
	}

	private void Form6_click(Object source, Event e)
	{
		
	}

	/**
	 * 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();
	Button button3 = new Button();
	Button button2 = new Button();
	Button button1 = new Button();
	PictureBox pictureBox1 = new PictureBox();
	Button button5 = new Button();
	Button button6 = new Button();
	Button button7 = new Button();
	Button button8 = new Button();
	PictureBox pictureBox3 = new PictureBox();
	PictureBox pictureBox4 = new PictureBox();
	PictureBox pictureBox5 = new PictureBox();
	PictureBox pictureBox7 = new PictureBox();
	PictureBox pictureBox8 = new PictureBox();
	PictureBox pictureBox10 = new PictureBox();
	PictureBox pictureBox11 = new PictureBox();

	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, "Form6");
		this.setBackColor(new Color(0, 192, 192));
		this.setText("中文图书数据库");
		this.setAutoScaleBaseSize(new Point(6, 12));
		this.setClientSize(new Point(409, 267));
		this.setStartPosition(FormStartPosition.CENTER_SCREEN);
		this.addOnClick(new EventHandler(this.Form6_click));

		button3.setLocation(new Point(96, 128));
		button3.setSize(new Point(88, 23));
		button3.setTabIndex(10);
		button3.setText("按原版刊号查");
		button3.addOnClick(new EventHandler(this.button3_click));

		button2.setLocation(new Point(96, 96));
		button2.setSize(new Point(88, 23));
		button2.setTabIndex(9);
		button2.setText("按索书号查");
		button2.addOnClick(new EventHandler(this.button2_click));

		button1.setLocation(new Point(96, 64));
		button1.setSize(new Point(88, 23));
		button1.setTabIndex(8);
		button1.setText("按正题名查");
		button1.addOnClick(new EventHandler(this.button1_click));

		pictureBox1.setLocation(new Point(56, 72));
		pictureBox1.setSize(new Point(16, 16));
		pictureBox1.setTabIndex(7);
		pictureBox1.setTabStop(false);
		pictureBox1.setText("pictureBox1");
		pictureBox1.setImage((Bitmap)resources.getObject("pictureBox1_image"));

		button5.setLocation(new Point(208, 64));
		button5.setSize(new Point(96, 23));
		button5.setTabIndex(11);
		button5.setText("按邮局发行号查");
		button5.addOnClick(new EventHandler(this.button5_click));

		button6.setLocation(new Point(208, 96));
		button6.setSize(new Point(96, 23));
		button6.setTabIndex(12);
		button6.setText("按本馆采购号查");
		button6.addOnClick(new EventHandler(this.button6_click));

		button7.setLocation(new Point(208, 128));
		button7.setSize(new Point(96, 23));
		button7.setTabIndex(13);
		button7.setText("按现刊排架号查");
		button7.addOnClick(new EventHandler(this.button7_click));

		button8.setLocation(new Point(96, 168));
		button8.setSize(new Point(208, 23));
		button8.setTabIndex(14);
		button8.setText("管理中文图书数据库");
		button8.addOnClick(new EventHandler(this.button8_click));

		pictureBox3.setLocation(new Point(320, 136));
		pictureBox3.setSize(new Point(16, 16));
		pictureBox3.setTabIndex(5);
		pictureBox3.setTabStop(false);
		pictureBox3.setText("pictureBox1");
		pictureBox3.setImage((Bitmap)resources.getObject("pictureBox3_image"));

		pictureBox4.setLocation(new Point(320, 96));
		pictureBox4.setSize(new Point(16, 16));
		pictureBox4.setTabIndex(4);
		pictureBox4.setTabStop(false);
		pictureBox4.setText("pictureBox1");
		pictureBox4.setImage((Bitmap)resources.getObject("pictureBox4_image"));

		pictureBox5.setLocation(new Point(320, 64));
		pictureBox5.setSize(new Point(16, 16));
		pictureBox5.setTabIndex(3);
		pictureBox5.setTabStop(false);
		pictureBox5.setText("pictureBox1");
		pictureBox5.setImage((Bitmap)resources.getObject("pictureBox5_image"));

		pictureBox7.setLocation(new Point(56, 128));
		pictureBox7.setSize(new Point(16, 16));
		pictureBox7.setTabIndex(2);
		pictureBox7.setTabStop(false);
		pictureBox7.setText("pictureBox1");
		pictureBox7.setImage((Bitmap)resources.getObject("pictureBox7_image"));

		pictureBox8.setLocation(new Point(56, 96));
		pictureBox8.setSize(new Point(16, 16));
		pictureBox8.setTabIndex(0);
		pictureBox8.setTabStop(false);
		pictureBox8.setText("pictureBox1");
		pictureBox8.setImage((Bitmap)resources.getObject("pictureBox8_image"));

		pictureBox10.setLocation(new Point(56, 176));
		pictureBox10.setSize(new Point(16, 16));
		pictureBox10.setTabIndex(1);
		pictureBox10.setTabStop(false);
		pictureBox10.setText("pictureBox1");
		pictureBox10.setImage((Bitmap)resources.getObject("pictureBox10_image"));

		pictureBox11.setBackColor(new Color(0, 192, 192));
		pictureBox11.setLocation(new Point(320, 176));
		pictureBox11.setSize(new Point(16, 16));
		pictureBox11.setTabIndex(6);
		pictureBox11.setTabStop(false);
		pictureBox11.setText("pictureBox1");
		pictureBox11.setImage((Bitmap)resources.getObject("pictureBox11_image"));

		this.setNewControls(new Control[] {
							pictureBox11, 
							pictureBox10, 
							button8, 
							pictureBox8, 
							pictureBox7, 
							pictureBox5, 
							pictureBox4, 
							pictureBox3, 
							button7, 
							button6, 
							button5, 
							button3, 
							button2, 
							button1, 
							pictureBox1});
	}

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