// TODO: Use varying persistence storages; right now
// we only ever use FileStateTable.
public ProviderInfo(short id, WrenchProject proj)
{
this.id = id;
pp = FileStateTable.Load(GetStatePath(proj), proj.Log);
context = new InfoContext(proj.Graph.GetProviderDeclarationLoc(id), proj);
}
// TODO: Use varying persistence storages; right now
// we only ever use FileStateTable.
public ProviderInfo (short id, WrenchProject proj)
{
this.id = id;
pp = FileStateTable.Load (GetStatePath (proj), proj.Log);
context = new InfoContext (proj.Graph.GetProviderDeclarationLoc (id), proj);
}
