MICROSOFT.HYBRIDCONTAINERSERVICE

DeleteKubernetesVersions

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

DeleteVMSkus

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

GetKubernetesVersions

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

GetVMSkus

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

HybridContainerService_ListOrchestrators

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

HybridContainerService_ListVMSkus

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

HybridIdentityMetadata_Delete

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

HybridIdentityMetadata_Get

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

HybridIdentityMetadata_ListByCluster

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

HybridIdentityMetadata_Put

valid {
    input.Body.properties.resourceUid == STRING
    input.Body.properties.publicKey == STRING
    input.Body.STRING == STRING
    input.ReqMap.connectedClusterResourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

KubernetesVersions_List

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

Operations_List

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

ProvisionedClusters_CreateOrUpdate

enum_AgentPoolProfileMode := [ "System", "LB", "User" ]
enum_ArcAgentProfileAgentAutoUpgrade := [ "Enabled", "Disabled" ]
enum_NetworkProfileLoadBalancerSku := [ "unstacked-haproxy", "stacked-kube-vip", "stacked-metallb", "unmanaged" ]
enum_NetworkProfileNetworkPolicy := [ "calico", "flannel" ]
enum_OSType := [ "Linux", "Windows" ]
enum_WindowsProfileResponseLicenseType := [ "Windows_Server", "None" ]
enum_provisionedClusterIdentityType := [ "None", "SystemAssigned" ]

valid {
    input.Body.identity.type == enum_provisionedClusterIdentityType[_]
    input.Body.properties.STRING == STRING
    input.Body.properties.aadProfile.serverAppSecret == STRING
    input.Body.properties.aadProfile.adminGroupObjectIDs[_] == STRING
    input.Body.properties.aadProfile.clientAppID == STRING
    input.Body.properties.aadProfile.enableAzureRbac == BOOLEAN
    input.Body.properties.aadProfile.managed == BOOLEAN
    input.Body.properties.aadProfile.serverAppID == STRING
    input.Body.properties.aadProfile.tenantID == STRING
    input.Body.properties.windowsProfile.adminUsername == STRING
    input.Body.properties.windowsProfile.enableCsiProxy == BOOLEAN
    input.Body.properties.windowsProfile.licenseType == enum_WindowsProfileResponseLicenseType[_]
    input.Body.properties.windowsProfile.adminPassword == STRING
    input.Body.properties.httpProxyConfig.httpProxy == STRING
    input.Body.properties.httpProxyConfig.httpsProxy == STRING
    input.Body.properties.httpProxyConfig.noProxy[_] == STRING
    input.Body.properties.httpProxyConfig.trustedCa == STRING
    input.Body.properties.httpProxyConfig.username == STRING
    input.Body.properties.httpProxyConfig.password == STRING
    input.Body.properties.enableRbac == BOOLEAN
    input.Body.properties.linuxProfile.adminUsername == STRING
    input.Body.properties.linuxProfile.ssh.publicKeys[_].keyData == STRING
    input.Body.properties.features.arcAgentProfile.agentVersion == STRING
    input.Body.properties.features.arcAgentProfile.agentAutoUpgrade == enum_ArcAgentProfileAgentAutoUpgrade[_]
    input.Body.properties.addonProfiles.STRING.config.STRING == STRING
    input.Body.properties.addonProfiles.STRING.enabled == BOOLEAN
    input.Body.properties.controlPlane.STRING == STRING
    input.Body.properties.controlPlane.count == INTEGER
    input.Body.properties.controlPlane.availabilityZones[_] == STRING
    input.Body.properties.controlPlane.maxCount == INTEGER
    input.Body.properties.controlPlane.maxPods == INTEGER
    input.Body.properties.controlPlane.minCount == INTEGER
    input.Body.properties.controlPlane.mode == enum_AgentPoolProfileMode[_]
    input.Body.properties.controlPlane.nodeLabels.STRING == STRING
    input.Body.properties.controlPlane.nodeTaints[_] == STRING
    input.Body.properties.controlPlane.osType == enum_OSType[_]
    input.Body.properties.controlPlane.nodeImageVersion == STRING
    input.Body.properties.controlPlane.vmSize == STRING
    input.Body.properties.controlPlane.cloudProviderProfile.infraNetworkProfile.vnetSubnetIds[_] == STRING
    input.Body.properties.controlPlane.cloudProviderProfile.infraStorageProfile.storageSpaceIds[_] == STRING
    input.Body.properties.controlPlane.name == STRING
    input.Body.properties.controlPlane.controlPlaneEndpoint.hostIP == STRING
    input.Body.properties.controlPlane.controlPlaneEndpoint.port == STRING
    input.Body.properties.controlPlane.linuxProfile.adminUsername == STRING
    input.Body.properties.controlPlane.linuxProfile.ssh.publicKeys[_].keyData == STRING
    input.Body.properties.kubernetesVersion == STRING
    input.Body.properties.networkProfile.loadBalancerProfile.STRING == STRING
    input.Body.properties.networkProfile.loadBalancerProfile.linuxProfile.adminUsername == STRING
    input.Body.properties.networkProfile.loadBalancerProfile.linuxProfile.ssh.publicKeys[_].keyData == STRING
    input.Body.properties.networkProfile.loadBalancerSku == enum_NetworkProfileLoadBalancerSku[_]
    input.Body.properties.networkProfile.dnsServiceIP == STRING
    input.Body.properties.networkProfile.networkPolicy == enum_NetworkProfileNetworkPolicy[_]
    input.Body.properties.networkProfile.podCidr == STRING
    input.Body.properties.networkProfile.podCidrs[_] == STRING
    input.Body.properties.networkProfile.serviceCidr == STRING
    input.Body.properties.networkProfile.serviceCidrs[_] == STRING
    input.Body.properties.nodeResourceGroup == STRING
    input.Body.properties.agentPoolProfiles[_] == {}
    input.Body.properties.cloudProviderProfile.infraNetworkProfile.vnetSubnetIds[_] == STRING
    input.Body.properties.cloudProviderProfile.infraStorageProfile.storageSpaceIds[_] == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProvisionedClusters_Delete

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

ProvisionedClusters_Get

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

ProvisionedClusters_GetUpgradeProfile

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

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

ProvisionedClusters_ListBySubscription

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

ProvisionedClusters_Update

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

ProvisionedClusters_UpgradeNodeImageVersionForEntireCluster

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

PutKubernetesVersions

enum_ExtendedLocationType := [ "CustomLocation" ]

valid {
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.extendedLocation.name == STRING
    input.Body.STRING == STRING
    input.ReqMap.customLocationResourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

PutVMSkus

enum_ExtendedLocationType := [ "CustomLocation" ]

valid {
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.extendedLocation.name == STRING
    input.Body.STRING == STRING
    input.ReqMap.customLocationResourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

VMSkus_List

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

agentPool_CreateOrUpdate

enum_ExtendedLocationType := [ "CustomLocation" ]
enum_OSSKU := [ "CBLMariner", "Windows2019", "Windows2022" ]
enum_OSType := [ "Linux", "Windows" ]

valid {
    input.Body.properties.osType == enum_OSType[_]
    input.Body.properties.osSKU == enum_OSSKU[_]
    input.Body.properties.nodeLabels.STRING == STRING
    input.Body.properties.nodeTaints[_] == STRING
    input.Body.properties.maxCount == INTEGER
    input.Body.properties.minCount == INTEGER
    input.Body.properties.enableAutoScaling == BOOLEAN
    input.Body.properties.maxPods == INTEGER
    input.Body.properties.count == INTEGER
    input.Body.properties.vmSize == STRING
    input.Body.properties.status.errorMessage == STRING
    input.Body.properties.status.readyReplicas[_].count == INTEGER
    input.Body.properties.status.readyReplicas[_].vmSize == STRING
    input.Body.tags.STRING == STRING
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.extendedLocation.name == STRING
    input.Body.STRING == STRING
    input.ReqMap.connectedClusterResourceUri == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

agentPool_Delete

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

agentPool_Get

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

agentPool_ListByProvisionedCluster

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

agentPool_Update

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.connectedClusterResourceUri == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

provisionedClusterInstances_CreateOrUpdate

enum_ExtendedLocationType := [ "CustomLocation" ]
enum_NetworkProfileNetworkPolicy := [ "calico" ]
enum_OSSKU := [ "CBLMariner", "Windows2019", "Windows2022" ]
enum_OSType := [ "Linux", "Windows" ]
enum_ProvisionedClusterLicenseProfileAzureHybridBenefit := [ "True", "False", "NotApplicable" ]
enum_provisionedClusterPropertiesAutoScalerProfileExpander := [ "least-waste", "most-pods", "priority", "random" ]

valid {
    input.Body.properties.linuxProfile.ssh.publicKeys[_].keyData == STRING
    input.Body.properties.controlPlane.count == INTEGER
    input.Body.properties.controlPlane.vmSize == STRING
    input.Body.properties.controlPlane.controlPlaneEndpoint.hostIP == STRING
    input.Body.properties.kubernetesVersion == STRING
    input.Body.properties.networkProfile.loadBalancerProfile.count == INTEGER
    input.Body.properties.networkProfile.networkPolicy == enum_NetworkProfileNetworkPolicy[_]
    input.Body.properties.networkProfile.podCidr == STRING
    input.Body.properties.storageProfile.smbCsiDriver.enabled == BOOLEAN
    input.Body.properties.storageProfile.nfsCsiDriver.enabled == BOOLEAN
    input.Body.properties.clusterVMAccessProfile.authorizedIPRanges == STRING
    input.Body.properties.agentPoolProfiles[_].osType == enum_OSType[_]
    input.Body.properties.agentPoolProfiles[_].osSKU == enum_OSSKU[_]
    input.Body.properties.agentPoolProfiles[_].nodeLabels.STRING == STRING
    input.Body.properties.agentPoolProfiles[_].nodeTaints[_] == STRING
    input.Body.properties.agentPoolProfiles[_].maxCount == INTEGER
    input.Body.properties.agentPoolProfiles[_].minCount == INTEGER
    input.Body.properties.agentPoolProfiles[_].enableAutoScaling == BOOLEAN
    input.Body.properties.agentPoolProfiles[_].maxPods == INTEGER
    input.Body.properties.agentPoolProfiles[_].count == INTEGER
    input.Body.properties.agentPoolProfiles[_].vmSize == STRING
    input.Body.properties.agentPoolProfiles[_].name == STRING
    input.Body.properties.cloudProviderProfile.infraNetworkProfile.vnetSubnetIds[_] == STRING
    input.Body.properties.licenseProfile.azureHybridBenefit == enum_ProvisionedClusterLicenseProfileAzureHybridBenefit[_]
    input.Body.properties.autoScalerProfile.balance-similar-node-groups == STRING
    input.Body.properties.autoScalerProfile.expander == enum_provisionedClusterPropertiesAutoScalerProfileExpander[_]
    input.Body.properties.autoScalerProfile.max-empty-bulk-delete == STRING
    input.Body.properties.autoScalerProfile.max-graceful-termination-sec == STRING
    input.Body.properties.autoScalerProfile.max-node-provision-time == STRING
    input.Body.properties.autoScalerProfile.max-total-unready-percentage == STRING
    input.Body.properties.autoScalerProfile.new-pod-scale-up-delay == STRING
    input.Body.properties.autoScalerProfile.ok-total-unready-count == STRING
    input.Body.properties.autoScalerProfile.scan-interval == STRING
    input.Body.properties.autoScalerProfile.scale-down-delay-after-add == STRING
    input.Body.properties.autoScalerProfile.scale-down-delay-after-delete == STRING
    input.Body.properties.autoScalerProfile.scale-down-delay-after-failure == STRING
    input.Body.properties.autoScalerProfile.scale-down-unneeded-time == STRING
    input.Body.properties.autoScalerProfile.scale-down-unready-time == STRING
    input.Body.properties.autoScalerProfile.scale-down-utilization-threshold == STRING
    input.Body.properties.autoScalerProfile.skip-nodes-with-local-storage == STRING
    input.Body.properties.autoScalerProfile.skip-nodes-with-system-pods == STRING
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.extendedLocation.name == STRING
    input.Body.STRING == STRING
    input.ReqMap.connectedClusterResourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

provisionedClusterInstances_Delete

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

provisionedClusterInstances_Get

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

provisionedClusterInstances_GetUpgradeProfile

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

provisionedClusterInstances_List

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

provisionedClusterInstances_ListAdminKubeconfig

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

provisionedClusterInstances_ListUserKubeconfig

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

storageSpaces_CreateOrUpdate

valid {
    input.Body.properties.hciStorageProfile.mocGroup == STRING
    input.Body.properties.hciStorageProfile.mocLocation == STRING
    input.Body.properties.hciStorageProfile.mocStorageContainer == STRING
    input.Body.properties.vmwareStorageProfile.datacenter == STRING
    input.Body.properties.vmwareStorageProfile.datastore == STRING
    input.Body.properties.vmwareStorageProfile.folder == STRING
    input.Body.properties.vmwareStorageProfile.resourcePool == STRING
    input.Body.properties.status.provisioningStatus.error.code == STRING
    input.Body.properties.status.provisioningStatus.error.message == STRING
    input.Body.properties.status.provisioningStatus.operationId == STRING
    input.Body.properties.status.provisioningStatus.phase == STRING
    input.Body.properties.status.provisioningStatus.status == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.storageSpacesName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

storageSpaces_Delete

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

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

storageSpaces_ListBySubscription

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

storageSpaces_Retrieve

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

storageSpaces_Update

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

virtualNetworks_CreateOrUpdate

enum_virtualNetworkExtendedLocationType := [ "CustomLocation" ]

valid {
    input.Body.properties.infraVnetProfile.hci.mocGroup == STRING
    input.Body.properties.infraVnetProfile.hci.mocLocation == STRING
    input.Body.properties.infraVnetProfile.hci.mocVnetName == STRING
    input.Body.properties.vipPool[_].endIP == STRING
    input.Body.properties.vipPool[_].startIP == STRING
    input.Body.properties.vmipPool[_].endIP == STRING
    input.Body.properties.vmipPool[_].startIP == STRING
    input.Body.properties.dnsServers[_] == STRING
    input.Body.properties.gateway == STRING
    input.Body.properties.ipAddressPrefix == STRING
    input.Body.properties.vlanID == INTEGER
    input.Body.extendedLocation.type == enum_virtualNetworkExtendedLocationType[_]
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

virtualNetworks_Delete

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

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

virtualNetworks_ListBySubscription

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

virtualNetworks_Retrieve

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

virtualNetworks_Update

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