MICROSOFT.CERTIFICATEREGISTRATION

AppServiceCertificateOrders_CreateOrUpdate

enum_AppServiceCertificateOrderPropertiesProductType := [ "StandardDomainValidatedSsl", "StandardDomainValidatedWildCardSsl" ]

valid {
    input.Body.properties.certificates.STRING.keyVaultId == STRING
    input.Body.properties.certificates.STRING.keyVaultSecretName == STRING
    input.Body.properties.distinguishedName == STRING
    input.Body.properties.validityInYears == INTEGER
    input.Body.properties.keySize == INTEGER
    input.Body.properties.productType == enum_AppServiceCertificateOrderPropertiesProductType[_]
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.csr == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppServiceCertificateOrders_CreateOrUpdateCertificate

valid {
    input.Body.properties.keyVaultId == STRING
    input.Body.properties.keyVaultSecretName == STRING
    input.Body.kind == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppServiceCertificateOrders_Delete

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

AppServiceCertificateOrders_DeleteCertificate

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

AppServiceCertificateOrders_Get

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

AppServiceCertificateOrders_GetCertificate

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

AppServiceCertificateOrders_List

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

AppServiceCertificateOrders_ListByResourceGroup

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

AppServiceCertificateOrders_ListCertificates

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

AppServiceCertificateOrders_Reissue

valid {
    input.Body.properties.keySize == INTEGER
    input.Body.properties.delayExistingRevokeInHours == INTEGER
    input.Body.properties.csr == STRING
    input.Body.properties.isPrivateKeyExternal == BOOLEAN
    input.Body.kind == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppServiceCertificateOrders_Renew

valid {
    input.Body.properties.keySize == INTEGER
    input.Body.properties.csr == STRING
    input.Body.properties.isPrivateKeyExternal == BOOLEAN
    input.Body.kind == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppServiceCertificateOrders_ResendEmail

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

AppServiceCertificateOrders_ResendRequestEmails

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

AppServiceCertificateOrders_RetrieveCertificateActions

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

AppServiceCertificateOrders_RetrieveCertificateEmailHistory

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

AppServiceCertificateOrders_RetrieveSiteSeal

valid {
    input.Body.lightTheme == BOOLEAN
    input.Body.locale == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppServiceCertificateOrders_Update

enum_AppServiceCertificateOrderPatchResourcePropertiesProductType := [ "StandardDomainValidatedSsl", "StandardDomainValidatedWildCardSsl" ]

valid {
    input.Body.properties.certificates.STRING.keyVaultId == STRING
    input.Body.properties.certificates.STRING.keyVaultSecretName == STRING
    input.Body.properties.distinguishedName == STRING
    input.Body.properties.validityInYears == INTEGER
    input.Body.properties.keySize == INTEGER
    input.Body.properties.productType == enum_AppServiceCertificateOrderPatchResourcePropertiesProductType[_]
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.csr == STRING
    input.Body.kind == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppServiceCertificateOrders_UpdateCertificate

valid {
    input.Body.properties.keyVaultId == STRING
    input.Body.properties.keyVaultSecretName == STRING
    input.Body.kind == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AppServiceCertificateOrders_ValidatePurchaseInformation

enum_AppServiceCertificateOrderPropertiesProductType := [ "StandardDomainValidatedSsl", "StandardDomainValidatedWildCardSsl" ]

valid {
    input.Body.properties.certificates.STRING.keyVaultId == STRING
    input.Body.properties.certificates.STRING.keyVaultSecretName == STRING
    input.Body.properties.distinguishedName == STRING
    input.Body.properties.validityInYears == INTEGER
    input.Body.properties.keySize == INTEGER
    input.Body.properties.productType == enum_AppServiceCertificateOrderPropertiesProductType[_]
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.csr == STRING
    input.Body.kind == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

AppServiceCertificateOrders_VerifyDomainOwnership

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

CertificateOrdersDiagnostics_GetAppServiceCertificateOrderDetectorResponse

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.certificateOrderName == STRING
    input.ReqMap.detectorName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.Qs.timeGrain == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CertificateOrdersDiagnostics_ListAppServiceCertificateOrderDetectorResponse

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

CertificateRegistrationProvider_ListOperations

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