Java SWTBotMenu.menu方法代码示例

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
private void init() {
	ICondition condition = new DefaultCondition () {
		@Override
		public boolean test() throws Exception {
			SWTBotMenu menu = bot.menu("Window");
			menu = menu.menu("Show View");
			menu = menu.menu("Console");
			menu.click();
			try {
				bot.waitUntil(new ViewOpened(ConsoleView.this.bot, "Console"), 3 * 1000);
			} catch (Exception e) {
				return false;
			}
			return true;
		}

		@Override
		public String getFailureMessage() {
			return "Cannot open Console view";
		}
	};
	bot.waitUntil(condition, TIMEOUT);
	botView = getBotView();
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
@Test @Ignore("not ready yet")
public void producePDFInNonUIThread() throws InterruptedException {
	
	// Open specA 
	SWTBotMenu fileMenu = bot.menu("File");
	SWTBotMenu openSpecMenu = fileMenu.menu("Open Spec");
	SWTBotMenu addNewSpecMenu = openSpecMenu.menu("Add New Spec...");
	addNewSpecMenu.click();

	bot.textWithLabel("Root-module file:").setText(specA);
	bot.button("Finish").click();
	
	// generate PDF
	SWTBotMenu pdfMenu = fileMenu.menu("Produce PDF Version");
	pdfMenu.click();
	
	// wait for the browser to show up with the generated PDF
	SWTBotEditor swtBotEditor = bot.editorById(OpenSpecHandler.TLA_EDITOR);
	Assert.assertNotNull(swtBotEditor);
	
	assertNoBackendCodeInUIThread();
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
/**
 * Adds a new spec to the toolbox, opens it and tests if parsing is done on
 * a non-UI thread
 * 
 * @see Bug #103 in general/bugzilla/index.html
 */
@Test
public void parseSpecInNonUIThread() {

	// Open specA
	SWTBotMenu fileMenu = bot.menu("File");
	SWTBotMenu openSpecMenu = fileMenu.menu("Open Spec");
	SWTBotMenu addNewSpecMenu = openSpecMenu.menu("Add New Spec...");
	addNewSpecMenu.click();

	bot.textWithLabel("Root-module file:").setText(specB);
	bot.button("Finish").click();

	assertNoBackendCodeInUIThread();

	// Open specB
	addNewSpecMenu.click();

	bot.textWithLabel("Root-module file:").setText(specA);
	bot.button("Finish").click();

	assertNoBackendCodeInUIThread();

	final String specName = getSpecName(new File(specB));

	// increase timeout since farsite spec takes a long time to parse
	final long timeout = SWTBotPreferences.TIMEOUT * 4;

	// specs are created in non-UI thread asynchronously which causes a
	// delay before the menu entry becomes available
	bot.waitUntil(Conditions.waitForMenu(waitForToolboxShell(), WithText.<MenuItem> withText(specName)), timeout);

	// Go back to previous spec
	openSpecMenu.menu(specName);

	assertNoBackendCodeInUIThread();
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
@Before
public void setUp() throws Exception {
	super.setUp();
	
	// create a dummy spec "ToBeRenamedSpec"
	SWTBotMenu fileMenu = bot.menu("File");
	SWTBotMenu openSpecMenu = fileMenu.menu("Open Spec");
	SWTBotMenu addNewSpecMenu = openSpecMenu.menu("Add New Spec...");
	addNewSpecMenu.click();
	
	String path = System.getProperty("java.io.tmpdir") + File.separator + "RSHTest"
			+ System.currentTimeMillis();
	path += File.separator + TEST_SPEC + TLA_SUFFIX;

	bot.textWithLabel("Root-module file:").setText(path);
	bot.button("Finish").click();

	final String specName = getSpecName(new File(path));
	bot.waitUntil(Conditions.waitForMenu(bot.activeShell(), WithText.<MenuItem> withText(specName)));
	
	// create a new dummy model
	final SWTBotMenu modelMenu = bot.menu("TLC Model Checker");
	final SWTBotMenu newModelMenu = modelMenu.menu("New Model...");
	newModelMenu.click();
	bot.button("OK").click();
	bot.waitUntil(new ModelEditorOpenCondition(TEST_MODEL));
	
	// save and close model editor
	SWTBotEditor activeEditor = bot.activeEditor();
	activeEditor.saveAndClose();
	
	checkSpecAndModelExistenceAPI(TEST_SPEC);
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
@Test
public void cloneModelMainMenu() {
	final SWTBotMenu modelMenu = bot.menu("TLC Model Checker");
	final SWTBotMenu cloneModelMenu = modelMenu.menu("Clone Model");
	final SWTBotMenu cloneModelSubMenu = cloneModelMenu.click();
	cloneModelSubMenu.menu(TEST_MODEL).click();

	bot.button("OK").click();
	bot.waitUntil(new ModelEditorOpenCondition(TEST_MODEL_RENAME));
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
private void openSpecExplorer() {
	SWTBotMenu windowMenu = bot.menu("Window");
	SWTBotMenu specExplorerMenu = windowMenu.menu(SPEC_EXPLORER);
	specExplorerMenu.click();
	
	// spec context menu
	SWTBotView packageExplorerView = bot.viewByTitle(SPEC_EXPLORER);
	packageExplorerView.setFocus();
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
/**
 * Test to make sure the "Add Spec" wizard does not accept invalid spec names
 */
@Test
public void doNotAcceptInvalidSpecNames() {
	
	// Open specA 
	SWTBotMenu fileMenu = bot.menu("File");
	SWTBotMenu openSpecMenu = fileMenu.menu("Open Spec");
	SWTBotMenu addNewSpecMenu = openSpecMenu.menu("Add New Spec...");
	addNewSpecMenu.click();

	// get a handle for the button before invoking the UI (widget not found exception otherwise)
	SWTBotButton button = bot.button("Finish");
	
	// create a valid path
	String path = System.getProperty("java.io.tmpdir");
	path += File.separator + "Invalid-Name.tla";
	
	// set an invalid spec name
	bot.textWithLabel("Root-module file:").setText(path);
	
	// check if the wizard can finish
	Assert.assertTrue(
			"Finish button must not be enabled with invalid spec name",
			!button.isEnabled());
	
	//TODO could change the wizard marker/error area for the correct string too
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
@Test
public void executeExit() {
	// testing on hard-coded String just to have
	// a simple example

	SWTBotMenu fileMenu = bot.menu("File");
	Assert.assertNotNull(fileMenu);
	SWTBotMenu exitMenu = fileMenu.menu("Exit");
	Assert.assertNotNull(exitMenu);
	exitMenu.click();
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
public boolean isEnabled () {
	SWTBotMenu fileMenu = bot.menu("Edit");
	SWTBotMenu copyMenu = fileMenu.menu("Copy");
	return copyMenu.isEnabled();
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
public void click () {
	SWTBotMenu fileMenu = bot.menu("Edit");
	SWTBotMenu copyMenu = fileMenu.menu("Copy");
	copyMenu.click();
}
 

import org.eclipse.swtbot.swt.finder.widgets.SWTBotMenu; //导入方法依赖的package包/类
@Test
public void testNewModel() {
	// Open specA
	SWTBotMenu fileMenu = bot.menu("File");
	SWTBotMenu openSpecMenu = fileMenu.menu("Open Spec");
	SWTBotMenu addNewSpecMenu = openSpecMenu.menu("Add New Spec...");
	addNewSpecMenu.click();

	bot.textWithLabel("Root-module file:").setText(specA);
	bot.button("Finish").click();

	final String specName = getSpecName(new File(specA));

	// specs are created in non-UI thread asynchronously which causes a
	// delay before the menu entry becomes available
	bot.waitUntil(Conditions.waitForMenu(bot.activeShell(), WithText.<MenuItem> withText(specName)));
	
	// create a new model
	final SWTBotMenu modelMenu = bot.menu("TLC Model Checker");
	final SWTBotMenu newModelMenu = modelMenu.menu("New Model...");
	newModelMenu.click();
	bot.button("OK").click();

	// wait for model editor to show up and parse
	bot.waitUntil(new ModelEditorOpenCondition("Model_"));
	
	// register job listener who listens for the model checker job
	final String modelName = UIHelper.getActiveEditor().getTitle();
	final Model model = ToolboxHandle.getCurrentSpec().getAdapter(TLCSpec.class).getModel(modelName);
	final IJobChangeListener listener = new DummyJobChangeListener(model);
	Job.getJobManager().addJobChangeListener(listener);
	
	// start model checking by clicking the menu. This is more robust
	// compared to the f11 keystroke which can get lost when fired during
	// initialization of the model editor.
	bot.menu("TLC Model Checker").menu("Run model").click();

	// make unit test wait for model checker job to finish
	bot.waitUntil((ICondition) listener, SWTBotPreferences.TIMEOUT * 3);

	// Do some unregistration prior to model deletion:
	Job.getJobManager().removeJobChangeListener(listener);
	
	// close corresponding editor if open
	final IEditorPart editorWithModelOpened = model.getAdapter(ModelEditor.class);
	if (editorWithModelOpened != null) {
		UIHelper.runUISync(new Runnable() {
			public void run() {
				UIHelper.getActivePage().closeEditor(editorWithModelOpened,
						false);
			}
		});
	}

	// Delete the newly created model again. It does not use the UI because
	// SWTBot cannot handle the modal confirmation dialog do delete the
	// model.
	// Deleting the model is necessary because repeated test execution would
	// leave huge numbers of model leftovers contributing to slowed down test
	// execution (see SizeControlContribution for reason why).
	try {
		model.delete(new NullProgressMonitor());
	} catch (CoreException e) {
		e.printStackTrace();
	}
}