private JSONValue extraPropertyToJSON()
{
JSONValueHandler handler_Property = new JSONValueHandler();
storeProperty.write_as_json(handler_Property);
return(handler_Property.result);
}
private JSONValue extraUserNameToJSON()
{
JSONValueHandler handler_UserName = new JSONValueHandler();
storeUserName.write_as_json(handler_UserName);
return(handler_UserName.result);
}
private JSONValue extraStartToJSON()
{
JSONValueHandler handler_Start = new JSONValueHandler();
storeStart.write_as_json(handler_Start);
return(handler_Start.result);
}
private JSONValue extraDeviceSpecifierToJSON()
{
JSONValueHandler handler_DeviceSpecifier = new JSONValueHandler();
storeDeviceSpecifier.write_as_json(handler_DeviceSpecifier);
return(handler_DeviceSpecifier.result);
}
private JSONValue extraSearchCriteriaAdditionalToJSON()
{
JSONValueHandler handler_SearchCriteriaAdditional = new JSONValueHandler();
storeSearchCriteriaAdditional.write_as_json(handler_SearchCriteriaAdditional);
return(handler_SearchCriteriaAdditional.result);
}
private JSONValue extraStartDateAndOrTimeToJSON()
{
JSONValueHandler handler_StartDateAndOrTime = new JSONValueHandler();
storeStartDateAndOrTime.write_as_json(handler_StartDateAndOrTime);
return(handler_StartDateAndOrTime.result);
}
private JSONValue extraPointToJSON()
{
JSONValueHandler handler_Point = new JSONValueHandler();
storePoint.write_as_json(handler_Point);
return(handler_Point.result);
}
private JSONValue extraQueryResultToJSON()
{
JSONValueHandler handler_QueryResult = new JSONValueHandler();
storeQueryResult.write_as_json(handler_QueryResult);
return(handler_QueryResult.result);
}
private JSONValue extraMatchedItemToJSON()
{
JSONValueHandler handler_MatchedItem = new JSONValueHandler();
storeMatchedItem.write_as_json(handler_MatchedItem);
return(handler_MatchedItem.result);
}
private JSONValue extraDestinationDateToJSON()
{
JSONValueHandler handler_DestinationDate = new JSONValueHandler();
storeDestinationDate.write_as_json(handler_DestinationDate);
return(handler_DestinationDate.result);
}
private JSONValue extraPlayerLeagueToJSON()
{
JSONValueHandler handler_PlayerLeague = new JSONValueHandler();
storePlayerLeague.write_as_json(handler_PlayerLeague);
return(handler_PlayerLeague.result);
}
private JSONValue extraPerspectiveToJSON()
{
JSONValueHandler handler_Perspective = new JSONValueHandler();
storePerspective.write_as_json(handler_Perspective);
return(handler_Perspective.result);
}
private JSONValue extraNowDateToJSON()
{
JSONValueHandler handler_NowDate = new JSONValueHandler();
storeNowDate.write_as_json(handler_NowDate);
return(handler_NowDate.result);
}
private JSONValue extraHomeAutomationDomainSettingsToJSON()
{
JSONValueHandler handler_HomeAutomationDomainSettings = new JSONValueHandler();
storeHomeAutomationDomainSettings.write_as_json(handler_HomeAutomationDomainSettings);
return(handler_HomeAutomationDomainSettings.result);
}
private JSONValue extraMapLocationToJSON()
{
JSONValueHandler handler_MapLocation = new JSONValueHandler();
storeMapLocation.write_as_json(handler_MapLocation);
return(handler_MapLocation.result);
}
public static JSONValue parse_json_value(JSONTextSource source)
{
JSONValueHandler my_handler = new JSONValueHandler();
JSONParse.parse_json_value(source, my_handler);
return(my_handler.getResult());
}
private JSONValue extraComputerDataToJSON()
{
JSONValueHandler handler_ComputerData = new JSONValueHandler();
storeComputerData.write_as_json(handler_ComputerData);
return(handler_ComputerData.result);
}
public static JSONValue parse_json_value(string text, string file_name)
{
JSONValueHandler my_handler = new JSONValueHandler();
JSONParse.parse_json_value(text, file_name, my_handler);
return(my_handler.getResult());
}
private JSONValue extraToDisplayToJSON()
{
JSONValueHandler handler_ToDisplay = new JSONValueHandler();
storeToDisplay.write_as_json(handler_ToDisplay);
return(handler_ToDisplay.result);
}
private JSONValue extraNumberDerivationToJSON()
{
JSONValueHandler handler_NumberDerivation = new JSONValueHandler();
storeNumberDerivation.write_as_json(handler_NumberDerivation);
return(handler_NumberDerivation.result);
}
private JSONValue extraKnownRoomsToJSON()
{
JSONValueHandler handler_KnownRooms = new JSONValueHandler();
storeKnownRooms.write_as_json(handler_KnownRooms);
return(handler_KnownRooms.result);
}
private JSONValue extraAmbiguitiesToJSON()
{
JSONValueHandler handler_Ambiguities = new JSONValueHandler();
storeAmbiguities.write_as_json(handler_Ambiguities);
return(handler_Ambiguities.result);
}
private JSONValue extraSearchCriteriaToJSON()
{
JSONValueHandler handler_SearchCriteria = new JSONValueHandler();
storeSearchCriteria.write_as_json(handler_SearchCriteria);
return(handler_SearchCriteria.result);
}
private JSONValue extraColorToJSON()
{
JSONValueHandler handler_Color = new JSONValueHandler();
storeColor.write_as_json(handler_Color);
return(handler_Color.result);
}
private JSONValue extraNativeDataToJSON()
{
JSONValueHandler handler_NativeData = new JSONValueHandler();
storeNativeData.write_as_json(handler_NativeData);
return(handler_NativeData.result);
}
private JSONValue extraChoicesToJSON()
{
JSONValueHandler handler_Choices = new JSONValueHandler();
storeChoices.write_as_json(handler_Choices);
return(handler_Choices.result);
}
private JSONValue extraMirrorSelectionToJSON()
{
JSONValueHandler handler_MirrorSelection = new JSONValueHandler();
storeMirrorSelection.write_as_json(handler_MirrorSelection);
return(handler_MirrorSelection.result);
}
private JSONValue extraUberRequestToJSON()
{
JSONValueHandler handler_UberRequest = new JSONValueHandler();
storeUberRequest.write_as_json(handler_UberRequest);
return(handler_UberRequest.result);
}
private JSONValue extraEndToJSON()
{
JSONValueHandler handler_End = new JSONValueHandler();
storeEnd.write_as_json(handler_End);
return(handler_End.result);
}
private JSONValue extraBaseToJSON()
{
JSONValueHandler handler_Base = new JSONValueHandler();
storeBase.write_as_json(handler_Base);
return(handler_Base.result);
}
