/// <summary>
/// Deserialize a tagged stream
/// </summary>
/// <param name="JSONReader">The input stream</param>
/// <returns>The created object.</returns>
public static new Header FromTagged (JSONReader JSONReader) {
Header Out = null;
JSONReader.StartObject ();
if (JSONReader.EOR) {
return null;
}
string token = JSONReader.ReadToken ();
switch (token) {
case "Header" : {
var Result = new Header ();
Result.Deserialize (JSONReader);
Out = Result;
break;
}
default : {
//Ignore the unknown data
//throw new Exception ("Not supported");
break;
}
}
JSONReader.EndObject ();
return Out;
}
/// <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 ();
}
void MakeHeader(string Type, string Comment) {
var Header = new Header();
Header.Type = "Data";
Header.Content = Type;
Header.Comment = Comment;
Write(Header);
}
