ADCCatalogs_CreateOrUpdate

enum_ADCCatalogPropertiesSku := [ "Free", "Standard" ]

valid {
    input.Body.properties.sku == enum_ADCCatalogPropertiesSku[_]
    input.Body.properties.units == INTEGER
    input.Body.properties.admins[_].upn == STRING
    input.Body.properties.admins[_].objectId == STRING
    input.Body.properties.users[_].upn == STRING
    input.Body.properties.users[_].objectId == STRING
    input.Body.properties.successfullyProvisioned == BOOLEAN
    input.Body.properties.enableAutomaticUnitAdjustment == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.etag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.catalogName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ADCCatalogs_Delete

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

ADCCatalogs_Get

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

ADCCatalogs_ListtByResourceGroup

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
}

ADCCatalogs_Update

enum_ADCCatalogPropertiesSku := [ "Free", "Standard" ]

valid {
    input.Body.properties.sku == enum_ADCCatalogPropertiesSku[_]
    input.Body.properties.units == INTEGER
    input.Body.properties.admins[_].upn == STRING
    input.Body.properties.admins[_].objectId == STRING
    input.Body.properties.users[_].upn == STRING
    input.Body.properties.users[_].objectId == STRING
    input.Body.properties.successfullyProvisioned == BOOLEAN
    input.Body.properties.enableAutomaticUnitAdjustment == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.catalogName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ADCOperations_List

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