enum_DataSourceDataQualityStandard := [ "dataQualityUnknown", "dataQualityBloodPressureEsh2002", "dataQualityBloodPressureEsh2010", "dataQualityBloodPressureAami", "dataQualityBloodPressureBhsAA", "dataQualityBloodPressureBhsAB", "dataQualityBloodPressureBhsBA", "dataQualityBloodPressureBhsBB", "dataQualityBloodGlucoseIso151972003", "dataQualityBloodGlucoseIso151972013" ]
enum_DataSourceType := [ "raw", "derived" ]
enum_DataTypeFieldFormat := [ "integer", "floatPoint", "string", "map", "integerList", "floatList", "blob" ]
enum_DeviceType := [ "unknown", "phone", "tablet", "watch", "chestStrap", "scale", "headMounted", "smartDisplay" ]

valid {
    input.Body.application.detailsUrl == STRING
    input.Body.application.name == STRING
    input.Body.application.packageName == STRING
    input.Body.application.version == STRING
    input.Body.dataQualityStandard[_] == enum_DataSourceDataQualityStandard[_]
    input.Body.dataStreamId == STRING
    input.Body.dataStreamName == STRING
    input.Body.dataType.field[_].format == enum_DataTypeFieldFormat[_]
    input.Body.dataType.field[_].name == STRING
    input.Body.dataType.field[_].optional == BOOLEAN
    input.Body.dataType.name == STRING
    input.Body.device.manufacturer == STRING
    input.Body.device.model == STRING
    input.Body.device.type == enum_DeviceType[_]
    input.Body.device.uid == STRING
    input.Body.device.version == STRING
    input.Body.name == STRING
    input.Body.type == enum_DataSourceType[_]
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dataSourceId == STRING
    input.ReqMap.userId == STRING
    input.Qs.limit == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dataSourceId == STRING
    input.ReqMap.datasetId == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dataSourceId == STRING
    input.ReqMap.datasetId == STRING
    input.ReqMap.userId == STRING
    input.Qs.limit == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.dataSourceId == STRING
    input.Body.maxEndTimeNs == STRING
    input.Body.minStartTimeNs == STRING
    input.Body.nextPageToken == STRING
    input.Body.point[_].computationTimeMillis == STRING
    input.Body.point[_].dataTypeName == STRING
    input.Body.point[_].endTimeNanos == STRING
    input.Body.point[_].modifiedTimeMillis == STRING
    input.Body.point[_].originDataSourceId == STRING
    input.Body.point[_].rawTimestampNanos == STRING
    input.Body.point[_].startTimeNanos == STRING
    input.Body.point[_].value[_].fpVal == NUMBER
    input.Body.point[_].value[_].intVal == INTEGER
    input.Body.point[_].value[_].mapVal[_].key == STRING
    input.Body.point[_].value[_].mapVal[_].value.fpVal == NUMBER
    input.Body.point[_].value[_].stringVal == STRING
    input.ReqMap.dataSourceId == STRING
    input.ReqMap.datasetId == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dataSourceId == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dataSourceId == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.userId == STRING
    input.Qs.dataTypeName == STRING
    input.ProviderMetadata.Region == STRING
}

enum_DataSourceDataQualityStandard := [ "dataQualityUnknown", "dataQualityBloodPressureEsh2002", "dataQualityBloodPressureEsh2010", "dataQualityBloodPressureAami", "dataQualityBloodPressureBhsAA", "dataQualityBloodPressureBhsAB", "dataQualityBloodPressureBhsBA", "dataQualityBloodPressureBhsBB", "dataQualityBloodGlucoseIso151972003", "dataQualityBloodGlucoseIso151972013" ]
enum_DataSourceType := [ "raw", "derived" ]
enum_DataTypeFieldFormat := [ "integer", "floatPoint", "string", "map", "integerList", "floatList", "blob" ]
enum_DeviceType := [ "unknown", "phone", "tablet", "watch", "chestStrap", "scale", "headMounted", "smartDisplay" ]

valid {
    input.Body.application.detailsUrl == STRING
    input.Body.application.name == STRING
    input.Body.application.packageName == STRING
    input.Body.application.version == STRING
    input.Body.dataQualityStandard[_] == enum_DataSourceDataQualityStandard[_]
    input.Body.dataStreamId == STRING
    input.Body.dataStreamName == STRING
    input.Body.dataType.field[_].format == enum_DataTypeFieldFormat[_]
    input.Body.dataType.field[_].name == STRING
    input.Body.dataType.field[_].optional == BOOLEAN
    input.Body.dataType.name == STRING
    input.Body.device.manufacturer == STRING
    input.Body.device.model == STRING
    input.Body.device.type == enum_DeviceType[_]
    input.Body.device.uid == STRING
    input.Body.device.version == STRING
    input.Body.name == STRING
    input.Body.type == enum_DataSourceType[_]
    input.ReqMap.dataSourceId == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AggregateRequestFilteredDataQualityStandard := [ "dataQualityUnknown", "dataQualityBloodPressureEsh2002", "dataQualityBloodPressureEsh2010", "dataQualityBloodPressureAami", "dataQualityBloodPressureBhsAA", "dataQualityBloodPressureBhsAB", "dataQualityBloodPressureBhsBA", "dataQualityBloodPressureBhsBB", "dataQualityBloodGlucoseIso151972003", "dataQualityBloodGlucoseIso151972013" ]
enum_BucketByTimePeriodType := [ "day", "week", "month" ]

valid {
    input.Body.aggregateBy[_].dataSourceId == STRING
    input.Body.aggregateBy[_].dataTypeName == STRING
    input.Body.bucketByActivitySegment.activityDataSourceId == STRING
    input.Body.bucketByActivitySegment.minDurationMillis == STRING
    input.Body.bucketByActivityType.activityDataSourceId == STRING
    input.Body.bucketByActivityType.minDurationMillis == STRING
    input.Body.bucketBySession.minDurationMillis == STRING
    input.Body.bucketByTime.durationMillis == STRING
    input.Body.bucketByTime.period.timeZoneId == STRING
    input.Body.bucketByTime.period.type == enum_BucketByTimePeriodType[_]
    input.Body.bucketByTime.period.value == INTEGER
    input.Body.endTimeMillis == STRING
    input.Body.filteredDataQualityStandard[_] == enum_AggregateRequestFilteredDataQualityStandard[_]
    input.Body.startTimeMillis == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.sessionId == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.userId == STRING
    input.Qs.activityType == INTEGER
    input.Qs.endTime == STRING
    input.Qs.includeDeleted == BOOLEAN
    input.Qs.pageToken == STRING
    input.Qs.startTime == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.activeTimeMillis == STRING
    input.Body.activityType == INTEGER
    input.Body.application.detailsUrl == STRING
    input.Body.application.name == STRING
    input.Body.application.packageName == STRING
    input.Body.application.version == STRING
    input.Body.description == STRING
    input.Body.endTimeMillis == STRING
    input.Body.id == STRING
    input.Body.modifiedTimeMillis == STRING
    input.Body.name == STRING
    input.Body.startTimeMillis == STRING
    input.ReqMap.sessionId == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}