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()); }