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 ();
}
}
