public static TrieIndexHeader ReadHeaderFile(string path) { Stream stream = new FileStream( path, FileMode.Open, FileAccess.Read, FileShare.Read ); return(TrieSerializer.DeserializeHeaderWithXmlSerializer(stream, false)); }
internal virtual TrieIndexHeader GetHeader() { var header = TrieSerializer.DeserializeHeaderWithXmlSerializer(_headerStream); return(header); }