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