public static AstReader Open(SourcePackage upk, string filename)
{
var r = new AstReader(upk, filename);
r.VerifyMagic(AstSerialization.Magic);
return(r);
}
public static void Deserialize(SourcePackage upk, string filename, List <AstDocument> resultAsync)
{
using (var r = AstReader.Open(upk, filename))
{
while (r.BaseStream.Position < r.BaseStream.Length)
{
var ast = r.ReadDocument();
lock (resultAsync)
resultAsync.Add(ast);
}
}
}
public static AstBlock DeserializeBlock(SourcePackage upk, string filename)
{
using (var r = AstReader.Open(upk, filename))
return(r.ReadBlock());
}
