enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_StorageSku := [ "Standard", "Performance" ]

valid {
    input.Body.properties.marketplaceDetails.marketplaceSubscriptionId == STRING
    input.Body.properties.marketplaceDetails.planId == STRING
    input.Body.properties.marketplaceDetails.offerId == STRING
    input.Body.properties.marketplaceDetails.publisherId == STRING
    input.Body.properties.storageSku == enum_StorageSku[_]
    input.Body.properties.userDetails.email == STRING
    input.Body.properties.delegatedSubnetId == STRING
    input.Body.properties.clusterLoginUrl == STRING
    input.Body.properties.privateIPs[_] == STRING
    input.Body.properties.adminPassword == STRING
    input.Body.properties.initialCapacity == INTEGER
    input.Body.properties.availabilityZone == 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.fileSystemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

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

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

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
}

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

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.marketplaceDetails.marketplaceSubscriptionId == STRING
    input.Body.properties.marketplaceDetails.planId == STRING
    input.Body.properties.marketplaceDetails.offerId == STRING
    input.Body.properties.marketplaceDetails.publisherId == STRING
    input.Body.properties.userDetails.email == STRING
    input.Body.properties.delegatedSubnetId == STRING
    input.Body.properties.clusterLoginUrl == STRING
    input.Body.properties.privateIPs[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.fileSystemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

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