this.runner = new ScriptRunner(window, scriptStack, fileReader);
}
public void withContents(String contents, IFile file, String filename) {
try {
WorkspaceScriptLoader loader = new WorkspaceScriptLoader(file, runner, scriptStack, fileReader);
scriptStack.push(loader);
runner.run(contents, filename);
scriptStack.pop();
} finally {
runner.done();