MICROSOFT.ADHYBRIDHEALTHSERVICE

adDomainServiceMembers_list

enum_NextPartitionKeyParameter := [ " " ]
enum_NextRowKeyParameter := [ " " ]

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.isGroupbySite == BOOLEAN
    input.Qs.query == STRING
    input.Qs.nextPartitionKey == enum_NextPartitionKeyParameter[_]
    input.Qs.nextRowKey == enum_NextRowKeyParameter[_]
    input.Qs.takeCount == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServiceMembers_delete

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.confirm == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServiceMembers_get

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServiceMembers_list

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServiceMembers_listCredentials

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsService_getMetrics

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.groupKey == STRING
    input.Qs.fromDate == STRING
    input.Qs.toDate == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServicesReplicationStatus_get

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServicesServiceMembers_add

enum_ServiceMemberServerReportedMonitoringLevel := [ "Partial", "Full", "Off" ]

valid {
    input.Body.serviceMemberId == STRING
    input.Body.serviceId == STRING
    input.Body.tenantId == STRING
    input.Body.activeAlerts == INTEGER
    input.Body.additionalInformation == STRING
    input.Body.createdDate == STRING
    input.Body.dimensions.STRING == STRING
    input.Body.disabled == BOOLEAN
    input.Body.disabledReason == INTEGER
    input.Body.installedQfes.STRING == STRING
    input.Body.lastDisabled == STRING
    input.Body.lastReboot == STRING
    input.Body.lastServerReportedMonitoringLevelChange == STRING
    input.Body.lastUpdated == STRING
    input.Body.machineId == STRING
    input.Body.machineName == STRING
    input.Body.monitoringConfigurationsComputed.STRING == STRING
    input.Body.monitoringConfigurationsCustomized.STRING == STRING
    input.Body.osName == STRING
    input.Body.osVersion == STRING
    input.Body.properties.STRING == STRING
    input.Body.recommendedQfes.STRING == STRING
    input.Body.resolvedAlerts == INTEGER
    input.Body.role == STRING
    input.Body.serverReportedMonitoringLevel == enum_ServiceMemberServerReportedMonitoringLevel[_]
    input.Body.status == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServicesServiceMembers_list

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.dimensionType == STRING
    input.Qs.dimensionSignature == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServicesUserPreference_add

valid {
    input.Body.metricNames[_] == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServicesUserPreference_delete

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServicesUserPreference_get

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_add

valid {
    input.Body.id == STRING
    input.Body.activeAlerts == INTEGER
    input.Body.additionalInformation == STRING
    input.Body.createdDate == STRING
    input.Body.customNotificationEmails[_] == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.health == STRING
    input.Body.lastDisabled == STRING
    input.Body.lastUpdated == STRING
    input.Body.monitoringConfigurationsComputed.STRING == STRING
    input.Body.monitoringConfigurationsCustomized.STRING == STRING
    input.Body.notificationEmailEnabled == BOOLEAN
    input.Body.notificationEmailEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmailsEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmails[_] == STRING
    input.Body.originalDisabledState == BOOLEAN
    input.Body.resolvedAlerts == INTEGER
    input.Body.serviceId == STRING
    input.Body.serviceName == STRING
    input.Body.signature == STRING
    input.Body.simpleProperties.STRING == STRING
    input.Body.tenantId == STRING
    input.Body.type == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_delete

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.confirm == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_get

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_getForestSummary

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_getMetricMetadata

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_getMetricMetadataForGroup

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.groupKey == STRING
    input.Qs.fromDate == STRING
    input.Qs.toDate == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_list

valid {
    input.Qs.$filter == STRING
    input.Qs.serviceType == STRING
    input.Qs.skipCount == INTEGER
    input.Qs.takeCount == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_listMetricMetadata

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.perfCounter == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_listMetricsAverage

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_listMetricsSum

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_listPremiumServices

valid {
    input.Qs.$filter == STRING
    input.Qs.serviceType == STRING
    input.Qs.skipCount == INTEGER
    input.Qs.takeCount == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_listReplicationDetails

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.withDetails == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_listReplicationSummary

enum_NextPartitionKeyParameter := [ " " ]
enum_NextRowKeyParameter := [ " " ]

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.isGroupbySite == BOOLEAN
    input.Qs.query == STRING
    input.Qs.nextPartitionKey == enum_NextPartitionKeyParameter[_]
    input.Qs.nextRowKey == enum_NextRowKeyParameter[_]
    input.Qs.takeCount == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_listServerAlerts

valid {
    input.ReqMap.serviceMemberId == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.state == STRING
    input.Qs.from == STRING
    input.Qs.to == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

addsServices_update

valid {
    input.Body.id == STRING
    input.Body.activeAlerts == INTEGER
    input.Body.additionalInformation == STRING
    input.Body.createdDate == STRING
    input.Body.customNotificationEmails[_] == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.health == STRING
    input.Body.lastDisabled == STRING
    input.Body.lastUpdated == STRING
    input.Body.monitoringConfigurationsComputed.STRING == STRING
    input.Body.monitoringConfigurationsCustomized.STRING == STRING
    input.Body.notificationEmailEnabled == BOOLEAN
    input.Body.notificationEmailEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmailsEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmails[_] == STRING
    input.Body.originalDisabledState == BOOLEAN
    input.Body.resolvedAlerts == INTEGER
    input.Body.serviceId == STRING
    input.Body.serviceName == STRING
    input.Body.signature == STRING
    input.Body.simpleProperties.STRING == STRING
    input.Body.tenantId == STRING
    input.Body.type == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

alerts_listAddsAlerts

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.state == STRING
    input.Qs.from == STRING
    input.Qs.to == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

configuration_add

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

configuration_get

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

configuration_listAddsConfigurations

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.grouping == STRING
    input.ProviderMetadata.Region == STRING
}

configuration_update

valid {
    input.Body.tenantId == STRING
    input.Body.aadLicense == STRING
    input.Body.aadPremium == BOOLEAN
    input.Body.agentAutoUpdate == BOOLEAN
    input.Body.alertSuppressionTimeInMins == INTEGER
    input.Body.consentedToMicrosoftDevOps == BOOLEAN
    input.Body.countryLetterCode == STRING
    input.Body.createdDate == STRING
    input.Body.devOpsTtl == STRING
    input.Body.disabled == BOOLEAN
    input.Body.disabledReason == INTEGER
    input.Body.globalAdminsEmail[_] == STRING
    input.Body.initialDomain == STRING
    input.Body.lastDisabled == STRING
    input.Body.lastVerified == STRING
    input.Body.onboardingAllowed == BOOLEAN
    input.Body.onboarded == BOOLEAN
    input.Body.pksCertificate.STRING == STRING
    input.Body.privatePreviewTenant == BOOLEAN
    input.Body.tenantInQuarantine == BOOLEAN
    input.Body.tenantName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

dimensions_listAddsDimensions

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.dimension == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

list_IPAddressAggregateSettings

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

list_IPAddressAggregatesByService

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.skiptoken == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

operations_list

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

reports_getDevOps

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_add

enum_ServiceMemberServerReportedMonitoringLevel := [ "Partial", "Full", "Off" ]

valid {
    input.Body.serviceMemberId == STRING
    input.Body.serviceId == STRING
    input.Body.tenantId == STRING
    input.Body.activeAlerts == INTEGER
    input.Body.additionalInformation == STRING
    input.Body.createdDate == STRING
    input.Body.dimensions.STRING == STRING
    input.Body.disabled == BOOLEAN
    input.Body.disabledReason == INTEGER
    input.Body.installedQfes.STRING == STRING
    input.Body.lastDisabled == STRING
    input.Body.lastReboot == STRING
    input.Body.lastServerReportedMonitoringLevelChange == STRING
    input.Body.lastUpdated == STRING
    input.Body.machineId == STRING
    input.Body.machineName == STRING
    input.Body.monitoringConfigurationsComputed.STRING == STRING
    input.Body.monitoringConfigurationsCustomized.STRING == STRING
    input.Body.osName == STRING
    input.Body.osVersion == STRING
    input.Body.properties.STRING == STRING
    input.Body.recommendedQfes.STRING == STRING
    input.Body.resolvedAlerts == INTEGER
    input.Body.role == STRING
    input.Body.serverReportedMonitoringLevel == enum_ServiceMemberServerReportedMonitoringLevel[_]
    input.Body.status == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_delete

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.confirm == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_deleteData

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_get

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_getConnectorMetadata

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.ReqMap.metricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_getMetrics

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.groupKey == STRING
    input.Qs.fromDate == STRING
    input.Qs.toDate == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_getServiceConfiguration

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_list

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.dimensionType == STRING
    input.Qs.dimensionSignature == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_listAlerts

valid {
    input.ReqMap.serviceMemberId == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.state == STRING
    input.Qs.from == STRING
    input.Qs.to == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_listConnectors

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_listCredentials

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_listDataFreshness

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_listExportStatus

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

serviceMembers_listGlobalConfiguration

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.serviceMemberId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

service_getMetrics

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.groupKey == STRING
    input.Qs.fromDate == STRING
    input.Qs.toDate == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_add

valid {
    input.Body.id == STRING
    input.Body.activeAlerts == INTEGER
    input.Body.additionalInformation == STRING
    input.Body.createdDate == STRING
    input.Body.customNotificationEmails[_] == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.health == STRING
    input.Body.lastDisabled == STRING
    input.Body.lastUpdated == STRING
    input.Body.monitoringConfigurationsComputed.STRING == STRING
    input.Body.monitoringConfigurationsCustomized.STRING == STRING
    input.Body.notificationEmailEnabled == BOOLEAN
    input.Body.notificationEmailEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmailsEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmails[_] == STRING
    input.Body.originalDisabledState == BOOLEAN
    input.Body.resolvedAlerts == INTEGER
    input.Body.serviceId == STRING
    input.Body.serviceName == STRING
    input.Body.signature == STRING
    input.Body.simpleProperties.STRING == STRING
    input.Body.tenantId == STRING
    input.Body.type == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_addAlertFeedback

valid {
    input.Body.level == STRING
    input.Body.state == STRING
    input.Body.shortName == STRING
    input.Body.feedback == STRING
    input.Body.comment == STRING
    input.Body.consentedToShare == BOOLEAN
    input.Body.serviceMemberId == STRING
    input.Body.createdDate == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_delete

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.confirm == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_get

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_getFeatureAvailibility

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_getMetricMetadata

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_getMetricMetadataForGroup

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.groupKey == STRING
    input.Qs.fromDate == STRING
    input.Qs.toDate == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_getTenantWhitelisting

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_list

valid {
    input.Qs.$filter == STRING
    input.Qs.serviceType == STRING
    input.Qs.skipCount == INTEGER
    input.Qs.takeCount == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listAlertFeedback

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.shortName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listAlerts

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.state == STRING
    input.Qs.from == STRING
    input.Qs.to == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listAllRiskyIpDownloadReport

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listCurrentRiskyIpDownloadReport

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listExportErrors

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listExportErrorsV2

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.errorBucket == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listExportStatus

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listMetricMetadata

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.$filter == STRING
    input.Qs.perfCounter == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listMetricsAverage

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listMetricsSum

valid {
    input.ReqMap.serviceName == STRING
    input.ReqMap.metricName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listMonitoringConfigurations

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listPremium

valid {
    input.Qs.$filter == STRING
    input.Qs.serviceType == STRING
    input.Qs.skipCount == INTEGER
    input.Qs.takeCount == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_listUserBadPasswordReport

valid {
    input.ReqMap.serviceName == STRING
    input.Qs.dataSource == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_update

valid {
    input.Body.id == STRING
    input.Body.activeAlerts == INTEGER
    input.Body.additionalInformation == STRING
    input.Body.createdDate == STRING
    input.Body.customNotificationEmails[_] == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.health == STRING
    input.Body.lastDisabled == STRING
    input.Body.lastUpdated == STRING
    input.Body.monitoringConfigurationsComputed.STRING == STRING
    input.Body.monitoringConfigurationsCustomized.STRING == STRING
    input.Body.notificationEmailEnabled == BOOLEAN
    input.Body.notificationEmailEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmailsEnabledForGlobalAdmins == BOOLEAN
    input.Body.notificationEmails[_] == STRING
    input.Body.originalDisabledState == BOOLEAN
    input.Body.resolvedAlerts == INTEGER
    input.Body.serviceId == STRING
    input.Body.serviceName == STRING
    input.Body.signature == STRING
    input.Body.simpleProperties.STRING == STRING
    input.Body.tenantId == STRING
    input.Body.type == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

services_updateMonitoringConfiguration

valid {
    input.Body.key == STRING
    input.Body.value == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

update_IPAddressAggregateSettings

valid {
    input.Body.id == STRING
    input.Body.badPasswordAndExtranetLockoutCombinedDailyThreshold == INTEGER
    input.Body.badPasswordAndExtranetLockoutCombinedHourlyThreshold == INTEGER
    input.Body.extranetLockoutDailyThreshold == INTEGER
    input.Body.extranetLockoutHourlyThreshold == INTEGER
    input.Body.emailNotificationEnabled == BOOLEAN
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}