582583584585586587588589590591592
userAgent.setActiveValue(userAgentString); } } BrowserWidgetHost browserHost = getBrowserHost(); assert (browserHost != null); browserHost.compile(module); } /** * Runs a particular test case. */
404405406407408409410411412413414
} void compileForWebMode(String moduleName) throws UnableToCompleteException { BrowserWidgetHost browserHost = getBrowserHost(); assert (browserHost != null); browserHost.compile(new String[] {moduleName}); } /** * Runs a particular test case. */