private ModuleRepository GenerateWorkspaceRepo(WorkspaceEvaluationHelper helper, SimpleGraph file2file, int[] selectedFiles)
{
XAssert.IsTrue(file2file.IsDAG(), "Must be a DAG");
var specs = selectedFiles
.Select(i =>
{
var specsToImport = file2file.OutgoingEdges(i).Select(e => e.Dest).ToList();
var specContent = GenerateSpec(i, specsToImport);
return(new ModuleRepository.NameContentPair(GetSpecName(i), specContent));
})
.Concat(new[]
{
new ModuleRepository.NameContentPair(HelperSpecName, GetHelperSpecContent()),
new ModuleRepository.NameContentPair(Qualifier, GetSpecWithDefaultQualifierContent()),
})
.ToArray();
return(helper.NewModuleRepoWithPrelude().AddContent(TestModule, specs));
}
