public void Start() { temp = new SortedDictionary <string, List <Occurrence> >(); DoStart(); header = GetIndexHeader(); nextId = (long)header.NextDocumentId; }
public static IndexHeaderData CopyFrom(IFullTextIndexHeader header) { return(new IndexHeaderData { Type = header.Type, MaxTokenSize = header.MaxTokenSize, NextDocumentId = header.NextDocumentId, CreatedDate = header.CreatedDate, ModifiedDate = header.ModifiedDate }); }
public void Write(IFullTextIndexHeader header) { var headerText = new StringBuilder(); headerText.AppendLine(header.Type); headerText.AppendLine(header.MaxTokenSize.ToString()); headerText.AppendLine(header.NextDocumentId.ToString()); headerText.AppendLine(header.CreatedDate.ToString("o")); headerText.AppendLine(header.ModifiedDate.ToString("o")); var data = Encoding.UTF8.GetBytes(headerText.ToString()); persistentStorage.WriteAll(0, data, 0, data.Length); }
protected override void UpdateIndexHeader(IFullTextIndexHeader header) { indexInfo.Write(header); }
protected abstract void UpdateIndexHeader(IFullTextIndexHeader header);
protected override void UpdateIndexHeader(IFullTextIndexHeader header) { Index.Header = header; }