/// <summary> /// Construct an instance from the specified tagged JSONReader stream. /// </summary> /// <param name="JSONReader">Input stream</param> /// <param name="Out">The created object</param> public static void Deserialize(JSONReader JSONReader, out JSONObject Out) { JSONReader.StartObject (); if (JSONReader.EOR) { Out = null; return; } string token = JSONReader.ReadToken (); Out = null; switch (token) { case "DataItem" : { var Result = new DataItem (); Result.Deserialize (JSONReader); Out = Result; break; } case "Header" : { var Result = new Header (); Result.Deserialize (JSONReader); Out = Result; break; } case "Delta" : { var Result = new Delta (); Result.Deserialize (JSONReader); Out = Result; break; } case "IndexTerm" : { var Result = new IndexTerm (); Result.Deserialize (JSONReader); Out = Result; break; } case "Final" : { var Result = new Final (); Result.Deserialize (JSONReader); Out = Result; break; } case "Terminal" : { var Result = new Terminal (); Result.Deserialize (JSONReader); Out = Result; break; } case "IndexIndex" : { var Result = new IndexIndex (); Result.Deserialize (JSONReader); Out = Result; break; } case "Index" : { var Result = new Index (); Result.Deserialize (JSONReader); Out = Result; break; } case "IndexEntry" : { var Result = new IndexEntry (); Result.Deserialize (JSONReader); Out = Result; break; } default : { throw new Exception ("Not supported"); } } JSONReader.EndObject (); }
public static void Write (IndexTerm IndexTerm) { Console.WriteLine(" [{0}]/[{1}]", IndexTerm.Type, IndexTerm.Term); }
/// <summary> /// Deserialize a tagged stream /// </summary> /// <param name="JSONReader">The input stream</param> /// <returns>The created object.</returns> public static new IndexTerm FromTagged (JSONReader JSONReader) { IndexTerm Out = null; JSONReader.StartObject (); if (JSONReader.EOR) { return null; } string token = JSONReader.ReadToken (); switch (token) { case "IndexTerm" : { var Result = new IndexTerm (); Result.Deserialize (JSONReader); Out = Result; break; } default : { //Ignore the unknown data //throw new Exception ("Not supported"); break; } } JSONReader.EndObject (); return Out; }
/// <summary> /// Add a key to the persistence store index /// </summary> /// <param name="Key">Key to add entry to</param> /// <param name="Data">Data to add.</param> public void AddKey (string Key, string Data) { if (Keys == null) Keys = new List<IndexTerm>(); var IndexTerm = new IndexTerm(Key, Data); Keys.Add(IndexTerm); }