NGINX.NGINXPLUS

Certificates_CreateOrUpdate

valid {
    input.Body.properties.keyVirtualPath == STRING
    input.Body.properties.certificateVirtualPath == STRING
    input.Body.properties.keyVaultSecretId == STRING
    input.Body.properties.certificateError.code == STRING
    input.Body.properties.certificateError.message == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == 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.deploymentName == 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.deploymentName == 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.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_Analysis

valid {
    input.Body.config.rootFile == STRING
    input.Body.config.files[_].content == STRING
    input.Body.config.files[_].virtualPath == STRING
    input.Body.config.protectedFiles[_].content == STRING
    input.Body.config.protectedFiles[_].virtualPath == STRING
    input.Body.config.package.data == STRING
    input.Body.config.package.protectedFiles[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_CreateOrUpdate

valid {
    input.Body.properties.files[_].content == STRING
    input.Body.properties.files[_].virtualPath == STRING
    input.Body.properties.protectedFiles[_].content == STRING
    input.Body.properties.protectedFiles[_].virtualPath == STRING
    input.Body.properties.package.data == STRING
    input.Body.properties.package.protectedFiles[_] == STRING
    input.Body.properties.rootFile == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_Delete

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

Configurations_Get

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

Configurations_List

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

Deployments_CreateOrUpdate

enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_NginxPrivateIPAllocationMethod := [ "Static", "Dynamic" ]

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.managedResourceGroup == STRING
    input.Body.properties.networkProfile.frontEndIPConfiguration.publicIPAddresses[_].id == STRING
    input.Body.properties.networkProfile.frontEndIPConfiguration.privateIPAddresses[_].privateIPAddress == STRING
    input.Body.properties.networkProfile.frontEndIPConfiguration.privateIPAddresses[_].privateIPAllocationMethod == enum_NginxPrivateIPAllocationMethod[_]
    input.Body.properties.networkProfile.frontEndIPConfiguration.privateIPAddresses[_].subnetId == STRING
    input.Body.properties.networkProfile.networkInterfaceConfiguration.subnetId == STRING
    input.Body.properties.enableDiagnosticsSupport == BOOLEAN
    input.Body.properties.logging.storageAccount.accountName == STRING
    input.Body.properties.logging.storageAccount.containerName == STRING
    input.Body.properties.scalingProperties.capacity == INTEGER
    input.Body.properties.scalingProperties.autoScaleSettings.profiles[_].name == STRING
    input.Body.properties.scalingProperties.autoScaleSettings.profiles[_].capacity.min == INTEGER
    input.Body.properties.scalingProperties.autoScaleSettings.profiles[_].capacity.max == INTEGER
    input.Body.properties.autoUpgradeProfile.upgradeChannel == STRING
    input.Body.properties.userProfile.preferredEmail == STRING
    input.Body.tags.STRING == STRING
    input.Body.sku.name == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Delete

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

Deployments_Get

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

Deployments_List

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

Deployments_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
}

Deployments_Update

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

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.sku.name == STRING
    input.Body.location == STRING
    input.Body.properties.enableDiagnosticsSupport == BOOLEAN
    input.Body.properties.logging.storageAccount.accountName == STRING
    input.Body.properties.logging.storageAccount.containerName == STRING
    input.Body.properties.scalingProperties.capacity == INTEGER
    input.Body.properties.scalingProperties.autoScaleSettings.profiles[_].name == STRING
    input.Body.properties.scalingProperties.autoScaleSettings.profiles[_].capacity.min == INTEGER
    input.Body.properties.scalingProperties.autoScaleSettings.profiles[_].capacity.max == INTEGER
    input.Body.properties.userProfile.preferredEmail == STRING
    input.Body.properties.autoUpgradeProfile.upgradeChannel == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == 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
}