maincontrolpanel.java

利用google开发的GWT工具

		Label params = new Label("Params");
		TextBox paramsBox = new TextBox();
		paramsBox.setText("none");
		paramsBox.setWidth(textWidth);
		//add general parameters's content to generalP
		generalP.add(algorithm);
		generalP.add(algo);
		generalP.add(schedInterval);
		generalP.add(schedInt);
		generalP.add(repriInterval);
		generalP.add(repriInt);
		generalP.add(defaultDuration);
		generalP.add(defDuration);
		generalP.add(maxJob);
		generalP.add(maxUser);
		generalP.add(sortList);
		generalP.add(jobSchedInfo);
		generalP.add(jobschedinfo);
		generalP.add(loadFormula);
		generalP.add(loadBox);
		generalP.add(flushSubmit);
		generalP.add(flushSubBox);
		generalP.add(flushFinish);
		generalP.add(flushFinishBox);
		generalP.add(maxReserv);
		generalP.add(maxReservBox);
		generalP.add(params);
		generalP.add(paramsBox);
		
		//build loadAdjust's content
		VerticalPanel loadadjust = new VerticalPanel();
		loadadjust.setSpacing(10);
		Label decayTime = new Label("Decay Time");
		TextBox decayBox = new TextBox();
		decayBox.setText("0:7:30");
		decayBox.setWidth(textWidth);
		
		DockPanel content = new DockPanel();
		String contentWidth = "140px";
		HorizontalPanel titleOfContent = new HorizontalPanel();
		Button loadBut = new Button("Load");
		Button valueBut = new Button("Value");
		loadBut.setWidth("150px");
		valueBut.setWidth("150px");
		titleOfContent.add(loadBut);
		titleOfContent.add(valueBut);
		content.add(titleOfContent, DockPanel.CENTER);
		
		FlexTable contentFlex = new FlexTable();
		int i, j;
		FlexCellFormatter cellFormatter = contentFlex.getFlexCellFormatter();
		for(i = 0; i < 20; i++){
			for(j = 0; j < 2; j++){
				cellFormatter.setWidth(i, j, contentWidth);
				TextBox tmp = new TextBox();
				tmp.setWidth(contentWidth);
				tmp.setHeight("20px");
				contentFlex.setWidget(i, j, tmp);
			}
		}
		content.add(contentFlex, DockPanel.SOUTH);
		
		loadadjust.add(decayTime);
		loadadjust.add(decayBox);
		loadadjust.add(content);
		
		westOfSched.add(generalP, generalPara);
		westOfSched.add(loadadjust, loadAdjust);
		westOfSched.selectTab(0);
		westOfSched.getDeckPanel().setAnimationEnabled(true);
		
		schedulerconfig.add(westOfSched, DockPanel.WEST);
		schedulerconfig.add(eastOfSched, DockPanel.EAST);
		
		mainEast.clear();
		mainEast.add(schedulerconfig, DockPanel.CENTER);
		mainControl.add(mainEast, DockPanel.EAST);
		
	}
	
	/**
	 * @author gaojinjun
	 */
	public void calendarConfiguration(){
		DecoratorPanel decoPanel = new DecoratorPanel();
		DockPanel mainPanel = new DockPanel();
		
		VerticalPanel westMain = new VerticalPanel();
		VerticalPanel centerMain = new VerticalPanel();
		VerticalPanel eastMain = new VerticalPanel();
		
		Label calendar = new Label("Calendars");
		TextArea calendarArea = new TextArea();
		calendarArea.setSize("200px", "500px");
		calendarArea.setReadOnly(true);
		westMain.add(calendar);
		westMain.add(calendarArea);
		
		Label config = new Label("Configuration");
		TextArea configArea = new TextArea();
		configArea.setSize("400px", "500px");
		configArea.setReadOnly(true);
		centerMain.add(config);
		centerMain.add(configArea);
		
		Button add = new Button("Add");
		Button modify = new Button("Modify");
		Button delete = new Button("Delete");
		Button done = new Button("Done");
		Button help = new Button("Help");
		String buttonWidth = "100px";
		add.setWidth(buttonWidth);
		modify.setWidth(buttonWidth);
		delete.setWidth(buttonWidth);
		done.setWidth(buttonWidth);
		help.setWidth(buttonWidth);
		eastMain.setSpacing(30);
		eastMain.add(add);
		eastMain.add(modify);
		eastMain.add(delete);
		eastMain.add(done);
		eastMain.add(help);
		
		HorizontalPanel westPanel = new HorizontalPanel();
		westPanel.add(westMain);
		westPanel.add(centerMain);
		
		decoPanel.add(westPanel);
		
		mainPanel.add(decoPanel, DockPanel.WEST);
		mainPanel.add(eastMain, DockPanel.EAST);
		
		mainEast.clear();
		mainEast.add(mainPanel, DockPanel.CENTER);
		mainControl.add(mainEast, DockPanel.EAST);
		
	}
	
	/**
	 * @author gaojinjun
	 */
	public void userConfiguration(){
		DockPanel mainPanel = new DockPanel();
		TabPanel westMain = new TabPanel();
		VerticalPanel eastMain = new VerticalPanel();
		
		//build east main 
		Button add = new Button("Add");
		Button modify = new Button("Modify");
		Button delete = new Button("Delete");
		Button ticket = new Button("Tickets");
		Button done = new Button("Done");
		Button help = new Button("Help");
		String buttonWidth = "100px";
		add.setWidth(buttonWidth);
		modify.setWidth(buttonWidth);
		delete.setWidth(buttonWidth);
		ticket.setWidth(buttonWidth);
		done.setWidth(buttonWidth);
		help.setWidth(buttonWidth);
		
		eastMain.setSpacing(20);
		eastMain.add(add);
		eastMain.add(modify);
		eastMain.add(delete);
		eastMain.add(ticket);
		eastMain.add(done);
		eastMain.add(help);
		mainPanel.add(eastMain, DockPanel.EAST);
		
		//build west main
		HTML manager = new HTML("Manager");
		HTML operator = new HTML("Operator");
		HTML userset = new HTML("Userset");
		HTML user = new HTML("User");
		String htmlWidth = "140px";
		manager.setWidth(htmlWidth);
		operator.setWidth(htmlWidth);
		userset.setWidth(htmlWidth);
		user.setWidth(htmlWidth);
		
		//fill in manager tab
		int i;
		String contentWidth = "600px";
		DockPanel managerCon = new DockPanel();
		managerCon.setSpacing(5);
		TextBox center = new TextBox();
		center.setWidth(contentWidth);
		ListBox south = new ListBox();
		south.setWidth(contentWidth);
		south.setVisibleItemCount(10);
		for(i = 0; i < 20; i++){
//			TextBox tmp = new TextBox();
//			tmp.setReadOnly(true);
//			tmp.setHeight("20px");
//			tmp.setWidth(contentWidth);
			south.addItem("");
		}
		managerCon.add(center, DockPanel.CENTER);
		managerCon.add(south, DockPanel.SOUTH);
		westMain.add(managerCon, manager);
		
		//fill in operator tab
		DockPanel operatorCon = new DockPanel();
		operatorCon.setSpacing(5);
		TextBox opcenter = new TextBox();
		opcenter.setWidth(contentWidth);
		ListBox opsouth = new ListBox();
		opsouth.setWidth(contentWidth);
		opsouth.setVisibleItemCount(10);
		for(i = 0; i < 20; i++){
//			TextBox tmp = new TextBox();
//			tmp.setReadOnly(true);
//			tmp.setHeight("20px");
//			tmp.setWidth(contentWidth);
			opsouth.addItem("");
		}
		operatorCon.add(opcenter, DockPanel.CENTER);
		operatorCon.add(opsouth, DockPanel.SOUTH);
		westMain.add(operatorCon, operator);
		
		//fill in userset tab
		DockPanel usersetCon = new DockPanel();
		VerticalPanel westOfUserset = new VerticalPanel();
		VerticalPanel eastOfUserset = new VerticalPanel();
		usersetCon.setSpacing(5);
		
		Label usersets = new Label("Usersets");
		ListBox usersetsBox = new ListBox();
		usersetsBox.setSize("300px","400px");
		for(i = 0; i < 10; i++){
			usersetsBox.addItem("");
		}
		usersetsBox.setVisibleItemCount(10);
		CheckBox accessList = new CheckBox("Access List");
		CheckBox department = new CheckBox("Department");
		westOfUserset.setSpacing(5);
		westOfUserset.add(usersets);
		westOfUserset.add(usersetsBox);
		westOfUserset.add(accessList);
		westOfUserset.add(department);
		usersetCon.add(westOfUserset, DockPanel.WEST);
		
		Label userGroup = new Label("Users/Groups");
		TextArea userGroupArea = new TextArea();
		userGroupArea.setSize("300px", "490px");
		userGroupArea.setReadOnly(true);
		eastOfUserset.add(userGroup);
		eastOfUserset.add(userGroupArea);
		usersetCon.add(eastOfUserset, DockPanel.EAST);
		
		westMain.add(usersetCon, userset);
		
		//fill in user tab
		String usercontentWidth = "200px";
		DockPanel userCon = new DockPanel();
		userCon.setSpacing(5);
		TextBox usercenter = new TextBox();
		usercenter.setWidth(contentWidth);
		ScrollPanel usersouth = new ScrollPanel();
		Button userBut = new Button("User");
		Button defaultBut = new Button("Default Project");
		Button deleteBut = new Button("Delete Time");
		userBut.setWidth(usercontentWidth);
		defaultBut.setWidth(usercontentWidth);
		deleteBut.setWidth(usercontentWidth);
		
		int j;
		FlexTable userContent = new FlexTable();
		userContent.setCellSpacing(0);
		userContent.setWidget(0, 0, userBut);
		userContent.setWidget(0, 1, defaultBut);
		userContent.setWidget(0, 2, deleteBut);
		for(i = userContent.getRowCount(); i < 20; i++){
			for(j = 0; j < 3; j++){
				TextBox tmp = new TextBox();
				tmp.setWidth(usercontentWidth);
				tmp.setReadOnly(true);
				tmp.setHeight("20px");
				userContent.setWidget(i, j, tmp);
			}
		}
		usersouth.setWidget(userContent);
		usersouth.setHeight("430");
		userCon.add(usercenter, DockPanel.CENTER);
		userCon.add(usersouth, DockPanel.SOUTH);
		westMain.add(userCon, user);
		
		westMain.selectTab(0);
		westMain.getDeckPanel().setAnimationEnabled(true);
		
		mainPanel.add(westMain, DockPanel.WEST);
	
		mainEast.clear();
		mainEast.add(mainPanel, DockPanel.CENTER);
		mainControl.add(mainEast, DockPanel.EAST);
	}
	
	/**
	 * @author gaojinjun
	 */
	public void parallelEnvConfiguration(){
		DecoratorPanel deckPanel = new DecoratorPanel();
		DockPanel mainPanel = new DockPanel();
		HorizontalPanel westMain = new HorizontalPanel();
		VerticalPanel eastMain = new VerticalPanel();
		
		//build eastMain; just create some buttons
		String buttonWidth = "100px";
		Button add = new Button("Add");
		Button modify = new Button("Modify");
		Button delete = new Button("Delete");
		Button done = new Button("Done");
		Button help = new Button("Help");
		add.setWidth(buttonWidth);
		modify.setWidth(buttonWidth);
		delete.setWidth(buttonWidth);
		done.setWidth(buttonWidth);
		help.setWidth(buttonWidth);
		
		//add buttons to eastMain
		eastMain.setSpacing(30);
		eastMain.add(add);
		eastMain.add(modify);
		eastMain.add(delete);
		eastMain.add(done);
		eastMain.add(help);
		
		mainPanel.add(eastMain, DockPanel.EAST);
		//build westMain
		int i;
		VerticalPanel leftWest = new VerticalPanel();
		VerticalPanel rightWest = new VerticalPanel();
		Label peList = new Label("PE List");
		ListBox peListBox = new ListBox();
		peListBox.setSize("200px", "430px");
		peListBox.addItem("make");
		for(i = 0; i < 20; i++){
			peListBox.addItem("");
		}
		peListBox.setVisibleItemCount(18);
		
		Label config = new Label("Confiuration");
		ListBox configList = new ListBox();
		configList.setSize("400px", "430px");
		String[] configConstant = {"PE Name             make",
								   "Slots               999",
								   "Users               None",
								   "Xusers              None",
								   "Start Proc Args     None",
								   "Stop Proc Rule      None",
								   "Allocation Rule     $round_robin",
								   "Urgency Slots       min",
								   "Control Slaves      true",
								   "Job is first task   false"}; 
		for(i = 0; i < 10; i++){
			configList.addItem(configConstant[i]);
		}
		configList.setVisibleItemCount(18);
		
		leftWest.add(peList);
		leftWest.add(peListBox);
		rightWest.add(config);
		rightWest.add(configList);
		
		westMain.setSpacing(5);
		westMain.add(leftWest);
		westMain.add(rightWest);
		
		deckPanel.add(westMain);
		
		mainPanel.add(deckPanel, DockPanel.WEST);
		
		mainEast.clear();
		mainEast.add(mainPanel, DockPanel.CENTER);
		mainControl.add(mainEast, DockPanel.EAST);
	
	}
	
	/**
	 * @author gaojinjun
	 */
	public void checkpointConfiguration(){
		DecoratorPanel deckPanel = new DecoratorPanel();
		DockPanel mainPanel = new DockPanel();
		HorizontalPanel westMain = new HorizontalPanel();
		VerticalPanel eastMain = new VerticalPanel();
		
		//build eastMain; just create some buttons
		String buttonWidth = "100px";
		Button add = new Button("Add");
		Button modify = new Button("Modify");
		Button delete = new Button("Delete");
		Button done = new Button("Done");
		Button help = new Button("Help");
		add.setWidth(buttonWidth);
		modify.setWidth(buttonWidth);
		delete.setWidth(buttonWidth);
		done.setWidth(buttonWidth);
		help.setWidth(buttonWidth);
		
		//add buttons to eastMain
		eastMain.setSpacing(30);