private VersionResult[] ReadChartPoints(string FileName)
{
Contract.Requires(!String.IsNullOrWhiteSpace(FileName));
Contract.Ensures(Contract.Result <VersionResult[]>() != null);
VersionResult[] res;
var ConnectionString = "data source='" + FileName + "'";//; mode='Read Only';"; doesn't work
// read the sql DB
var entityConnectionString = new EntityConnectionStringBuilder
{
Metadata = "res://*/ClousotCacheModel.csdl|res://*/ClousotCacheModel.ssdl|res://*/ClousotCacheModel.msl",
Provider = "System.Data.SqlServerCe.3.5",
ProviderConnectionString = ConnectionString
}.ToString();
using (var connection = new EntityConnection(entityConnectionString))
{
connection.Open();
using (var objectContext = new ClousotCacheEntities(connection))
{
objectContext.ContextOptions.LazyLoadingEnabled = true; // avoid having to manually load every method
var resList = new List <VersionResult>();
#if false
var versionMethods = objectContext.VersionBindings.GroupBy(b => b.Version);
var versionResults = objectContext.VersionResults.ToDictionary(r => r.Version);
foreach (var versionMethod in versionMethods)
{
VersionResult versionResult;
// Sanity check
if (versionResults.TryGetValue(versionMethod.Key, out versionResult) && versionResult.Methods == versionMethod.LongCount())
{
versionResult.Complete(); // previously computed values can be reused
}
else
{
if (versionResult != null) // the entry needs an update
{
objectContext.DeleteObject(versionResult);
}
versionResult = new VersionResult(versionMethod.Key, versionMethod.Select(b => b.Method)); // recompute
objectContext.VersionResults.AddObject(versionResult);
}
resList.Add(versionResult);
}
objectContext.SaveChanges();
foreach (var versionResult in resList)
{
objectContext.Detach(versionResult);
}
#endif
res = resList.ToArray();
#if false
var points = objectContext.VersionBindings.Include("Method").GroupBy(b => b.Version, b => b.Method, ChartPoint.Create);
res = points.OrderBy(m => m.Version).ToArray();
#endif
}
connection.Close();
}
return(res);
}
