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
}
Updated over 1 year ago