MICROSOFT.APPPLATFORM

ApiPortalCustomDomains_CreateOrUpdate

valid {
    input.Body.properties.thumbprint == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.apiPortalName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApiPortalCustomDomains_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.apiPortalName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApiPortalCustomDomains_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.apiPortalName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApiPortalCustomDomains_List

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

ApiPortals_CreateOrUpdate

enum_ApiPortalPropertiesApiTryOutEnabledState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.public == BOOLEAN
    input.Body.properties.httpsOnly == BOOLEAN
    input.Body.properties.gatewayIds[_] == STRING
    input.Body.properties.sourceUrls[_] == STRING
    input.Body.properties.ssoProperties.scope[_] == STRING
    input.Body.properties.ssoProperties.clientId == STRING
    input.Body.properties.ssoProperties.clientSecret == STRING
    input.Body.properties.ssoProperties.issuerUri == STRING
    input.Body.properties.apiTryOutEnabledState == enum_ApiPortalPropertiesApiTryOutEnabledState[_]
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.apiPortalName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApiPortals_Delete

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

ApiPortals_Get

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

ApiPortals_List

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

ApiPortals_ValidateDomain

valid {
    input.Body.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.apiPortalName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Apms_CreateOrUpdate

valid {
    input.Body.properties.type == STRING
    input.Body.properties.properties.STRING == STRING
    input.Body.properties.secrets.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.apmName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Apms_Delete

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

Apms_Get

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

Apms_List

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

Apms_ListSecretKeys

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

ApplicationAccelerators_CreateOrUpdate

valid {
    input.Body.properties == {}
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplicationAccelerators_Delete

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

ApplicationAccelerators_Get

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

ApplicationAccelerators_List

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

ApplicationLiveViews_CreateOrUpdate

valid {
    input.Body.properties == {}
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationLiveViewName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplicationLiveViews_Delete

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

ApplicationLiveViews_Get

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

ApplicationLiveViews_List

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

Apps_CreateOrUpdate

enum_AppResourcePropertiesTestEndpointAuthState := [ "Enabled", "Disabled" ]
enum_CustomPersistentDiskPropertiesType := [ "AzureFileVolume" ]
enum_IngressSettingsBackendProtocol := [ "GRPC", "Default" ]
enum_IngressSettingsSessionAffinity := [ "Cookie", "None" ]
enum_ManagedIdentityPropertiesType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

valid {
    input.Body.properties.public == BOOLEAN
    input.Body.properties.addonConfigs.STRING.STRING == STRING
    input.Body.properties.httpsOnly == BOOLEAN
    input.Body.properties.temporaryDisk.sizeInGB == INTEGER
    input.Body.properties.temporaryDisk.mountPath == STRING
    input.Body.properties.persistentDisk.sizeInGB == INTEGER
    input.Body.properties.persistentDisk.mountPath == STRING
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.type == enum_CustomPersistentDiskPropertiesType[_]
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.mountPath == STRING
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.readOnly == BOOLEAN
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.enableSubPath == BOOLEAN
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.mountOptions[_] == STRING
    input.Body.properties.customPersistentDisks[_].storageId == STRING
    input.Body.properties.enableEndToEndTLS == BOOLEAN
    input.Body.properties.loadedCertificates[_].resourceId == STRING
    input.Body.properties.loadedCertificates[_].loadTrustStore == BOOLEAN
    input.Body.properties.vnetAddons.publicEndpoint == BOOLEAN
    input.Body.properties.ingressSettings.readTimeoutInSeconds == INTEGER
    input.Body.properties.ingressSettings.sendTimeoutInSeconds == INTEGER
    input.Body.properties.ingressSettings.sessionAffinity == enum_IngressSettingsSessionAffinity[_]
    input.Body.properties.ingressSettings.sessionCookieMaxAge == INTEGER
    input.Body.properties.ingressSettings.backendProtocol == enum_IngressSettingsBackendProtocol[_]
    input.Body.properties.ingressSettings.clientAuth.certificates[_] == STRING
    input.Body.properties.secrets[_].name == STRING
    input.Body.properties.secrets[_].value == STRING
    input.Body.properties.workloadProfileName == STRING
    input.Body.properties.testEndpointAuthState == enum_AppResourcePropertiesTestEndpointAuthState[_]
    input.Body.identity.type == enum_ManagedIdentityPropertiesType[_]
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Apps_Delete

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

Apps_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.Qs.syncStatus == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Apps_GetResourceUploadUrl

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

Apps_List

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

Apps_SetActiveDeployments

valid {
    input.Body.activeDeploymentNames[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Apps_Update

enum_AppResourcePropertiesTestEndpointAuthState := [ "Enabled", "Disabled" ]
enum_CustomPersistentDiskPropertiesType := [ "AzureFileVolume" ]
enum_IngressSettingsBackendProtocol := [ "GRPC", "Default" ]
enum_IngressSettingsSessionAffinity := [ "Cookie", "None" ]
enum_ManagedIdentityPropertiesType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

valid {
    input.Body.properties.public == BOOLEAN
    input.Body.properties.addonConfigs.STRING.STRING == STRING
    input.Body.properties.httpsOnly == BOOLEAN
    input.Body.properties.temporaryDisk.sizeInGB == INTEGER
    input.Body.properties.temporaryDisk.mountPath == STRING
    input.Body.properties.persistentDisk.sizeInGB == INTEGER
    input.Body.properties.persistentDisk.mountPath == STRING
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.type == enum_CustomPersistentDiskPropertiesType[_]
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.mountPath == STRING
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.readOnly == BOOLEAN
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.enableSubPath == BOOLEAN
    input.Body.properties.customPersistentDisks[_].customPersistentDiskProperties.mountOptions[_] == STRING
    input.Body.properties.customPersistentDisks[_].storageId == STRING
    input.Body.properties.enableEndToEndTLS == BOOLEAN
    input.Body.properties.loadedCertificates[_].resourceId == STRING
    input.Body.properties.loadedCertificates[_].loadTrustStore == BOOLEAN
    input.Body.properties.vnetAddons.publicEndpoint == BOOLEAN
    input.Body.properties.ingressSettings.readTimeoutInSeconds == INTEGER
    input.Body.properties.ingressSettings.sendTimeoutInSeconds == INTEGER
    input.Body.properties.ingressSettings.sessionAffinity == enum_IngressSettingsSessionAffinity[_]
    input.Body.properties.ingressSettings.sessionCookieMaxAge == INTEGER
    input.Body.properties.ingressSettings.backendProtocol == enum_IngressSettingsBackendProtocol[_]
    input.Body.properties.ingressSettings.clientAuth.certificates[_] == STRING
    input.Body.properties.secrets[_].name == STRING
    input.Body.properties.secrets[_].value == STRING
    input.Body.properties.workloadProfileName == STRING
    input.Body.properties.testEndpointAuthState == enum_AppResourcePropertiesTestEndpointAuthState[_]
    input.Body.identity.type == enum_ManagedIdentityPropertiesType[_]
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Apps_ValidateDomain

valid {
    input.Body.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Bindings_CreateOrUpdate

valid {
    input.Body.properties.resourceId == STRING
    input.Body.properties.key == STRING
    input.Body.properties.bindingParameters.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.bindingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Bindings_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.bindingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Bindings_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.bindingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Bindings_List

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

Bindings_Update

valid {
    input.Body.properties.resourceId == STRING
    input.Body.properties.key == STRING
    input.Body.properties.bindingParameters.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.bindingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildServiceAgentPool_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildServiceAgentPool_List

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

BuildServiceAgentPool_UpdatePut

valid {
    input.Body.properties.poolSize.name == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildServiceBuilder_CreateOrUpdate

valid {
    input.Body.properties.stack.id == STRING
    input.Body.properties.stack.version == STRING
    input.Body.properties.buildpackGroups[_].name == STRING
    input.Body.properties.buildpackGroups[_].buildpacks[_].id == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildServiceBuilder_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildServiceBuilder_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildServiceBuilder_List

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

BuildServiceBuilder_ListDeployments

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_CreateOrUpdate

valid {
    input.Body.properties.containerRegistry == STRING
    input.Body.properties.resourceRequests == {}
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_CreateOrUpdateBuild

valid {
    input.Body.properties.relativePath == STRING
    input.Body.properties.builder == STRING
    input.Body.properties.agentPool == STRING
    input.Body.properties.env.STRING == STRING
    input.Body.properties.apms[_].resourceId == STRING
    input.Body.properties.certificates[_].resourceId == STRING
    input.Body.properties.resourceRequests.cpu == STRING
    input.Body.properties.resourceRequests.memory == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.buildName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_DeleteBuild

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.buildName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_GetBuild

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.buildName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_GetBuildResult

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.buildName == STRING
    input.ReqMap.buildResultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_GetBuildResultLog

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.buildName == STRING
    input.ReqMap.buildResultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_GetBuildService

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

BuildService_GetResourceUploadUrl

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

BuildService_GetSupportedBuildpack

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.buildpackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_GetSupportedStack

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.stackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_ListBuildResults

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.buildName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildService_ListBuildServices

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

BuildService_ListBuilds

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

BuildService_ListSupportedBuildpacks

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

BuildService_ListSupportedStacks

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

BuildpackBinding_CreateOrUpdate

enum_BuildpackBindingPropertiesBindingType := [ "ApplicationInsights", "ApacheSkyWalking", "AppDynamics", "Dynatrace", "NewRelic", "ElasticAPM", "CACertificates" ]

valid {
    input.Body.properties.bindingType == enum_BuildpackBindingPropertiesBindingType[_]
    input.Body.properties.launchProperties.properties.STRING == STRING
    input.Body.properties.launchProperties.secrets.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.ReqMap.buildpackBindingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildpackBinding_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.ReqMap.buildpackBindingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildpackBinding_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.ReqMap.buildpackBindingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildpackBinding_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.buildServiceName == STRING
    input.ReqMap.builderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildpackBinding_ListForCluster

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

Certificates_CreateOrUpdate

valid {
    input.Body.properties.type == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.certificateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Certificates_Delete

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

Certificates_Get

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

Certificates_List

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

ConfigServers_Get

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

ConfigServers_UpdatePatch

enum_ConfigServerPropertiesEnabledState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.error.code == STRING
    input.Body.properties.error.message == STRING
    input.Body.properties.enabledState == enum_ConfigServerPropertiesEnabledState[_]
    input.Body.properties.configServer.gitProperty.repositories[_].name == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].pattern[_] == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].uri == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].label == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].searchPaths[_] == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].username == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].password == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].hostKey == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].hostKeyAlgorithm == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].privateKey == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].strictHostKeyChecking == BOOLEAN
    input.Body.properties.configServer.gitProperty.uri == STRING
    input.Body.properties.configServer.gitProperty.label == STRING
    input.Body.properties.configServer.gitProperty.searchPaths[_] == STRING
    input.Body.properties.configServer.gitProperty.username == STRING
    input.Body.properties.configServer.gitProperty.password == STRING
    input.Body.properties.configServer.gitProperty.hostKey == STRING
    input.Body.properties.configServer.gitProperty.hostKeyAlgorithm == STRING
    input.Body.properties.configServer.gitProperty.privateKey == STRING
    input.Body.properties.configServer.gitProperty.strictHostKeyChecking == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigServers_UpdatePut

enum_ConfigServerPropertiesEnabledState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.error.code == STRING
    input.Body.properties.error.message == STRING
    input.Body.properties.enabledState == enum_ConfigServerPropertiesEnabledState[_]
    input.Body.properties.configServer.gitProperty.repositories[_].name == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].pattern[_] == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].uri == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].label == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].searchPaths[_] == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].username == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].password == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].hostKey == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].hostKeyAlgorithm == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].privateKey == STRING
    input.Body.properties.configServer.gitProperty.repositories[_].strictHostKeyChecking == BOOLEAN
    input.Body.properties.configServer.gitProperty.uri == STRING
    input.Body.properties.configServer.gitProperty.label == STRING
    input.Body.properties.configServer.gitProperty.searchPaths[_] == STRING
    input.Body.properties.configServer.gitProperty.username == STRING
    input.Body.properties.configServer.gitProperty.password == STRING
    input.Body.properties.configServer.gitProperty.hostKey == STRING
    input.Body.properties.configServer.gitProperty.hostKeyAlgorithm == STRING
    input.Body.properties.configServer.gitProperty.privateKey == STRING
    input.Body.properties.configServer.gitProperty.strictHostKeyChecking == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigServers_Validate

valid {
    input.Body.gitProperty.repositories[_].name == STRING
    input.Body.gitProperty.repositories[_].pattern[_] == STRING
    input.Body.gitProperty.repositories[_].uri == STRING
    input.Body.gitProperty.repositories[_].label == STRING
    input.Body.gitProperty.repositories[_].searchPaths[_] == STRING
    input.Body.gitProperty.repositories[_].username == STRING
    input.Body.gitProperty.repositories[_].password == STRING
    input.Body.gitProperty.repositories[_].hostKey == STRING
    input.Body.gitProperty.repositories[_].hostKeyAlgorithm == STRING
    input.Body.gitProperty.repositories[_].privateKey == STRING
    input.Body.gitProperty.repositories[_].strictHostKeyChecking == BOOLEAN
    input.Body.gitProperty.uri == STRING
    input.Body.gitProperty.label == STRING
    input.Body.gitProperty.searchPaths[_] == STRING
    input.Body.gitProperty.username == STRING
    input.Body.gitProperty.password == STRING
    input.Body.gitProperty.hostKey == STRING
    input.Body.gitProperty.hostKeyAlgorithm == STRING
    input.Body.gitProperty.privateKey == STRING
    input.Body.gitProperty.strictHostKeyChecking == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationServices_CreateOrUpdate

enum_ConfigurationServicePropertiesGeneration := [ "Gen1", "Gen2" ]
enum_GitImplementation := [ "go-git", "libgit2" ]

valid {
    input.Body.properties.generation == enum_ConfigurationServicePropertiesGeneration[_]
    input.Body.properties.settings.gitProperty.repositories[_].name == STRING
    input.Body.properties.settings.gitProperty.repositories[_].patterns[_] == STRING
    input.Body.properties.settings.gitProperty.repositories[_].uri == STRING
    input.Body.properties.settings.gitProperty.repositories[_].label == STRING
    input.Body.properties.settings.gitProperty.repositories[_].searchPaths[_] == STRING
    input.Body.properties.settings.gitProperty.repositories[_].username == STRING
    input.Body.properties.settings.gitProperty.repositories[_].password == STRING
    input.Body.properties.settings.gitProperty.repositories[_].hostKey == STRING
    input.Body.properties.settings.gitProperty.repositories[_].hostKeyAlgorithm == STRING
    input.Body.properties.settings.gitProperty.repositories[_].privateKey == STRING
    input.Body.properties.settings.gitProperty.repositories[_].strictHostKeyChecking == BOOLEAN
    input.Body.properties.settings.gitProperty.repositories[_].gitImplementation == enum_GitImplementation[_]
    input.Body.properties.settings.gitProperty.repositories[_].caCertResourceId == STRING
    input.Body.properties.settings.refreshIntervalInSeconds == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.configurationServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationServices_Delete

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

ConfigurationServices_Get

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

ConfigurationServices_List

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

ConfigurationServices_Validate

enum_GitImplementation := [ "go-git", "libgit2" ]

valid {
    input.Body.gitProperty.repositories[_].name == STRING
    input.Body.gitProperty.repositories[_].patterns[_] == STRING
    input.Body.gitProperty.repositories[_].uri == STRING
    input.Body.gitProperty.repositories[_].label == STRING
    input.Body.gitProperty.repositories[_].searchPaths[_] == STRING
    input.Body.gitProperty.repositories[_].username == STRING
    input.Body.gitProperty.repositories[_].password == STRING
    input.Body.gitProperty.repositories[_].hostKey == STRING
    input.Body.gitProperty.repositories[_].hostKeyAlgorithm == STRING
    input.Body.gitProperty.repositories[_].privateKey == STRING
    input.Body.gitProperty.repositories[_].strictHostKeyChecking == BOOLEAN
    input.Body.gitProperty.repositories[_].gitImplementation == enum_GitImplementation[_]
    input.Body.gitProperty.repositories[_].caCertResourceId == STRING
    input.Body.refreshIntervalInSeconds == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.configurationServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationServices_ValidateResource

enum_ConfigurationServicePropertiesGeneration := [ "Gen1", "Gen2" ]
enum_GitImplementation := [ "go-git", "libgit2" ]

valid {
    input.Body.properties.generation == enum_ConfigurationServicePropertiesGeneration[_]
    input.Body.properties.settings.gitProperty.repositories[_].name == STRING
    input.Body.properties.settings.gitProperty.repositories[_].patterns[_] == STRING
    input.Body.properties.settings.gitProperty.repositories[_].uri == STRING
    input.Body.properties.settings.gitProperty.repositories[_].label == STRING
    input.Body.properties.settings.gitProperty.repositories[_].searchPaths[_] == STRING
    input.Body.properties.settings.gitProperty.repositories[_].username == STRING
    input.Body.properties.settings.gitProperty.repositories[_].password == STRING
    input.Body.properties.settings.gitProperty.repositories[_].hostKey == STRING
    input.Body.properties.settings.gitProperty.repositories[_].hostKeyAlgorithm == STRING
    input.Body.properties.settings.gitProperty.repositories[_].privateKey == STRING
    input.Body.properties.settings.gitProperty.repositories[_].strictHostKeyChecking == BOOLEAN
    input.Body.properties.settings.gitProperty.repositories[_].gitImplementation == enum_GitImplementation[_]
    input.Body.properties.settings.gitProperty.repositories[_].caCertResourceId == STRING
    input.Body.properties.settings.refreshIntervalInSeconds == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.configurationServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ContainerRegistries_CreateOrUpdate

valid {
    input.Body.properties.credentials.type == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.containerRegistryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ContainerRegistries_Delete

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

ContainerRegistries_Get

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

ContainerRegistries_List

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

ContainerRegistries_Validate

valid {
    input.Body.credentials.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.containerRegistryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomDomains_CreateOrUpdate

valid {
    input.Body.properties.thumbprint == STRING
    input.Body.properties.certName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomDomains_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomDomains_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomDomains_List

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

CustomDomains_Update

valid {
    input.Body.properties.thumbprint == STRING
    input.Body.properties.certName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomizedAccelerators_CreateOrUpdate

enum_CustomizedAcceleratorPropertiesAcceleratorType := [ "Accelerator", "Fragment" ]

valid {
    input.Body.properties.acceleratorType == enum_CustomizedAcceleratorPropertiesAcceleratorType[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.description == STRING
    input.Body.properties.iconUrl == STRING
    input.Body.properties.acceleratorTags[_] == STRING
    input.Body.properties.gitRepository.url == STRING
    input.Body.properties.gitRepository.intervalInSeconds == INTEGER
    input.Body.properties.gitRepository.branch == STRING
    input.Body.properties.gitRepository.commit == STRING
    input.Body.properties.gitRepository.gitTag == STRING
    input.Body.properties.gitRepository.authSetting.authType == STRING
    input.Body.properties.gitRepository.subPath == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.ReqMap.customizedAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomizedAccelerators_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.ReqMap.customizedAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomizedAccelerators_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.ReqMap.customizedAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomizedAccelerators_List

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

CustomizedAccelerators_Validate

enum_CustomizedAcceleratorPropertiesAcceleratorType := [ "Accelerator", "Fragment" ]

valid {
    input.Body.acceleratorType == enum_CustomizedAcceleratorPropertiesAcceleratorType[_]
    input.Body.displayName == STRING
    input.Body.description == STRING
    input.Body.iconUrl == STRING
    input.Body.acceleratorTags[_] == STRING
    input.Body.gitRepository.url == STRING
    input.Body.gitRepository.intervalInSeconds == INTEGER
    input.Body.gitRepository.branch == STRING
    input.Body.gitRepository.commit == STRING
    input.Body.gitRepository.gitTag == STRING
    input.Body.gitRepository.authSetting.authType == STRING
    input.Body.gitRepository.subPath == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.ReqMap.customizedAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_CreateOrUpdate

enum_ProbeActionType := [ "HTTPGetAction", "TCPSocketAction", "ExecAction" ]

valid {
    input.Body.properties.source.type == STRING
    input.Body.properties.source.version == STRING
    input.Body.properties.deploymentSettings.resourceRequests.cpu == STRING
    input.Body.properties.deploymentSettings.resourceRequests.memory == STRING
    input.Body.properties.deploymentSettings.environmentVariables.STRING == STRING
    input.Body.properties.deploymentSettings.apms[_].resourceId == STRING
    input.Body.properties.deploymentSettings.addonConfigs.STRING.STRING == STRING
    input.Body.properties.deploymentSettings.livenessProbe.probeAction.type == enum_ProbeActionType[_]
    input.Body.properties.deploymentSettings.livenessProbe.disableProbe == BOOLEAN
    input.Body.properties.deploymentSettings.livenessProbe.initialDelaySeconds == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.periodSeconds == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.timeoutSeconds == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.failureThreshold == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.successThreshold == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.probeAction.type == enum_ProbeActionType[_]
    input.Body.properties.deploymentSettings.readinessProbe.disableProbe == BOOLEAN
    input.Body.properties.deploymentSettings.readinessProbe.initialDelaySeconds == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.periodSeconds == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.timeoutSeconds == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.failureThreshold == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.successThreshold == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.probeAction.type == enum_ProbeActionType[_]
    input.Body.properties.deploymentSettings.startupProbe.disableProbe == BOOLEAN
    input.Body.properties.deploymentSettings.startupProbe.initialDelaySeconds == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.periodSeconds == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.timeoutSeconds == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.failureThreshold == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.successThreshold == INTEGER
    input.Body.properties.deploymentSettings.terminationGracePeriodSeconds == INTEGER
    input.Body.properties.deploymentSettings.scale.minReplicas == INTEGER
    input.Body.properties.deploymentSettings.scale.maxReplicas == INTEGER
    input.Body.properties.deploymentSettings.scale.rules[_].name == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.queueName == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.queueLength == INTEGER
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.type == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.metadata.STRING == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].http.metadata.STRING == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].http.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].http.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].tcp.metadata.STRING == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].tcp.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].tcp.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.containerProbeSettings.disableProbe == BOOLEAN
    input.Body.properties.active == BOOLEAN
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_DisableRemoteDebugging

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_EnableRemoteDebugging

valid {
    input.Body.port == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_GenerateHeapDump

valid {
    input.Body.appInstance == STRING
    input.Body.filePath == STRING
    input.Body.duration == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_GenerateThreadDump

valid {
    input.Body.appInstance == STRING
    input.Body.filePath == STRING
    input.Body.duration == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_GetLogFileUrl

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_GetRemoteDebuggingConfig

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.Qs.version == ARRAY
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_ListForCluster

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.Qs.version == ARRAY
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Restart

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Start

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_StartJFR

valid {
    input.Body.appInstance == STRING
    input.Body.filePath == STRING
    input.Body.duration == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Stop

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Update

enum_ProbeActionType := [ "HTTPGetAction", "TCPSocketAction", "ExecAction" ]

valid {
    input.Body.properties.source.type == STRING
    input.Body.properties.source.version == STRING
    input.Body.properties.deploymentSettings.resourceRequests.cpu == STRING
    input.Body.properties.deploymentSettings.resourceRequests.memory == STRING
    input.Body.properties.deploymentSettings.environmentVariables.STRING == STRING
    input.Body.properties.deploymentSettings.apms[_].resourceId == STRING
    input.Body.properties.deploymentSettings.addonConfigs.STRING.STRING == STRING
    input.Body.properties.deploymentSettings.livenessProbe.probeAction.type == enum_ProbeActionType[_]
    input.Body.properties.deploymentSettings.livenessProbe.disableProbe == BOOLEAN
    input.Body.properties.deploymentSettings.livenessProbe.initialDelaySeconds == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.periodSeconds == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.timeoutSeconds == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.failureThreshold == INTEGER
    input.Body.properties.deploymentSettings.livenessProbe.successThreshold == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.probeAction.type == enum_ProbeActionType[_]
    input.Body.properties.deploymentSettings.readinessProbe.disableProbe == BOOLEAN
    input.Body.properties.deploymentSettings.readinessProbe.initialDelaySeconds == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.periodSeconds == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.timeoutSeconds == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.failureThreshold == INTEGER
    input.Body.properties.deploymentSettings.readinessProbe.successThreshold == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.probeAction.type == enum_ProbeActionType[_]
    input.Body.properties.deploymentSettings.startupProbe.disableProbe == BOOLEAN
    input.Body.properties.deploymentSettings.startupProbe.initialDelaySeconds == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.periodSeconds == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.timeoutSeconds == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.failureThreshold == INTEGER
    input.Body.properties.deploymentSettings.startupProbe.successThreshold == INTEGER
    input.Body.properties.deploymentSettings.terminationGracePeriodSeconds == INTEGER
    input.Body.properties.deploymentSettings.scale.minReplicas == INTEGER
    input.Body.properties.deploymentSettings.scale.maxReplicas == INTEGER
    input.Body.properties.deploymentSettings.scale.rules[_].name == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.queueName == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.queueLength == INTEGER
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].azureQueue.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.type == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.metadata.STRING == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].custom.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].http.metadata.STRING == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].http.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].http.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].tcp.metadata.STRING == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].tcp.auth[_].secretRef == STRING
    input.Body.properties.deploymentSettings.scale.rules[_].tcp.auth[_].triggerParameter == STRING
    input.Body.properties.deploymentSettings.containerProbeSettings.disableProbe == BOOLEAN
    input.Body.properties.active == BOOLEAN
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DevToolPortals_CreateOrUpdate

enum_DevToolPortalFeatureDetailState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.public == BOOLEAN
    input.Body.properties.ssoProperties.scopes[_] == STRING
    input.Body.properties.ssoProperties.clientId == STRING
    input.Body.properties.ssoProperties.clientSecret == STRING
    input.Body.properties.ssoProperties.metadataUrl == STRING
    input.Body.properties.features.applicationAccelerator.state == enum_DevToolPortalFeatureDetailState[_]
    input.Body.properties.features.applicationLiveView.state == enum_DevToolPortalFeatureDetailState[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.devToolPortalName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DevToolPortals_Delete

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

DevToolPortals_Get

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

DevToolPortals_List

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

EurekaServers_Get

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

EurekaServers_List

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

EurekaServers_UpdatePatch

enum_EurekaServerPropertiesEnabledState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.enabledState == enum_EurekaServerPropertiesEnabledState[_]
    input.Body.properties.error.code == STRING
    input.Body.properties.error.message == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EurekaServers_UpdatePut

enum_EurekaServerPropertiesEnabledState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.enabledState == enum_EurekaServerPropertiesEnabledState[_]
    input.Body.properties.error.code == STRING
    input.Body.properties.error.message == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GatewayCustomDomains_CreateOrUpdate

valid {
    input.Body.properties.thumbprint == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GatewayCustomDomains_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GatewayCustomDomains_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.ReqMap.domainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GatewayCustomDomains_List

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

GatewayRouteConfigs_CreateOrUpdate

enum_GatewayRouteConfigPropertiesProtocol := [ "HTTP", "HTTPS" ]

valid {
    input.Body.properties.appResourceId == STRING
    input.Body.properties.openApi.uri == STRING
    input.Body.properties.protocol == enum_GatewayRouteConfigPropertiesProtocol[_]
    input.Body.properties.routes[_].title == STRING
    input.Body.properties.routes[_].description == STRING
    input.Body.properties.routes[_].uri == STRING
    input.Body.properties.routes[_].ssoEnabled == BOOLEAN
    input.Body.properties.routes[_].tokenRelay == BOOLEAN
    input.Body.properties.routes[_].predicates[_] == STRING
    input.Body.properties.routes[_].filters[_] == STRING
    input.Body.properties.routes[_].order == INTEGER
    input.Body.properties.routes[_].tags[_] == STRING
    input.Body.properties.ssoEnabled == BOOLEAN
    input.Body.properties.predicates[_] == STRING
    input.Body.properties.filters[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.ReqMap.routeConfigName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GatewayRouteConfigs_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.ReqMap.routeConfigName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GatewayRouteConfigs_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.ReqMap.routeConfigName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GatewayRouteConfigs_List

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

Gateways_CreateOrUpdate

enum_GatewayPropertiesApmTypes := [ "ApplicationInsights", "AppDynamics", "Dynatrace", "NewRelic", "ElasticAPM" ]
enum_GatewayPropertiesClientAuthCertificateVerification := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.public == BOOLEAN
    input.Body.properties.httpsOnly == BOOLEAN
    input.Body.properties.ssoProperties.scope[_] == STRING
    input.Body.properties.ssoProperties.clientId == STRING
    input.Body.properties.ssoProperties.clientSecret == STRING
    input.Body.properties.ssoProperties.issuerUri == STRING
    input.Body.properties.apiMetadataProperties.title == STRING
    input.Body.properties.apiMetadataProperties.description == STRING
    input.Body.properties.apiMetadataProperties.documentation == STRING
    input.Body.properties.apiMetadataProperties.version == STRING
    input.Body.properties.apiMetadataProperties.serverUrl == STRING
    input.Body.properties.corsProperties.allowedOrigins[_] == STRING
    input.Body.properties.corsProperties.allowedOriginPatterns[_] == STRING
    input.Body.properties.corsProperties.allowedMethods[_] == STRING
    input.Body.properties.corsProperties.allowedHeaders[_] == STRING
    input.Body.properties.corsProperties.maxAge == INTEGER
    input.Body.properties.corsProperties.allowCredentials == BOOLEAN
    input.Body.properties.corsProperties.exposedHeaders[_] == STRING
    input.Body.properties.clientAuth.certificates[_] == STRING
    input.Body.properties.clientAuth.certificateVerification == enum_GatewayPropertiesClientAuthCertificateVerification[_]
    input.Body.properties.apmTypes[_] == enum_GatewayPropertiesApmTypes[_]
    input.Body.properties.apms[_].resourceId == STRING
    input.Body.properties.environmentVariables.properties.STRING == STRING
    input.Body.properties.environmentVariables.secrets.STRING == STRING
    input.Body.properties.resourceRequests.cpu == STRING
    input.Body.properties.resourceRequests.memory == STRING
    input.Body.properties.addonConfigs.STRING.STRING == STRING
    input.Body.properties.responseCacheProperties.responseCacheType == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Gateways_Delete

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

Gateways_Get

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

Gateways_List

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

Gateways_ListEnvSecrets

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

Gateways_Restart

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

Gateways_UpdateCapacity

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Gateways_ValidateDomain

valid {
    input.Body.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.gatewayName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MonitoringSettings_Get

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

MonitoringSettings_UpdatePatch

valid {
    input.Body.properties.error.code == STRING
    input.Body.properties.error.message == STRING
    input.Body.properties.traceEnabled == BOOLEAN
    input.Body.properties.appInsightsInstrumentationKey == STRING
    input.Body.properties.appInsightsSamplingRate == NUMBER
    input.Body.properties.appInsightsAgentVersions == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MonitoringSettings_UpdatePut

valid {
    input.Body.properties.error.code == STRING
    input.Body.properties.error.message == STRING
    input.Body.properties.traceEnabled == BOOLEAN
    input.Body.properties.appInsightsInstrumentationKey == STRING
    input.Body.properties.appInsightsSamplingRate == NUMBER
    input.Body.properties.appInsightsAgentVersions == {}
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

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

PredefinedAccelerators_Disable

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.ReqMap.predefinedAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PredefinedAccelerators_Enable

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.ReqMap.predefinedAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PredefinedAccelerators_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.applicationAcceleratorName == STRING
    input.ReqMap.predefinedAcceleratorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PredefinedAccelerators_List

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

RuntimeVersions_ListRuntimeVersions

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

ServiceRegistries_CreateOrUpdate

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

ServiceRegistries_Delete

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

ServiceRegistries_Get

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

ServiceRegistries_List

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

Services_CheckNameAvailability

valid {
    input.Body.type == STRING
    input.Body.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Services_CreateOrUpdate

enum_MaintenanceScheduleConfigurationFrequency := [ "Weekly" ]

valid {
    input.Body.properties.networkProfile.serviceRuntimeSubnetId == STRING
    input.Body.properties.networkProfile.appSubnetId == STRING
    input.Body.properties.networkProfile.serviceCidr == STRING
    input.Body.properties.networkProfile.serviceRuntimeNetworkResourceGroup == STRING
    input.Body.properties.networkProfile.appNetworkResourceGroup == STRING
    input.Body.properties.networkProfile.ingressConfig.readTimeoutInSeconds == INTEGER
    input.Body.properties.networkProfile.outboundType == STRING
    input.Body.properties.vnetAddons.logStreamPublicEndpoint == BOOLEAN
    input.Body.properties.vnetAddons.dataPlanePublicEndpoint == BOOLEAN
    input.Body.properties.maintenanceScheduleConfiguration.frequency == enum_MaintenanceScheduleConfigurationFrequency[_]
    input.Body.properties.managedEnvironmentId == STRING
    input.Body.properties.infraResourceGroup == STRING
    input.Body.properties.zoneRedundant == BOOLEAN
    input.Body.properties.marketplaceResource.plan == STRING
    input.Body.properties.marketplaceResource.publisher == STRING
    input.Body.properties.marketplaceResource.product == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Services_Delete

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

Services_DisableApmGlobally

valid {
    input.Body.resourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Services_DisableTestEndpoint

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

Services_EnableApmGlobally

valid {
    input.Body.resourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Services_EnableTestEndpoint

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

Services_FlushVnetDnsSetting

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

Services_Get

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

Services_List

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

Services_ListBySubscription

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

Services_ListGloballyEnabledApms

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

Services_ListSupportedApmTypes

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

Services_ListSupportedServerVersions

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

Services_ListTestKeys

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

Services_RegenerateTestKey

enum_RegenerateTestKeyRequestPayloadKeyType := [ "Primary", "Secondary" ]

valid {
    input.Body.keyType == enum_RegenerateTestKeyRequestPayloadKeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Services_Start

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

Services_Stop

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

Services_Update

enum_MaintenanceScheduleConfigurationFrequency := [ "Weekly" ]

valid {
    input.Body.properties.networkProfile.serviceRuntimeSubnetId == STRING
    input.Body.properties.networkProfile.appSubnetId == STRING
    input.Body.properties.networkProfile.serviceCidr == STRING
    input.Body.properties.networkProfile.serviceRuntimeNetworkResourceGroup == STRING
    input.Body.properties.networkProfile.appNetworkResourceGroup == STRING
    input.Body.properties.networkProfile.ingressConfig.readTimeoutInSeconds == INTEGER
    input.Body.properties.networkProfile.outboundType == STRING
    input.Body.properties.vnetAddons.logStreamPublicEndpoint == BOOLEAN
    input.Body.properties.vnetAddons.dataPlanePublicEndpoint == BOOLEAN
    input.Body.properties.maintenanceScheduleConfiguration.frequency == enum_MaintenanceScheduleConfigurationFrequency[_]
    input.Body.properties.managedEnvironmentId == STRING
    input.Body.properties.infraResourceGroup == STRING
    input.Body.properties.zoneRedundant == BOOLEAN
    input.Body.properties.marketplaceResource.plan == STRING
    input.Body.properties.marketplaceResource.publisher == STRING
    input.Body.properties.marketplaceResource.product == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Skus_List

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

Storages_CreateOrUpdate

enum_StoragePropertiesStorageType := [ "StorageAccount" ]

valid {
    input.Body.properties.storageType == enum_StoragePropertiesStorageType[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.storageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Storages_Delete

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

Storages_Get

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

Storages_List

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