public static void Parse(System.IO.FileInfo file)
{
HTMLParser parser = new HTMLParser(file);
System.Console.Out.WriteLine("Title: " + Entities.Encode(parser.GetTitle()));
System.Console.Out.WriteLine("Summary: " + Entities.Encode(parser.GetSummary()));
System.IO.StreamReader reader = new System.IO.StreamReader(parser.GetReader().BaseStream, parser.GetReader().CurrentEncoding);
for (System.String l = reader.ReadLine(); l != null; l = reader.ReadLine())
System.Console.Out.WriteLine(l);
}