MICROSOFT.CONNECTEDVMWAREVSPHERE

Clusters_Create

valid {
    input.Body.properties.vCenterId == STRING
    input.Body.properties.moRefId == STRING
    input.Body.properties.inventoryItemId == STRING
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Delete

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

Clusters_Get

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

Clusters_List

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

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

Clusters_Update

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

Datastores_Create

valid {
    input.Body.properties.vCenterId == STRING
    input.Body.properties.moRefId == STRING
    input.Body.properties.inventoryItemId == STRING
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.datastoreName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Datastores_Delete

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

Datastores_Get

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

Datastores_List

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

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

Datastores_Update

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

GuestAgents_Create

enum_ProvisioningAction := [ "install", "uninstall", "repair" ]

valid {
    input.Body.properties.credentials.username == STRING
    input.Body.properties.credentials.password == STRING
    input.Body.properties.privateLinkScopeResourceId == STRING
    input.Body.properties.httpProxyConfig.httpsProxy == STRING
    input.Body.properties.provisioningAction == enum_ProvisioningAction[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GuestAgents_Delete

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

GuestAgents_Get

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

GuestAgents_List

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

Hosts_Create

valid {
    input.Body.properties.vCenterId == STRING
    input.Body.properties.moRefId == STRING
    input.Body.properties.inventoryItemId == STRING
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.hostName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Hosts_Delete

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

Hosts_Get

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

Hosts_List

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

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

Hosts_Update

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

HybridIdentityMetadata_Create

valid {
    input.Body.properties.vmId == STRING
    input.Body.properties.publicKey == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.ReqMap.metadataName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HybridIdentityMetadata_Delete

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

HybridIdentityMetadata_Get

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

HybridIdentityMetadata_List

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

InventoryItems_Create

enum_InventoryType := [ "ResourcePool", "VirtualMachine", "VirtualMachineTemplate", "VirtualNetwork", "Cluster", "Datastore", "Host" ]

valid {
    input.Body.properties.inventoryType == enum_InventoryType[_]
    input.Body.properties.managedResourceId == STRING
    input.Body.properties.moRefId == STRING
    input.Body.properties.moName == STRING
    input.Body.kind == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vcenterName == STRING
    input.ReqMap.inventoryItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InventoryItems_Delete

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

InventoryItems_Get

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

InventoryItems_ListByVCenter

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

MachineExtensions_CreateOrUpdate

valid {
    input.Body.properties.forceUpdateTag == STRING
    input.Body.properties.publisher == STRING
    input.Body.properties.type == STRING
    input.Body.properties.typeHandlerVersion == STRING
    input.Body.properties.enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.settings.STRING == STRING
    input.Body.properties.protectedSettings.STRING == STRING
    input.Body.properties.instanceView.status == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.ReqMap.extensionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineExtensions_Delete

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

MachineExtensions_Get

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

MachineExtensions_List

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

MachineExtensions_Update

valid {
    input.Body.properties.forceUpdateTag == STRING
    input.Body.properties.publisher == STRING
    input.Body.properties.type == STRING
    input.Body.properties.typeHandlerVersion == STRING
    input.Body.properties.enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.settings.STRING == STRING
    input.Body.properties.protectedSettings.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.ReqMap.extensionName == 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
}

ResourcePools_Create

valid {
    input.Body.properties.vCenterId == STRING
    input.Body.properties.moRefId == STRING
    input.Body.properties.inventoryItemId == STRING
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourcePoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ResourcePools_Delete

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

ResourcePools_Get

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

ResourcePools_List

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

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

ResourcePools_Update

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

UpgradeExtensions

valid {
    input.Body.extensionTargets.STRING.targetVersion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VCenters_Create

valid {
    input.Body.properties.fqdn == STRING
    input.Body.properties.port == INTEGER
    input.Body.properties.credentials.username == STRING
    input.Body.properties.credentials.password == STRING
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vcenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VCenters_Delete

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

VCenters_Get

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

VCenters_List

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

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

VCenters_Update

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

VMInstanceGuestAgents_Create

enum_ProvisioningAction := [ "install", "uninstall", "repair" ]

valid {
    input.Body.properties.credentials.username == STRING
    input.Body.properties.credentials.password == STRING
    input.Body.properties.privateLinkScopeResourceId == STRING
    input.Body.properties.httpProxyConfig.httpsProxy == STRING
    input.Body.properties.provisioningAction == enum_ProvisioningAction[_]
    input.Body.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

VMInstanceGuestAgents_Delete

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

VMInstanceGuestAgents_Get

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

VMInstanceGuestAgents_List

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

VirtualMachineInstances_CreateOrUpdate

enum_DiskMode := [ "persistent", "independent_persistent", "independent_nonpersistent" ]
enum_DiskType := [ "flat", "pmem", "rawphysical", "rawvirtual", "sparse", "sesparse", "unknown" ]
enum_FirmwareType := [ "bios", "efi" ]
enum_IPAddressAllocationMethod := [ "unset", "dynamic", "static", "linklayer", "random", "other" ]
enum_NICType := [ "vmxnet3", "vmxnet2", "vmxnet", "e1000", "e1000e", "pcnet32" ]
enum_OsType := [ "Windows", "Linux", "Other" ]
enum_PowerOnBootOption := [ "enabled", "disabled" ]

valid {
    input.Body.properties.placementProfile.resourcePoolId == STRING
    input.Body.properties.placementProfile.clusterId == STRING
    input.Body.properties.placementProfile.hostId == STRING
    input.Body.properties.placementProfile.datastoreId == STRING
    input.Body.properties.osProfile.computerName == STRING
    input.Body.properties.osProfile.adminUsername == STRING
    input.Body.properties.osProfile.adminPassword == STRING
    input.Body.properties.osProfile.guestId == STRING
    input.Body.properties.osProfile.osType == enum_OsType[_]
    input.Body.properties.hardwareProfile.memorySizeMB == INTEGER
    input.Body.properties.hardwareProfile.numCPUs == INTEGER
    input.Body.properties.hardwareProfile.numCoresPerSocket == INTEGER
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].networkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].nicType == enum_NICType[_]
    input.Body.properties.networkProfile.networkInterfaces[_].powerOnBoot == enum_PowerOnBootOption[_]
    input.Body.properties.networkProfile.networkInterfaces[_].deviceKey == INTEGER
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.allocationMethod == enum_IPAddressAllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.dnsServers[_] == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.gateway[_] == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.ipAddress == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.subnetMask == STRING
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceKey == INTEGER
    input.Body.properties.storageProfile.disks[_].diskMode == enum_DiskMode[_]
    input.Body.properties.storageProfile.disks[_].controllerKey == INTEGER
    input.Body.properties.storageProfile.disks[_].unitNumber == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceName == STRING
    input.Body.properties.storageProfile.disks[_].diskType == enum_DiskType[_]
    input.Body.properties.securityProfile.uefiSettings.secureBootEnabled == BOOLEAN
    input.Body.properties.infrastructureProfile.templateId == STRING
    input.Body.properties.infrastructureProfile.vCenterId == STRING
    input.Body.properties.infrastructureProfile.inventoryItemId == STRING
    input.Body.properties.infrastructureProfile.smbiosUuid == STRING
    input.Body.properties.infrastructureProfile.firmwareType == enum_FirmwareType[_]
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

VirtualMachineInstances_Delete

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

VirtualMachineInstances_Get

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

VirtualMachineInstances_List

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

VirtualMachineInstances_Restart

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

VirtualMachineInstances_Start

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

VirtualMachineInstances_Stop

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

VirtualMachineInstances_Update

enum_DiskMode := [ "persistent", "independent_persistent", "independent_nonpersistent" ]
enum_DiskType := [ "flat", "pmem", "rawphysical", "rawvirtual", "sparse", "sesparse", "unknown" ]
enum_NICType := [ "vmxnet3", "vmxnet2", "vmxnet", "e1000", "e1000e", "pcnet32" ]
enum_PowerOnBootOption := [ "enabled", "disabled" ]

valid {
    input.Body.properties.hardwareProfile.memorySizeMB == INTEGER
    input.Body.properties.hardwareProfile.numCPUs == INTEGER
    input.Body.properties.hardwareProfile.numCoresPerSocket == INTEGER
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceKey == INTEGER
    input.Body.properties.storageProfile.disks[_].diskMode == enum_DiskMode[_]
    input.Body.properties.storageProfile.disks[_].controllerKey == INTEGER
    input.Body.properties.storageProfile.disks[_].unitNumber == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceName == STRING
    input.Body.properties.storageProfile.disks[_].diskType == enum_DiskType[_]
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].networkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].nicType == enum_NICType[_]
    input.Body.properties.networkProfile.networkInterfaces[_].powerOnBoot == enum_PowerOnBootOption[_]
    input.Body.properties.networkProfile.networkInterfaces[_].deviceKey == INTEGER
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

VirtualMachineTemplates_Create

valid {
    input.Body.properties.vCenterId == STRING
    input.Body.properties.moRefId == STRING
    input.Body.properties.inventoryItemId == STRING
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineTemplateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachineTemplates_Delete

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

VirtualMachineTemplates_Get

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

VirtualMachineTemplates_List

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

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

VirtualMachineTemplates_Update

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

VirtualMachines_AssessPatches

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

VirtualMachines_CreateOrUpdate

enum_DiskMode := [ "persistent", "independent_persistent", "independent_nonpersistent" ]
enum_DiskType := [ "flat", "pmem", "rawphysical", "rawvirtual", "sparse", "sesparse", "unknown" ]
enum_FirmwareType := [ "bios", "efi" ]
enum_IPAddressAllocationMethod := [ "unset", "dynamic", "static", "linklayer", "random", "other" ]
enum_IdentityType := [ "None", "SystemAssigned" ]
enum_NICType := [ "vmxnet3", "vmxnet2", "vmxnet", "e1000", "e1000e", "pcnet32" ]
enum_OsType := [ "Windows", "Linux", "Other" ]
enum_PowerOnBootOption := [ "enabled", "disabled" ]

valid {
    input.Body.properties.resourcePoolId == STRING
    input.Body.properties.templateId == STRING
    input.Body.properties.vCenterId == STRING
    input.Body.properties.placementProfile.resourcePoolId == STRING
    input.Body.properties.placementProfile.clusterId == STRING
    input.Body.properties.placementProfile.hostId == STRING
    input.Body.properties.placementProfile.datastoreId == STRING
    input.Body.properties.osProfile.computerName == STRING
    input.Body.properties.osProfile.adminUsername == STRING
    input.Body.properties.osProfile.adminPassword == STRING
    input.Body.properties.osProfile.guestId == STRING
    input.Body.properties.osProfile.osType == enum_OsType[_]
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.assessmentMode == STRING
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.patchMode == STRING
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.assessmentMode == STRING
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.patchMode == STRING
    input.Body.properties.hardwareProfile.memorySizeMB == INTEGER
    input.Body.properties.hardwareProfile.numCPUs == INTEGER
    input.Body.properties.hardwareProfile.numCoresPerSocket == INTEGER
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].networkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].nicType == enum_NICType[_]
    input.Body.properties.networkProfile.networkInterfaces[_].powerOnBoot == enum_PowerOnBootOption[_]
    input.Body.properties.networkProfile.networkInterfaces[_].deviceKey == INTEGER
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.allocationMethod == enum_IPAddressAllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.dnsServers[_] == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.gateway[_] == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.ipAddress == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipSettings.subnetMask == STRING
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceKey == INTEGER
    input.Body.properties.storageProfile.disks[_].diskMode == enum_DiskMode[_]
    input.Body.properties.storageProfile.disks[_].controllerKey == INTEGER
    input.Body.properties.storageProfile.disks[_].unitNumber == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceName == STRING
    input.Body.properties.storageProfile.disks[_].diskType == enum_DiskType[_]
    input.Body.properties.guestAgentProfile.clientPublicKey == STRING
    input.Body.properties.securityProfile.uefiSettings.secureBootEnabled == BOOLEAN
    input.Body.properties.moRefId == STRING
    input.Body.properties.inventoryItemId == STRING
    input.Body.properties.smbiosUuid == STRING
    input.Body.properties.firmwareType == enum_FirmwareType[_]
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.Qs.deleteFromHost == BOOLEAN
    input.Qs.force == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_Get

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

VirtualMachines_InstallPatches

enum_LinuxParametersClassificationsToInclude := [ "Critical", "Security", "Other" ]
enum_VirtualMachineInstallPatchesParametersRebootSetting := [ "IfRequired", "Never", "Always" ]
enum_WindowsParametersClassificationsToInclude := [ "Critical", "Security", "UpdateRollUp", "FeaturePack", "ServicePack", "Definition", "Tools", "Updates" ]

valid {
    input.Body.maximumDuration == STRING
    input.Body.rebootSetting == enum_VirtualMachineInstallPatchesParametersRebootSetting[_]
    input.Body.windowsParameters.classificationsToInclude[_] == enum_WindowsParametersClassificationsToInclude[_]
    input.Body.windowsParameters.kbNumbersToInclude[_] == STRING
    input.Body.windowsParameters.kbNumbersToExclude[_] == STRING
    input.Body.windowsParameters.excludeKbsRequiringReboot == BOOLEAN
    input.Body.windowsParameters.maxPatchPublishDate == STRING
    input.Body.linuxParameters.classificationsToInclude[_] == enum_LinuxParametersClassificationsToInclude[_]
    input.Body.linuxParameters.packageNameMasksToInclude[_] == STRING
    input.Body.linuxParameters.packageNameMasksToExclude[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_List

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
}

VirtualMachines_ListAll

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

VirtualMachines_Restart

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

VirtualMachines_Start

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

VirtualMachines_Stop

valid {
    input.Body.skipShutdown == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_Update

enum_DiskMode := [ "persistent", "independent_persistent", "independent_nonpersistent" ]
enum_DiskType := [ "flat", "pmem", "rawphysical", "rawvirtual", "sparse", "sesparse", "unknown" ]
enum_IdentityType := [ "None", "SystemAssigned" ]
enum_NICType := [ "vmxnet3", "vmxnet2", "vmxnet", "e1000", "e1000e", "pcnet32" ]
enum_PowerOnBootOption := [ "enabled", "disabled" ]

valid {
    input.Body.properties.hardwareProfile.memorySizeMB == INTEGER
    input.Body.properties.hardwareProfile.numCPUs == INTEGER
    input.Body.properties.hardwareProfile.numCoresPerSocket == INTEGER
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.assessmentMode == STRING
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.patchMode == STRING
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.assessmentMode == STRING
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.patchMode == STRING
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceKey == INTEGER
    input.Body.properties.storageProfile.disks[_].diskMode == enum_DiskMode[_]
    input.Body.properties.storageProfile.disks[_].controllerKey == INTEGER
    input.Body.properties.storageProfile.disks[_].unitNumber == INTEGER
    input.Body.properties.storageProfile.disks[_].deviceName == STRING
    input.Body.properties.storageProfile.disks[_].diskType == enum_DiskType[_]
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].networkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].nicType == enum_NICType[_]
    input.Body.properties.networkProfile.networkInterfaces[_].powerOnBoot == enum_PowerOnBootOption[_]
    input.Body.properties.networkProfile.networkInterfaces[_].deviceKey == INTEGER
    input.Body.properties.guestAgentProfile.clientPublicKey == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualNetworks_Create

valid {
    input.Body.properties.vCenterId == STRING
    input.Body.properties.moRefId == STRING
    input.Body.properties.inventoryItemId == STRING
    input.Body.location == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == 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.Qs.force == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualNetworks_Get

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_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == 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_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
}

VmInstanceHybridIdentityMetadata_Get

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

VmInstanceHybridIdentityMetadata_List

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

Updated 1 day ago