valid {
    input.Body.properties.myAsn == INTEGER
    input.Body.properties.peerAsn == INTEGER
    input.Body.properties.peerAddress == STRING
    input.Body.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.bgpPeerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

enum_AdvertiseMode := [ "ARP", "BGP", "Both" ]

valid {
    input.Body.properties.addresses[_] == STRING
    input.Body.properties.serviceSelector.STRING == STRING
    input.Body.properties.advertiseMode == enum_AdvertiseMode[_]
    input.Body.properties.bgpPeers[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.loadBalancerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

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

valid {
    input.Body.properties == {}
    input.Body.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

enum_AccessMode := [ "ReadWriteOnce", "ReadWriteMany" ]
enum_DataResilienceTier := [ "NotDataResilient", "DataResilient" ]
enum_FailoverTier := [ "NotAvailable", "Slow", "Fast", "Super" ]
enum_PerformanceTier := [ "Undefined", "Basic", "Standard", "Premium", "Ultra" ]
enum_SCType := [ "Native", "RWX", "Blob", "NFS", "SMB" ]
enum_VolumeBindingMode := [ "Immediate", "WaitForFirstConsumer" ]
enum_VolumeExpansion := [ "Allow", "Disallow" ]

valid {
    input.Body.properties.allowVolumeExpansion == enum_VolumeExpansion[_]
    input.Body.properties.mountOptions[_] == STRING
    input.Body.properties.provisioner == STRING
    input.Body.properties.volumeBindingMode == enum_VolumeBindingMode[_]
    input.Body.properties.accessModes[_] == enum_AccessMode[_]
    input.Body.properties.dataResilience == enum_DataResilienceTier[_]
    input.Body.properties.failoverSpeed == enum_FailoverTier[_]
    input.Body.properties.limitations[_] == STRING
    input.Body.properties.performance == enum_PerformanceTier[_]
    input.Body.properties.priority == INTEGER
    input.Body.properties.typeProperties.type == enum_SCType[_]
    input.Body.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.storageClassName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

enum_AccessMode := [ "ReadWriteOnce", "ReadWriteMany" ]
enum_DataResilienceTier := [ "NotDataResilient", "DataResilient" ]
enum_FailoverTier := [ "NotAvailable", "Slow", "Fast", "Super" ]
enum_NfsDirectoryActionOnVolumeDeletion := [ "Delete", "Retain" ]
enum_PerformanceTier := [ "Undefined", "Basic", "Standard", "Premium", "Ultra" ]
enum_VolumeExpansion := [ "Allow", "Disallow" ]

valid {
    input.Body.properties.allowVolumeExpansion == enum_VolumeExpansion[_]
    input.Body.properties.mountOptions[_] == STRING
    input.Body.properties.accessModes[_] == enum_AccessMode[_]
    input.Body.properties.dataResilience == enum_DataResilienceTier[_]
    input.Body.properties.failoverSpeed == enum_FailoverTier[_]
    input.Body.properties.limitations[_] == STRING
    input.Body.properties.performance == enum_PerformanceTier[_]
    input.Body.properties.priority == INTEGER
    input.Body.properties.typeProperties.backingStorageClassName == STRING
    input.Body.properties.typeProperties.azureStorageAccountName == STRING
    input.Body.properties.typeProperties.azureStorageAccountKey == STRING
    input.Body.properties.typeProperties.server == STRING
    input.Body.properties.typeProperties.share == STRING
    input.Body.properties.typeProperties.subDir == STRING
    input.Body.properties.typeProperties.mountPermissions == STRING
    input.Body.properties.typeProperties.onDelete == enum_NfsDirectoryActionOnVolumeDeletion[_]
    input.Body.properties.typeProperties.source == STRING
    input.Body.properties.typeProperties.username == STRING
    input.Body.properties.typeProperties.password == STRING
    input.Body.properties.typeProperties.domain == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.storageClassName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}