return run(driver, new SourceToplevelDeclarationProvider(driver, source), sourceFile, monitor);
}
public static Result run(IStrategoTerm source, RelativePath sourceFile, Environment env, IProgressMonitor monitor, AbstractBaseLanguage baseLang, List<Driver> currentlyProcessing) throws IOException, TokenExpectedException, ParseException, InvalidParseTableException, SGLRException, InterruptedException {
Driver driver = new Driver(env, baseLang, currentlyProcessing);
return run(driver, new TermToplevelDeclarationProvider(source), sourceFile, monitor);
}