MICROSOFT.APP

AppResiliency_CreateOrUpdate

valid {
    input.Body.properties.timeoutPolicy.responseTimeoutInSeconds == INTEGER
    input.Body.properties.timeoutPolicy.connectionTimeoutInSeconds == INTEGER
    input.Body.properties.httpRetryPolicy.maxRetries == INTEGER
    input.Body.properties.httpRetryPolicy.retryBackOff.initialDelayInMilliseconds == INTEGER
    input.Body.properties.httpRetryPolicy.retryBackOff.maxIntervalInMilliseconds == INTEGER
    input.Body.properties.httpRetryPolicy.matches.headers[_].header == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.exactMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.prefixMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.suffixMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.regexMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.httpStatusCodes[_] == INTEGER
    input.Body.properties.httpRetryPolicy.matches.errors[_] == STRING
    input.Body.properties.tcpRetryPolicy.maxConnectAttempts == INTEGER
    input.Body.properties.circuitBreakerPolicy.consecutiveErrors == INTEGER
    input.Body.properties.circuitBreakerPolicy.intervalInSeconds == INTEGER
    input.Body.properties.circuitBreakerPolicy.maxEjectionPercent == INTEGER
    input.Body.properties.httpConnectionPool.http1MaxPendingRequests == INTEGER
    input.Body.properties.httpConnectionPool.http2MaxRequests == INTEGER
    input.Body.properties.tcpConnectionPool.maxConnections == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppResiliency_Delete

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

AppResiliency_Get

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

AppResiliency_List

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

AppResiliency_Update

valid {
    input.Body.properties.timeoutPolicy.responseTimeoutInSeconds == INTEGER
    input.Body.properties.timeoutPolicy.connectionTimeoutInSeconds == INTEGER
    input.Body.properties.httpRetryPolicy.maxRetries == INTEGER
    input.Body.properties.httpRetryPolicy.retryBackOff.initialDelayInMilliseconds == INTEGER
    input.Body.properties.httpRetryPolicy.retryBackOff.maxIntervalInMilliseconds == INTEGER
    input.Body.properties.httpRetryPolicy.matches.headers[_].header == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.exactMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.prefixMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.suffixMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.headers[_].match.regexMatch == STRING
    input.Body.properties.httpRetryPolicy.matches.httpStatusCodes[_] == INTEGER
    input.Body.properties.httpRetryPolicy.matches.errors[_] == STRING
    input.Body.properties.tcpRetryPolicy.maxConnectAttempts == INTEGER
    input.Body.properties.circuitBreakerPolicy.consecutiveErrors == INTEGER
    input.Body.properties.circuitBreakerPolicy.intervalInSeconds == INTEGER
    input.Body.properties.circuitBreakerPolicy.maxEjectionPercent == INTEGER
    input.Body.properties.httpConnectionPool.http1MaxPendingRequests == INTEGER
    input.Body.properties.httpConnectionPool.http2MaxRequests == INTEGER
    input.Body.properties.tcpConnectionPool.maxConnections == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.appName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AvailableWorkloadProfiles_Get

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

BillingMeters_Get

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

BuildAuthToken_List

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

Builders_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

valid {
    input.Body.properties.environmentId == STRING
    input.Body.properties.containerRegistries[_].containerRegistryServer == STRING
    input.Body.properties.containerRegistries[_].identityResourceId == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.builderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Builders_Delete

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

Builders_Get

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

Builders_ListByResourceGroup

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
}

Builders_ListBySubscription

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

Builders_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.properties.environmentId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.builderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildsByBuilderResource_List

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

Builds_CreateOrUpdate

valid {
    input.Body.properties.destinationContainerRegistry.server == STRING
    input.Body.properties.destinationContainerRegistry.image == STRING
    input.Body.properties.configuration.baseOs == STRING
    input.Body.properties.configuration.platform == STRING
    input.Body.properties.configuration.platformVersion == STRING
    input.Body.properties.configuration.environmentVariables[_].name == STRING
    input.Body.properties.configuration.environmentVariables[_].value == STRING
    input.Body.properties.configuration.preBuildSteps[_].description == STRING
    input.Body.properties.configuration.preBuildSteps[_].scripts[_] == STRING
    input.Body.properties.configuration.preBuildSteps[_].httpGet.url == STRING
    input.Body.properties.configuration.preBuildSteps[_].httpGet.fileName == STRING
    input.Body.properties.configuration.preBuildSteps[_].httpGet.headers[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.builderName == STRING
    input.ReqMap.buildName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Builds_Delete

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

Builds_Get

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

Certificates_CreateOrUpdate

valid {
    input.Body.properties.password == STRING
    input.Body.properties.value == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == 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.environmentName == 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.environmentName == 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.environmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Certificates_Update

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

ConnectedEnvironmentsCertificates_CreateOrUpdate

valid {
    input.Body.properties.password == STRING
    input.Body.properties.value == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.connectedEnvironmentName == STRING
    input.ReqMap.certificateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectedEnvironmentsCertificates_Delete

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

ConnectedEnvironmentsCertificates_Get

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

ConnectedEnvironmentsCertificates_List

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

ConnectedEnvironmentsCertificates_Update

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

ConnectedEnvironmentsDaprComponents_CreateOrUpdate

valid {
    input.Body.properties.componentType == STRING
    input.Body.properties.version == STRING
    input.Body.properties.ignoreErrors == BOOLEAN
    input.Body.properties.initTimeout == STRING
    input.Body.properties.secrets[_].name == STRING
    input.Body.properties.secrets[_].value == STRING
    input.Body.properties.secrets[_].identity == STRING
    input.Body.properties.secrets[_].keyVaultUrl == STRING
    input.Body.properties.secretStoreComponent == STRING
    input.Body.properties.metadata[_].name == STRING
    input.Body.properties.metadata[_].value == STRING
    input.Body.properties.metadata[_].secretRef == STRING
    input.Body.properties.scopes[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.connectedEnvironmentName == STRING
    input.ReqMap.componentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectedEnvironmentsDaprComponents_Delete

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

ConnectedEnvironmentsDaprComponents_Get

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

ConnectedEnvironmentsDaprComponents_List

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

ConnectedEnvironmentsDaprComponents_ListSecrets

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

ConnectedEnvironmentsStorages_CreateOrUpdate

enum_AzureFilePropertiesAccessMode := [ "ReadOnly", "ReadWrite" ]

valid {
    input.Body.properties.azureFile.accountName == STRING
    input.Body.properties.azureFile.accountKey == STRING
    input.Body.properties.azureFile.accessMode == enum_AzureFilePropertiesAccessMode[_]
    input.Body.properties.azureFile.shareName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.connectedEnvironmentName == STRING
    input.ReqMap.storageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectedEnvironmentsStorages_Delete

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

ConnectedEnvironmentsStorages_Get

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

ConnectedEnvironmentsStorages_List

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

ConnectedEnvironments_CheckNameAvailability

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

ConnectedEnvironments_CreateOrUpdate

enum_ExtendedLocationType := [ "CustomLocation" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.properties.staticIp == STRING
    input.Body.properties.daprAIConnectionString == STRING
    input.Body.properties.customDomainConfiguration.dnsSuffix == STRING
    input.Body.properties.customDomainConfiguration.certificateValue == STRING
    input.Body.properties.customDomainConfiguration.certificatePassword == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.connectedEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectedEnvironments_Delete

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

ConnectedEnvironments_Get

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

ConnectedEnvironments_ListByResourceGroup

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
}

ConnectedEnvironments_ListBySubscription

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

ConnectedEnvironments_Update

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

ContainerAppsAuthConfigs_CreateOrUpdate

enum_CookieExpirationConvention := [ "FixedTime", "IdentityProviderDerived" ]
enum_ForwardProxyConvention := [ "NoProxy", "Standard", "Custom" ]
enum_GlobalValidationUnauthenticatedClientAction := [ "RedirectToLoginPage", "AllowAnonymous", "Return401", "Return403" ]
enum_OpenIdConnectClientCredentialMethod := [ "ClientSecretPost" ]

valid {
    input.Body.properties.platform.enabled == BOOLEAN
    input.Body.properties.platform.runtimeVersion == STRING
    input.Body.properties.globalValidation.unauthenticatedClientAction == enum_GlobalValidationUnauthenticatedClientAction[_]
    input.Body.properties.globalValidation.redirectToProvider == STRING
    input.Body.properties.globalValidation.excludedPaths[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.enabled == BOOLEAN
    input.Body.properties.identityProviders.azureActiveDirectory.registration.openIdIssuer == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.registration.clientId == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.registration.clientSecretSettingName == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.registration.clientSecretCertificateThumbprint == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.registration.clientSecretCertificateSubjectAlternativeName == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.registration.clientSecretCertificateIssuer == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.login.loginParameters[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.login.disableWWWAuthenticate == BOOLEAN
    input.Body.properties.identityProviders.azureActiveDirectory.validation.jwtClaimChecks.allowedGroups[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.validation.jwtClaimChecks.allowedClientApplications[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.validation.allowedAudiences[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.validation.defaultAuthorizationPolicy.allowedPrincipals.groups[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.validation.defaultAuthorizationPolicy.allowedPrincipals.identities[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.validation.defaultAuthorizationPolicy.allowedApplications[_] == STRING
    input.Body.properties.identityProviders.azureActiveDirectory.isAutoProvisioned == BOOLEAN
    input.Body.properties.identityProviders.facebook.enabled == BOOLEAN
    input.Body.properties.identityProviders.facebook.registration.appId == STRING
    input.Body.properties.identityProviders.facebook.registration.appSecretSettingName == STRING
    input.Body.properties.identityProviders.facebook.graphApiVersion == STRING
    input.Body.properties.identityProviders.facebook.login.scopes[_] == STRING
    input.Body.properties.identityProviders.gitHub.enabled == BOOLEAN
    input.Body.properties.identityProviders.gitHub.registration.clientId == STRING
    input.Body.properties.identityProviders.gitHub.registration.clientSecretSettingName == STRING
    input.Body.properties.identityProviders.gitHub.login.scopes[_] == STRING
    input.Body.properties.identityProviders.google.enabled == BOOLEAN
    input.Body.properties.identityProviders.google.registration.clientId == STRING
    input.Body.properties.identityProviders.google.registration.clientSecretSettingName == STRING
    input.Body.properties.identityProviders.google.login.scopes[_] == STRING
    input.Body.properties.identityProviders.google.validation.allowedAudiences[_] == STRING
    input.Body.properties.identityProviders.twitter.enabled == BOOLEAN
    input.Body.properties.identityProviders.twitter.registration.consumerKey == STRING
    input.Body.properties.identityProviders.twitter.registration.consumerSecretSettingName == STRING
    input.Body.properties.identityProviders.apple.enabled == BOOLEAN
    input.Body.properties.identityProviders.apple.registration.clientId == STRING
    input.Body.properties.identityProviders.apple.registration.clientSecretSettingName == STRING
    input.Body.properties.identityProviders.apple.login.scopes[_] == STRING
    input.Body.properties.identityProviders.azureStaticWebApps.enabled == BOOLEAN
    input.Body.properties.identityProviders.azureStaticWebApps.registration.clientId == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.enabled == BOOLEAN
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.clientId == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.clientCredential.method == enum_OpenIdConnectClientCredentialMethod[_]
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.clientCredential.clientSecretSettingName == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.openIdConnectConfiguration.authorizationEndpoint == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.openIdConnectConfiguration.tokenEndpoint == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.openIdConnectConfiguration.issuer == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.openIdConnectConfiguration.certificationUri == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.registration.openIdConnectConfiguration.wellKnownOpenIdConfiguration == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.login.nameClaimType == STRING
    input.Body.properties.identityProviders.customOpenIdConnectProviders.STRING.login.scopes[_] == STRING
    input.Body.properties.login.routes.logoutEndpoint == STRING
    input.Body.properties.login.tokenStore.enabled == BOOLEAN
    input.Body.properties.login.tokenStore.tokenRefreshExtensionHours == NUMBER
    input.Body.properties.login.tokenStore.azureBlobStorage.sasUrlSettingName == STRING
    input.Body.properties.login.preserveUrlFragmentsForLogins == BOOLEAN
    input.Body.properties.login.allowedExternalRedirectUrls[_] == STRING
    input.Body.properties.login.cookieExpiration.convention == enum_CookieExpirationConvention[_]
    input.Body.properties.login.cookieExpiration.timeToExpiration == STRING
    input.Body.properties.login.nonce.validateNonce == BOOLEAN
    input.Body.properties.login.nonce.nonceExpirationInterval == STRING
    input.Body.properties.httpSettings.requireHttps == BOOLEAN
    input.Body.properties.httpSettings.routes.apiPrefix == STRING
    input.Body.properties.httpSettings.forwardProxy.convention == enum_ForwardProxyConvention[_]
    input.Body.properties.httpSettings.forwardProxy.customHostHeaderName == STRING
    input.Body.properties.httpSettings.forwardProxy.customProtoHeaderName == STRING
    input.Body.properties.encryptionSettings.containerAppAuthEncryptionSecretName == STRING
    input.Body.properties.encryptionSettings.containerAppAuthSigningSecretName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.containerAppName == STRING
    input.ReqMap.authConfigName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ContainerAppsAuthConfigs_Delete

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

ContainerAppsAuthConfigs_Get

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

ContainerAppsAuthConfigs_ListByContainerApp

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

ContainerAppsDiagnostics_GetDetector

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

ContainerAppsDiagnostics_GetRevision

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

ContainerAppsDiagnostics_GetRoot

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

ContainerAppsDiagnostics_ListDetectors

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

ContainerAppsDiagnostics_ListRevisions

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

ContainerAppsRevisionReplicas_GetReplica

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

ContainerAppsRevisionReplicas_ListReplicas

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

ContainerAppsRevisions_ActivateRevision

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

ContainerAppsRevisions_DeactivateRevision

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

ContainerAppsRevisions_GetRevision

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

ContainerAppsRevisions_ListRevisions

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

ContainerAppsRevisions_RestartRevision

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

ContainerAppsSourceControls_CreateOrUpdate

valid {
    input.Body.properties.repoUrl == STRING
    input.Body.properties.branch == STRING
    input.Body.properties.githubActionConfiguration.registryInfo.registryUrl == STRING
    input.Body.properties.githubActionConfiguration.registryInfo.registryUserName == STRING
    input.Body.properties.githubActionConfiguration.registryInfo.registryPassword == STRING
    input.Body.properties.githubActionConfiguration.azureCredentials.clientId == STRING
    input.Body.properties.githubActionConfiguration.azureCredentials.clientSecret == STRING
    input.Body.properties.githubActionConfiguration.azureCredentials.tenantId == STRING
    input.Body.properties.githubActionConfiguration.azureCredentials.kind == STRING
    input.Body.properties.githubActionConfiguration.azureCredentials.subscriptionId == STRING
    input.Body.properties.githubActionConfiguration.contextPath == STRING
    input.Body.properties.githubActionConfiguration.githubPersonalAccessToken == STRING
    input.Body.properties.githubActionConfiguration.image == STRING
    input.Body.properties.githubActionConfiguration.publishType == STRING
    input.Body.properties.githubActionConfiguration.os == STRING
    input.Body.properties.githubActionConfiguration.runtimeStack == STRING
    input.Body.properties.githubActionConfiguration.runtimeVersion == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.containerAppName == STRING
    input.ReqMap.sourceControlName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ContainerAppsSourceControls_Delete

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

ContainerAppsSourceControls_Get

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

ContainerAppsSourceControls_ListByContainerApp

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

ContainerApps_CreateOrUpdate

enum_ConfigurationActiveRevisionsMode := [ "Multiple", "Single" ]
enum_ContainerAppProbeHttpGetScheme := [ "HTTP", "HTTPS" ]
enum_ContainerAppProbeType := [ "Liveness", "Readiness", "Startup" ]
enum_CustomDomainBindingType := [ "Disabled", "SniEnabled" ]
enum_DaprAppProtocol := [ "http", "grpc" ]
enum_DaprLogLevel := [ "info", "debug", "warn", "error" ]
enum_ExtendedLocationType := [ "CustomLocation" ]
enum_IngressClientCertificateMode := [ "ignore", "accept", "require" ]
enum_IngressStickySessionsAffinity := [ "sticky", "none" ]
enum_IngressTransport := [ "auto", "http", "http2", "tcp" ]
enum_IpSecurityRestrictionRuleAction := [ "Allow", "Deny" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_VolumeStorageType := [ "AzureFile", "EmptyDir", "Secret" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.managedBy == STRING
    input.Body.properties.managedEnvironmentId == STRING
    input.Body.properties.environmentId == STRING
    input.Body.properties.workloadProfileName == STRING
    input.Body.properties.configuration.secrets[_].name == STRING
    input.Body.properties.configuration.secrets[_].value == STRING
    input.Body.properties.configuration.secrets[_].identity == STRING
    input.Body.properties.configuration.secrets[_].keyVaultUrl == STRING
    input.Body.properties.configuration.activeRevisionsMode == enum_ConfigurationActiveRevisionsMode[_]
    input.Body.properties.configuration.ingress.external == BOOLEAN
    input.Body.properties.configuration.ingress.targetPort == INTEGER
    input.Body.properties.configuration.ingress.exposedPort == INTEGER
    input.Body.properties.configuration.ingress.transport == enum_IngressTransport[_]
    input.Body.properties.configuration.ingress.traffic[_].revisionName == STRING
    input.Body.properties.configuration.ingress.traffic[_].weight == INTEGER
    input.Body.properties.configuration.ingress.traffic[_].latestRevision == BOOLEAN
    input.Body.properties.configuration.ingress.traffic[_].label == STRING
    input.Body.properties.configuration.ingress.customDomains[_].name == STRING
    input.Body.properties.configuration.ingress.customDomains[_].bindingType == enum_CustomDomainBindingType[_]
    input.Body.properties.configuration.ingress.customDomains[_].certificateId == STRING
    input.Body.properties.configuration.ingress.allowInsecure == BOOLEAN
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].name == STRING
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].description == STRING
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].ipAddressRange == STRING
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].action == enum_IpSecurityRestrictionRuleAction[_]
    input.Body.properties.configuration.ingress.stickySessions.affinity == enum_IngressStickySessionsAffinity[_]
    input.Body.properties.configuration.ingress.clientCertificateMode == enum_IngressClientCertificateMode[_]
    input.Body.properties.configuration.ingress.corsPolicy.allowedOrigins[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.allowedMethods[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.allowedHeaders[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.exposeHeaders[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.maxAge == INTEGER
    input.Body.properties.configuration.ingress.corsPolicy.allowCredentials == BOOLEAN
    input.Body.properties.configuration.ingress.additionalPortMappings[_].external == BOOLEAN
    input.Body.properties.configuration.ingress.additionalPortMappings[_].targetPort == INTEGER
    input.Body.properties.configuration.ingress.additionalPortMappings[_].exposedPort == INTEGER
    input.Body.properties.configuration.registries[_].server == STRING
    input.Body.properties.configuration.registries[_].username == STRING
    input.Body.properties.configuration.registries[_].passwordSecretRef == STRING
    input.Body.properties.configuration.registries[_].identity == STRING
    input.Body.properties.configuration.dapr.enabled == BOOLEAN
    input.Body.properties.configuration.dapr.appId == STRING
    input.Body.properties.configuration.dapr.appProtocol == enum_DaprAppProtocol[_]
    input.Body.properties.configuration.dapr.appPort == INTEGER
    input.Body.properties.configuration.dapr.httpReadBufferSize == INTEGER
    input.Body.properties.configuration.dapr.httpMaxRequestSize == INTEGER
    input.Body.properties.configuration.dapr.logLevel == enum_DaprLogLevel[_]
    input.Body.properties.configuration.dapr.enableApiLogging == BOOLEAN
    input.Body.properties.configuration.maxInactiveRevisions == INTEGER
    input.Body.properties.configuration.service.type == STRING
    input.Body.properties.template.revisionSuffix == STRING
    input.Body.properties.template.terminationGracePeriodSeconds == INTEGER
    input.Body.properties.template.initContainers[_].STRING == STRING
    input.Body.properties.template.initContainers[_].image == STRING
    input.Body.properties.template.initContainers[_].name == STRING
    input.Body.properties.template.initContainers[_].command[_] == STRING
    input.Body.properties.template.initContainers[_].args[_] == STRING
    input.Body.properties.template.initContainers[_].env[_].name == STRING
    input.Body.properties.template.initContainers[_].env[_].value == STRING
    input.Body.properties.template.initContainers[_].env[_].secretRef == STRING
    input.Body.properties.template.initContainers[_].resources.cpu == NUMBER
    input.Body.properties.template.initContainers[_].resources.memory == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.containers[_].probes[_].failureThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.host == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].name == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].value == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.path == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.scheme == enum_ContainerAppProbeHttpGetScheme[_]
    input.Body.properties.template.containers[_].probes[_].initialDelaySeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].periodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].successThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].tcpSocket.host == STRING
    input.Body.properties.template.containers[_].probes[_].tcpSocket.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].terminationGracePeriodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].timeoutSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].type == enum_ContainerAppProbeType[_]
    input.Body.properties.template.containers[_].image == STRING
    input.Body.properties.template.containers[_].name == STRING
    input.Body.properties.template.containers[_].command[_] == STRING
    input.Body.properties.template.containers[_].args[_] == STRING
    input.Body.properties.template.containers[_].env[_].name == STRING
    input.Body.properties.template.containers[_].env[_].value == STRING
    input.Body.properties.template.containers[_].env[_].secretRef == STRING
    input.Body.properties.template.containers[_].resources.cpu == NUMBER
    input.Body.properties.template.containers[_].resources.memory == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.scale.minReplicas == INTEGER
    input.Body.properties.template.scale.maxReplicas == INTEGER
    input.Body.properties.template.scale.rules[_].name == STRING
    input.Body.properties.template.scale.rules[_].azureQueue.queueName == STRING
    input.Body.properties.template.scale.rules[_].azureQueue.queueLength == INTEGER
    input.Body.properties.template.scale.rules[_].azureQueue.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].azureQueue.auth[_].triggerParameter == STRING
    input.Body.properties.template.scale.rules[_].custom.type == STRING
    input.Body.properties.template.scale.rules[_].custom.metadata.STRING == STRING
    input.Body.properties.template.scale.rules[_].custom.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].custom.auth[_].triggerParameter == STRING
    input.Body.properties.template.scale.rules[_].http.metadata.STRING == STRING
    input.Body.properties.template.scale.rules[_].http.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].http.auth[_].triggerParameter == STRING
    input.Body.properties.template.scale.rules[_].tcp.metadata.STRING == STRING
    input.Body.properties.template.scale.rules[_].tcp.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].tcp.auth[_].triggerParameter == STRING
    input.Body.properties.template.volumes[_].name == STRING
    input.Body.properties.template.volumes[_].storageType == enum_VolumeStorageType[_]
    input.Body.properties.template.volumes[_].storageName == STRING
    input.Body.properties.template.volumes[_].secrets[_].secretRef == STRING
    input.Body.properties.template.volumes[_].secrets[_].path == STRING
    input.Body.properties.template.volumes[_].mountOptions == STRING
    input.Body.properties.template.serviceBinds[_].serviceId == STRING
    input.Body.properties.template.serviceBinds[_].name == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.containerAppName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ContainerApps_Delete

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

ContainerApps_Get

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

ContainerApps_GetAuthToken

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

ContainerApps_ListByResourceGroup

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
}

ContainerApps_ListBySubscription

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

ContainerApps_ListCustomHostNameAnalysis

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

ContainerApps_ListSecrets

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

ContainerApps_Start

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

ContainerApps_Stop

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

ContainerApps_Update

enum_ConfigurationActiveRevisionsMode := [ "Multiple", "Single" ]
enum_ContainerAppProbeHttpGetScheme := [ "HTTP", "HTTPS" ]
enum_ContainerAppProbeType := [ "Liveness", "Readiness", "Startup" ]
enum_CustomDomainBindingType := [ "Disabled", "SniEnabled" ]
enum_DaprAppProtocol := [ "http", "grpc" ]
enum_DaprLogLevel := [ "info", "debug", "warn", "error" ]
enum_ExtendedLocationType := [ "CustomLocation" ]
enum_IngressClientCertificateMode := [ "ignore", "accept", "require" ]
enum_IngressStickySessionsAffinity := [ "sticky", "none" ]
enum_IngressTransport := [ "auto", "http", "http2", "tcp" ]
enum_IpSecurityRestrictionRuleAction := [ "Allow", "Deny" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_VolumeStorageType := [ "AzureFile", "EmptyDir", "Secret" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.managedBy == STRING
    input.Body.properties.managedEnvironmentId == STRING
    input.Body.properties.environmentId == STRING
    input.Body.properties.workloadProfileName == STRING
    input.Body.properties.configuration.secrets[_].name == STRING
    input.Body.properties.configuration.secrets[_].value == STRING
    input.Body.properties.configuration.secrets[_].identity == STRING
    input.Body.properties.configuration.secrets[_].keyVaultUrl == STRING
    input.Body.properties.configuration.activeRevisionsMode == enum_ConfigurationActiveRevisionsMode[_]
    input.Body.properties.configuration.ingress.external == BOOLEAN
    input.Body.properties.configuration.ingress.targetPort == INTEGER
    input.Body.properties.configuration.ingress.exposedPort == INTEGER
    input.Body.properties.configuration.ingress.transport == enum_IngressTransport[_]
    input.Body.properties.configuration.ingress.traffic[_].revisionName == STRING
    input.Body.properties.configuration.ingress.traffic[_].weight == INTEGER
    input.Body.properties.configuration.ingress.traffic[_].latestRevision == BOOLEAN
    input.Body.properties.configuration.ingress.traffic[_].label == STRING
    input.Body.properties.configuration.ingress.customDomains[_].name == STRING
    input.Body.properties.configuration.ingress.customDomains[_].bindingType == enum_CustomDomainBindingType[_]
    input.Body.properties.configuration.ingress.customDomains[_].certificateId == STRING
    input.Body.properties.configuration.ingress.allowInsecure == BOOLEAN
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].name == STRING
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].description == STRING
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].ipAddressRange == STRING
    input.Body.properties.configuration.ingress.ipSecurityRestrictions[_].action == enum_IpSecurityRestrictionRuleAction[_]
    input.Body.properties.configuration.ingress.stickySessions.affinity == enum_IngressStickySessionsAffinity[_]
    input.Body.properties.configuration.ingress.clientCertificateMode == enum_IngressClientCertificateMode[_]
    input.Body.properties.configuration.ingress.corsPolicy.allowedOrigins[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.allowedMethods[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.allowedHeaders[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.exposeHeaders[_] == STRING
    input.Body.properties.configuration.ingress.corsPolicy.maxAge == INTEGER
    input.Body.properties.configuration.ingress.corsPolicy.allowCredentials == BOOLEAN
    input.Body.properties.configuration.ingress.additionalPortMappings[_].external == BOOLEAN
    input.Body.properties.configuration.ingress.additionalPortMappings[_].targetPort == INTEGER
    input.Body.properties.configuration.ingress.additionalPortMappings[_].exposedPort == INTEGER
    input.Body.properties.configuration.registries[_].server == STRING
    input.Body.properties.configuration.registries[_].username == STRING
    input.Body.properties.configuration.registries[_].passwordSecretRef == STRING
    input.Body.properties.configuration.registries[_].identity == STRING
    input.Body.properties.configuration.dapr.enabled == BOOLEAN
    input.Body.properties.configuration.dapr.appId == STRING
    input.Body.properties.configuration.dapr.appProtocol == enum_DaprAppProtocol[_]
    input.Body.properties.configuration.dapr.appPort == INTEGER
    input.Body.properties.configuration.dapr.httpReadBufferSize == INTEGER
    input.Body.properties.configuration.dapr.httpMaxRequestSize == INTEGER
    input.Body.properties.configuration.dapr.logLevel == enum_DaprLogLevel[_]
    input.Body.properties.configuration.dapr.enableApiLogging == BOOLEAN
    input.Body.properties.configuration.maxInactiveRevisions == INTEGER
    input.Body.properties.configuration.service.type == STRING
    input.Body.properties.template.revisionSuffix == STRING
    input.Body.properties.template.terminationGracePeriodSeconds == INTEGER
    input.Body.properties.template.initContainers[_].STRING == STRING
    input.Body.properties.template.initContainers[_].image == STRING
    input.Body.properties.template.initContainers[_].name == STRING
    input.Body.properties.template.initContainers[_].command[_] == STRING
    input.Body.properties.template.initContainers[_].args[_] == STRING
    input.Body.properties.template.initContainers[_].env[_].name == STRING
    input.Body.properties.template.initContainers[_].env[_].value == STRING
    input.Body.properties.template.initContainers[_].env[_].secretRef == STRING
    input.Body.properties.template.initContainers[_].resources.cpu == NUMBER
    input.Body.properties.template.initContainers[_].resources.memory == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.containers[_].probes[_].failureThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.host == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].name == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].value == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.path == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.scheme == enum_ContainerAppProbeHttpGetScheme[_]
    input.Body.properties.template.containers[_].probes[_].initialDelaySeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].periodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].successThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].tcpSocket.host == STRING
    input.Body.properties.template.containers[_].probes[_].tcpSocket.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].terminationGracePeriodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].timeoutSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].type == enum_ContainerAppProbeType[_]
    input.Body.properties.template.containers[_].image == STRING
    input.Body.properties.template.containers[_].name == STRING
    input.Body.properties.template.containers[_].command[_] == STRING
    input.Body.properties.template.containers[_].args[_] == STRING
    input.Body.properties.template.containers[_].env[_].name == STRING
    input.Body.properties.template.containers[_].env[_].value == STRING
    input.Body.properties.template.containers[_].env[_].secretRef == STRING
    input.Body.properties.template.containers[_].resources.cpu == NUMBER
    input.Body.properties.template.containers[_].resources.memory == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.scale.minReplicas == INTEGER
    input.Body.properties.template.scale.maxReplicas == INTEGER
    input.Body.properties.template.scale.rules[_].name == STRING
    input.Body.properties.template.scale.rules[_].azureQueue.queueName == STRING
    input.Body.properties.template.scale.rules[_].azureQueue.queueLength == INTEGER
    input.Body.properties.template.scale.rules[_].azureQueue.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].azureQueue.auth[_].triggerParameter == STRING
    input.Body.properties.template.scale.rules[_].custom.type == STRING
    input.Body.properties.template.scale.rules[_].custom.metadata.STRING == STRING
    input.Body.properties.template.scale.rules[_].custom.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].custom.auth[_].triggerParameter == STRING
    input.Body.properties.template.scale.rules[_].http.metadata.STRING == STRING
    input.Body.properties.template.scale.rules[_].http.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].http.auth[_].triggerParameter == STRING
    input.Body.properties.template.scale.rules[_].tcp.metadata.STRING == STRING
    input.Body.properties.template.scale.rules[_].tcp.auth[_].secretRef == STRING
    input.Body.properties.template.scale.rules[_].tcp.auth[_].triggerParameter == STRING
    input.Body.properties.template.volumes[_].name == STRING
    input.Body.properties.template.volumes[_].storageType == enum_VolumeStorageType[_]
    input.Body.properties.template.volumes[_].storageName == STRING
    input.Body.properties.template.volumes[_].secrets[_].secretRef == STRING
    input.Body.properties.template.volumes[_].secrets[_].path == STRING
    input.Body.properties.template.volumes[_].mountOptions == STRING
    input.Body.properties.template.serviceBinds[_].serviceId == STRING
    input.Body.properties.template.serviceBinds[_].name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.containerAppName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DaprComponentResiliencyPolicies_CreateOrUpdate

valid {
    input.Body.properties.inboundPolicy.httpRetryPolicy.maxRetries == INTEGER
    input.Body.properties.inboundPolicy.httpRetryPolicy.retryBackOff.initialDelayInMilliseconds == INTEGER
    input.Body.properties.inboundPolicy.httpRetryPolicy.retryBackOff.maxIntervalInMilliseconds == INTEGER
    input.Body.properties.inboundPolicy.timeoutPolicy.responseTimeoutInSeconds == INTEGER
    input.Body.properties.inboundPolicy.circuitBreakerPolicy.consecutiveErrors == INTEGER
    input.Body.properties.inboundPolicy.circuitBreakerPolicy.timeoutInSeconds == INTEGER
    input.Body.properties.inboundPolicy.circuitBreakerPolicy.intervalInSeconds == INTEGER
    input.Body.properties.outboundPolicy.httpRetryPolicy.maxRetries == INTEGER
    input.Body.properties.outboundPolicy.httpRetryPolicy.retryBackOff.initialDelayInMilliseconds == INTEGER
    input.Body.properties.outboundPolicy.httpRetryPolicy.retryBackOff.maxIntervalInMilliseconds == INTEGER
    input.Body.properties.outboundPolicy.timeoutPolicy.responseTimeoutInSeconds == INTEGER
    input.Body.properties.outboundPolicy.circuitBreakerPolicy.consecutiveErrors == INTEGER
    input.Body.properties.outboundPolicy.circuitBreakerPolicy.timeoutInSeconds == INTEGER
    input.Body.properties.outboundPolicy.circuitBreakerPolicy.intervalInSeconds == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.componentName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DaprComponentResiliencyPolicies_Delete

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

DaprComponentResiliencyPolicies_Get

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

DaprComponentResiliencyPolicies_List

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

DaprComponents_CreateOrUpdate

valid {
    input.Body.properties.componentType == STRING
    input.Body.properties.version == STRING
    input.Body.properties.ignoreErrors == BOOLEAN
    input.Body.properties.initTimeout == STRING
    input.Body.properties.secrets[_].name == STRING
    input.Body.properties.secrets[_].value == STRING
    input.Body.properties.secrets[_].identity == STRING
    input.Body.properties.secrets[_].keyVaultUrl == STRING
    input.Body.properties.secretStoreComponent == STRING
    input.Body.properties.metadata[_].name == STRING
    input.Body.properties.metadata[_].value == STRING
    input.Body.properties.metadata[_].secretRef == STRING
    input.Body.properties.scopes[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.componentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DaprComponents_Delete

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

DaprComponents_Get

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

DaprComponents_List

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

DaprComponents_ListSecrets

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

DaprSubscriptions_CreateOrUpdate

valid {
    input.Body.properties.pubsubName == STRING
    input.Body.properties.topic == STRING
    input.Body.properties.deadLetterTopic == STRING
    input.Body.properties.routes.rules[_].match == STRING
    input.Body.properties.routes.rules[_].path == STRING
    input.Body.properties.routes.default == STRING
    input.Body.properties.scopes[_] == STRING
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.bulkSubscribe.enabled == BOOLEAN
    input.Body.properties.bulkSubscribe.maxMessagesCount == INTEGER
    input.Body.properties.bulkSubscribe.maxAwaitDurationMs == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DaprSubscriptions_Delete

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

DaprSubscriptions_Get

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

DaprSubscriptions_List

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

DotNetComponents_CreateOrUpdate

enum_DotNetComponentPropertiesComponentType := [ "AspireDashboard", "AspireResourceServerApi" ]

valid {
    input.Body.properties.componentType == enum_DotNetComponentPropertiesComponentType[_]
    input.Body.properties.configurations[_].propertyName == STRING
    input.Body.properties.configurations[_].value == STRING
    input.Body.properties.serviceBinds[_].name == STRING
    input.Body.properties.serviceBinds[_].serviceId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DotNetComponents_Delete

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

DotNetComponents_Get

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

DotNetComponents_List

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

DotNetComponents_Update

enum_DotNetComponentPropertiesComponentType := [ "AspireDashboard", "AspireResourceServerApi" ]

valid {
    input.Body.properties.componentType == enum_DotNetComponentPropertiesComponentType[_]
    input.Body.properties.configurations[_].propertyName == STRING
    input.Body.properties.configurations[_].value == STRING
    input.Body.properties.serviceBinds[_].name == STRING
    input.Body.properties.serviceBinds[_].serviceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GetCustomDomainVerificationId

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

JavaComponents_CreateOrUpdate

enum_JavaComponentPropertiesComponentType := [ "SpringBootAdmin", "SpringCloudEureka", "SpringCloudConfig" ]

valid {
    input.Body.properties.componentType == enum_JavaComponentPropertiesComponentType[_]
    input.Body.properties.configurations[_].propertyName == STRING
    input.Body.properties.configurations[_].value == STRING
    input.Body.properties.serviceBinds[_].name == STRING
    input.Body.properties.serviceBinds[_].serviceId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

JavaComponents_Delete

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

JavaComponents_Get

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

JavaComponents_List

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

JavaComponents_Update

enum_JavaComponentPropertiesComponentType := [ "SpringBootAdmin", "SpringCloudEureka", "SpringCloudConfig" ]

valid {
    input.Body.properties.componentType == enum_JavaComponentPropertiesComponentType[_]
    input.Body.properties.configurations[_].propertyName == STRING
    input.Body.properties.configurations[_].value == STRING
    input.Body.properties.serviceBinds[_].name == STRING
    input.Body.properties.serviceBinds[_].serviceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

JobExecution

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

JobsExecutions_List

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

Jobs_CreateOrUpdate

enum_ContainerAppProbeHttpGetScheme := [ "HTTP", "HTTPS" ]
enum_ContainerAppProbeType := [ "Liveness", "Readiness", "Startup" ]
enum_JobConfigurationTriggerType := [ "Schedule", "Event", "Manual" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_VolumeStorageType := [ "AzureFile", "EmptyDir", "Secret" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.environmentId == STRING
    input.Body.properties.workloadProfileName == STRING
    input.Body.properties.configuration.secrets[_].name == STRING
    input.Body.properties.configuration.secrets[_].value == STRING
    input.Body.properties.configuration.secrets[_].identity == STRING
    input.Body.properties.configuration.secrets[_].keyVaultUrl == STRING
    input.Body.properties.configuration.triggerType == enum_JobConfigurationTriggerType[_]
    input.Body.properties.configuration.replicaTimeout == INTEGER
    input.Body.properties.configuration.replicaRetryLimit == INTEGER
    input.Body.properties.configuration.manualTriggerConfig.replicaCompletionCount == INTEGER
    input.Body.properties.configuration.manualTriggerConfig.parallelism == INTEGER
    input.Body.properties.configuration.scheduleTriggerConfig.replicaCompletionCount == INTEGER
    input.Body.properties.configuration.scheduleTriggerConfig.cronExpression == STRING
    input.Body.properties.configuration.scheduleTriggerConfig.parallelism == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.replicaCompletionCount == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.parallelism == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.pollingInterval == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.minExecutions == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.maxExecutions == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].name == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].type == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].metadata.STRING == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].auth[_].secretRef == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].auth[_].triggerParameter == STRING
    input.Body.properties.configuration.registries[_].server == STRING
    input.Body.properties.configuration.registries[_].username == STRING
    input.Body.properties.configuration.registries[_].passwordSecretRef == STRING
    input.Body.properties.configuration.registries[_].identity == STRING
    input.Body.properties.template.initContainers[_].STRING == STRING
    input.Body.properties.template.initContainers[_].image == STRING
    input.Body.properties.template.initContainers[_].name == STRING
    input.Body.properties.template.initContainers[_].command[_] == STRING
    input.Body.properties.template.initContainers[_].args[_] == STRING
    input.Body.properties.template.initContainers[_].env[_].name == STRING
    input.Body.properties.template.initContainers[_].env[_].value == STRING
    input.Body.properties.template.initContainers[_].env[_].secretRef == STRING
    input.Body.properties.template.initContainers[_].resources.cpu == NUMBER
    input.Body.properties.template.initContainers[_].resources.memory == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.containers[_].probes[_].failureThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.host == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].name == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].value == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.path == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.scheme == enum_ContainerAppProbeHttpGetScheme[_]
    input.Body.properties.template.containers[_].probes[_].initialDelaySeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].periodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].successThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].tcpSocket.host == STRING
    input.Body.properties.template.containers[_].probes[_].tcpSocket.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].terminationGracePeriodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].timeoutSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].type == enum_ContainerAppProbeType[_]
    input.Body.properties.template.containers[_].image == STRING
    input.Body.properties.template.containers[_].name == STRING
    input.Body.properties.template.containers[_].command[_] == STRING
    input.Body.properties.template.containers[_].args[_] == STRING
    input.Body.properties.template.containers[_].env[_].name == STRING
    input.Body.properties.template.containers[_].env[_].value == STRING
    input.Body.properties.template.containers[_].env[_].secretRef == STRING
    input.Body.properties.template.containers[_].resources.cpu == NUMBER
    input.Body.properties.template.containers[_].resources.memory == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.volumes[_].name == STRING
    input.Body.properties.template.volumes[_].storageType == enum_VolumeStorageType[_]
    input.Body.properties.template.volumes[_].storageName == STRING
    input.Body.properties.template.volumes[_].secrets[_].secretRef == STRING
    input.Body.properties.template.volumes[_].secrets[_].path == STRING
    input.Body.properties.template.volumes[_].mountOptions == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.jobName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Jobs_Delete

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

Jobs_Get

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

Jobs_GetDetector

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

Jobs_ListByResourceGroup

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
}

Jobs_ListBySubscription

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

Jobs_ListDetectors

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

Jobs_ListSecrets

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

Jobs_ProxyGet

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

Jobs_Start

valid {
    input.Body.containers[_].image == STRING
    input.Body.containers[_].name == STRING
    input.Body.containers[_].command[_] == STRING
    input.Body.containers[_].args[_] == STRING
    input.Body.containers[_].env[_].name == STRING
    input.Body.containers[_].env[_].value == STRING
    input.Body.containers[_].env[_].secretRef == STRING
    input.Body.containers[_].resources.cpu == NUMBER
    input.Body.containers[_].resources.memory == STRING
    input.Body.initContainers[_].image == STRING
    input.Body.initContainers[_].name == STRING
    input.Body.initContainers[_].command[_] == STRING
    input.Body.initContainers[_].args[_] == STRING
    input.Body.initContainers[_].env[_].name == STRING
    input.Body.initContainers[_].env[_].value == STRING
    input.Body.initContainers[_].env[_].secretRef == STRING
    input.Body.initContainers[_].resources.cpu == NUMBER
    input.Body.initContainers[_].resources.memory == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.jobName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Jobs_StopExecution

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

Jobs_StopMultipleExecutions

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

Jobs_Update

enum_ContainerAppProbeHttpGetScheme := [ "HTTP", "HTTPS" ]
enum_ContainerAppProbeType := [ "Liveness", "Readiness", "Startup" ]
enum_JobConfigurationTriggerType := [ "Schedule", "Event", "Manual" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_VolumeStorageType := [ "AzureFile", "EmptyDir", "Secret" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.properties.environmentId == STRING
    input.Body.properties.configuration.secrets[_].name == STRING
    input.Body.properties.configuration.secrets[_].value == STRING
    input.Body.properties.configuration.secrets[_].identity == STRING
    input.Body.properties.configuration.secrets[_].keyVaultUrl == STRING
    input.Body.properties.configuration.triggerType == enum_JobConfigurationTriggerType[_]
    input.Body.properties.configuration.replicaTimeout == INTEGER
    input.Body.properties.configuration.replicaRetryLimit == INTEGER
    input.Body.properties.configuration.manualTriggerConfig.replicaCompletionCount == INTEGER
    input.Body.properties.configuration.manualTriggerConfig.parallelism == INTEGER
    input.Body.properties.configuration.scheduleTriggerConfig.replicaCompletionCount == INTEGER
    input.Body.properties.configuration.scheduleTriggerConfig.cronExpression == STRING
    input.Body.properties.configuration.scheduleTriggerConfig.parallelism == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.replicaCompletionCount == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.parallelism == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.pollingInterval == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.minExecutions == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.maxExecutions == INTEGER
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].name == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].type == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].metadata.STRING == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].auth[_].secretRef == STRING
    input.Body.properties.configuration.eventTriggerConfig.scale.rules[_].auth[_].triggerParameter == STRING
    input.Body.properties.configuration.registries[_].server == STRING
    input.Body.properties.configuration.registries[_].username == STRING
    input.Body.properties.configuration.registries[_].passwordSecretRef == STRING
    input.Body.properties.configuration.registries[_].identity == STRING
    input.Body.properties.template.initContainers[_].STRING == STRING
    input.Body.properties.template.initContainers[_].image == STRING
    input.Body.properties.template.initContainers[_].name == STRING
    input.Body.properties.template.initContainers[_].command[_] == STRING
    input.Body.properties.template.initContainers[_].args[_] == STRING
    input.Body.properties.template.initContainers[_].env[_].name == STRING
    input.Body.properties.template.initContainers[_].env[_].value == STRING
    input.Body.properties.template.initContainers[_].env[_].secretRef == STRING
    input.Body.properties.template.initContainers[_].resources.cpu == NUMBER
    input.Body.properties.template.initContainers[_].resources.memory == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.initContainers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.containers[_].probes[_].failureThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.host == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].name == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.httpHeaders[_].value == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.path == STRING
    input.Body.properties.template.containers[_].probes[_].httpGet.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].httpGet.scheme == enum_ContainerAppProbeHttpGetScheme[_]
    input.Body.properties.template.containers[_].probes[_].initialDelaySeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].periodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].successThreshold == INTEGER
    input.Body.properties.template.containers[_].probes[_].tcpSocket.host == STRING
    input.Body.properties.template.containers[_].probes[_].tcpSocket.port == INTEGER
    input.Body.properties.template.containers[_].probes[_].terminationGracePeriodSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].timeoutSeconds == INTEGER
    input.Body.properties.template.containers[_].probes[_].type == enum_ContainerAppProbeType[_]
    input.Body.properties.template.containers[_].image == STRING
    input.Body.properties.template.containers[_].name == STRING
    input.Body.properties.template.containers[_].command[_] == STRING
    input.Body.properties.template.containers[_].args[_] == STRING
    input.Body.properties.template.containers[_].env[_].name == STRING
    input.Body.properties.template.containers[_].env[_].value == STRING
    input.Body.properties.template.containers[_].env[_].secretRef == STRING
    input.Body.properties.template.containers[_].resources.cpu == NUMBER
    input.Body.properties.template.containers[_].resources.memory == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].volumeName == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].mountPath == STRING
    input.Body.properties.template.containers[_].volumeMounts[_].subPath == STRING
    input.Body.properties.template.volumes[_].name == STRING
    input.Body.properties.template.volumes[_].storageType == enum_VolumeStorageType[_]
    input.Body.properties.template.volumes[_].storageName == STRING
    input.Body.properties.template.volumes[_].secrets[_].secretRef == STRING
    input.Body.properties.template.volumes[_].secrets[_].path == STRING
    input.Body.properties.template.volumes[_].mountOptions == STRING
    input.Body.properties.outboundIpAddresses[_] == STRING
    input.Body.properties.eventStreamEndpoint == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.jobName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedCertificates_CreateOrUpdate

enum_ManagedCertificatePropertiesDomainControlValidation := [ "CNAME", "HTTP", "TXT" ]

valid {
    input.Body.properties.subjectName == STRING
    input.Body.properties.domainControlValidation == enum_ManagedCertificatePropertiesDomainControlValidation[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.managedCertificateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedCertificates_Delete

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

ManagedCertificates_Get

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

ManagedCertificates_List

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

ManagedCertificates_Update

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

ManagedEnvironmentDiagnostics_GetDetector

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

ManagedEnvironmentDiagnostics_ListDetectors

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

ManagedEnvironmentUsages_List

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

ManagedEnvironmentsDiagnostics_GetRoot

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

ManagedEnvironmentsStorages_CreateOrUpdate

enum_AzureFilePropertiesAccessMode := [ "ReadOnly", "ReadWrite" ]

valid {
    input.Body.properties.azureFile.accountName == STRING
    input.Body.properties.azureFile.accountKey == STRING
    input.Body.properties.azureFile.accessMode == enum_AzureFilePropertiesAccessMode[_]
    input.Body.properties.azureFile.shareName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.storageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedEnvironmentsStorages_Delete

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

ManagedEnvironmentsStorages_Get

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

ManagedEnvironmentsStorages_List

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

ManagedEnvironments_CreateOrUpdate

valid {
    input.Body.kind == STRING
    input.Body.properties.daprAIInstrumentationKey == STRING
    input.Body.properties.daprAIConnectionString == STRING
    input.Body.properties.vnetConfiguration.internal == BOOLEAN
    input.Body.properties.vnetConfiguration.infrastructureSubnetId == STRING
    input.Body.properties.vnetConfiguration.dockerBridgeCidr == STRING
    input.Body.properties.vnetConfiguration.platformReservedCidr == STRING
    input.Body.properties.vnetConfiguration.platformReservedDnsIP == STRING
    input.Body.properties.appLogsConfiguration.destination == STRING
    input.Body.properties.appLogsConfiguration.logAnalyticsConfiguration.customerId == STRING
    input.Body.properties.appLogsConfiguration.logAnalyticsConfiguration.sharedKey == STRING
    input.Body.properties.zoneRedundant == BOOLEAN
    input.Body.properties.customDomainConfiguration.dnsSuffix == STRING
    input.Body.properties.customDomainConfiguration.certificateValue == STRING
    input.Body.properties.customDomainConfiguration.certificatePassword == STRING
    input.Body.properties.workloadProfiles[_].name == STRING
    input.Body.properties.workloadProfiles[_].workloadProfileType == STRING
    input.Body.properties.workloadProfiles[_].minimumCount == INTEGER
    input.Body.properties.workloadProfiles[_].maximumCount == INTEGER
    input.Body.properties.kedaConfiguration == {}
    input.Body.properties.daprConfiguration == {}
    input.Body.properties.infrastructureResourceGroup == STRING
    input.Body.properties.peerAuthentication.mtls.enabled == BOOLEAN
    input.Body.properties.peerTrafficConfiguration.encryption.enabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedEnvironments_Delete

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

ManagedEnvironments_Get

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

ManagedEnvironments_GetAuthToken

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

ManagedEnvironments_ListByResourceGroup

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
}

ManagedEnvironments_ListBySubscription

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

ManagedEnvironments_ListWorkloadProfileStates

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

ManagedEnvironments_Update

valid {
    input.Body.kind == STRING
    input.Body.properties.daprAIInstrumentationKey == STRING
    input.Body.properties.daprAIConnectionString == STRING
    input.Body.properties.vnetConfiguration.internal == BOOLEAN
    input.Body.properties.vnetConfiguration.infrastructureSubnetId == STRING
    input.Body.properties.vnetConfiguration.dockerBridgeCidr == STRING
    input.Body.properties.vnetConfiguration.platformReservedCidr == STRING
    input.Body.properties.vnetConfiguration.platformReservedDnsIP == STRING
    input.Body.properties.appLogsConfiguration.destination == STRING
    input.Body.properties.appLogsConfiguration.logAnalyticsConfiguration.customerId == STRING
    input.Body.properties.appLogsConfiguration.logAnalyticsConfiguration.sharedKey == STRING
    input.Body.properties.zoneRedundant == BOOLEAN
    input.Body.properties.customDomainConfiguration.dnsSuffix == STRING
    input.Body.properties.customDomainConfiguration.certificateValue == STRING
    input.Body.properties.customDomainConfiguration.certificatePassword == STRING
    input.Body.properties.workloadProfiles[_].name == STRING
    input.Body.properties.workloadProfiles[_].workloadProfileType == STRING
    input.Body.properties.workloadProfiles[_].minimumCount == INTEGER
    input.Body.properties.workloadProfiles[_].maximumCount == INTEGER
    input.Body.properties.kedaConfiguration == {}
    input.Body.properties.daprConfiguration == {}
    input.Body.properties.infrastructureResourceGroup == STRING
    input.Body.properties.peerAuthentication.mtls.enabled == BOOLEAN
    input.Body.properties.peerTrafficConfiguration.encryption.enabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Namespaces_CheckNameAvailability

valid {
    input.Body.name == STRING
    input.Body.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.environmentName == 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
}

Usages_List

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

Updated 8 months ago