/** * @return waits for the TLA+ Toolbox shell to come available */ protected SWTBotShell waitForToolboxShell() { final WaitForObjectCondition<Shell> waitForShell = Conditions.waitForShell(WithText .<Shell> withText("TLA+ Toolbox")); bot.waitUntil(waitForShell); return new SWTBotShell(waitForShell.get(0)); }
protected <T extends Widget> List<T> widget(final Matcher<T> matcher) { WaitForObjectCondition<T> waiWidget = Conditions.waitForWidget(matcher); bot.waitUntilWidgetAppears(waiWidget); return waiWidget.getAllMatches(); }