---
updatedAt: 2025-11-12T01:17:58.000Z
agentTools:
  projectIndex: https://public.docs.kivera.io/llms.txt
---

# MICROSOFT.SCVMM

<Embed url="https://docs.microsoft.com/en-us/rest/api/azure/" title="Azure documentation" provider="docs.microsoft.com" href="https://docs.microsoft.com/en-us/rest/api/azure/" />

# AvailabilitySets\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.availabilitySetName == STRING
    input.Body.properties.vmmServerId == 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.availabilitySetResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AvailabilitySets\_Delete

```erlang
enum_ForceParameter := [ "false", "true" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.availabilitySetResourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.force == enum_ForceParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AvailabilitySets\_Get

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

# AvailabilitySets\_ListByResourceGroup

```erlang
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
}
```

# AvailabilitySets\_ListBySubscription

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

# AvailabilitySets\_Update

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

# Clouds\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.inventoryItemId == STRING
    input.Body.properties.uuid == STRING
    input.Body.properties.vmmServerId == 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.cloudResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Clouds\_Delete

```erlang
enum_ForceParameter := [ "false", "true" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudResourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.force == enum_ForceParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Clouds\_Get

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

# Clouds\_ListByResourceGroup

```erlang
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
}
```

# Clouds\_ListBySubscription

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

# Clouds\_Update

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

# GuestAgents\_Create

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

valid {
    input.Body.properties.credentials.username == STRING
    input.Body.properties.credentials.password == 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.guestAgentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# GuestAgents\_Delete

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

# GuestAgents\_Get

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

# GuestAgents\_ListByVm

```erlang
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
}
```

# HybridIdentityMetadatas\_Create

```erlang
valid {
    input.Body.properties.resourceUid == 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
}
```

# HybridIdentityMetadatas\_Delete

```erlang
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
}
```

# HybridIdentityMetadatas\_Get

```erlang
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
}
```

# HybridIdentityMetadatas\_ListByVm

```erlang
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

```erlang
enum_InventoryType := [ "Cloud", "VirtualNetwork", "VirtualMachineTemplate", "VirtualMachine" ]

valid {
    input.Body.properties.inventoryType == enum_InventoryType[_]
    input.Body.kind == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vmmServerName == STRING
    input.ReqMap.inventoryItemResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# InventoryItems\_Delete

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vmmServerName == STRING
    input.ReqMap.inventoryItemResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# InventoryItems\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vmmServerName == STRING
    input.ReqMap.inventoryItemResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# InventoryItems\_ListByVMMServer

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

# MachineExtensions\_CreateOrUpdate

```erlang
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.tags.STRING == STRING
    input.Body.location == 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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

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

# VMInstanceGuestAgents\_Create

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

valid {
    input.Body.properties.credentials.username == STRING
    input.Body.properties.credentials.password == 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

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

# VMInstanceGuestAgents\_Get

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

# VMInstanceGuestAgents\_List

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

# VirtualMachineInstanceHybridIdentityMetadata\_Get

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

# VirtualMachineInstanceHybridIdentityMetadata\_List

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

# VirtualMachineInstances\_CreateCheckpoint

```erlang
valid {
    input.Body.name == STRING
    input.Body.description == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# VirtualMachineInstances\_CreateOrUpdate

```erlang
enum_AllocationMethod := [ "Dynamic", "Static" ]
enum_HardwareProfileDynamicMemoryEnabled := [ "false", "true" ]
enum_HardwareProfileLimitCpuForMigration := [ "false", "true" ]
enum_VirtualDiskCreateDiffDisk := [ "false", "true" ]

valid {
    input.Body.properties.availabilitySets[_].id == STRING
    input.Body.properties.availabilitySets[_].name == STRING
    input.Body.properties.osProfile.adminPassword == STRING
    input.Body.properties.osProfile.computerName == STRING
    input.Body.properties.hardwareProfile.memoryMB == INTEGER
    input.Body.properties.hardwareProfile.cpuCount == INTEGER
    input.Body.properties.hardwareProfile.limitCpuForMigration == enum_HardwareProfileLimitCpuForMigration[_]
    input.Body.properties.hardwareProfile.dynamicMemoryEnabled == enum_HardwareProfileDynamicMemoryEnabled[_]
    input.Body.properties.hardwareProfile.dynamicMemoryMaxMB == INTEGER
    input.Body.properties.hardwareProfile.dynamicMemoryMinMB == INTEGER
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].macAddress == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].virtualNetworkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipv4AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].ipv6AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].macAddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].nicId == STRING
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskId == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].bus == INTEGER
    input.Body.properties.storageProfile.disks[_].lun == INTEGER
    input.Body.properties.storageProfile.disks[_].busType == STRING
    input.Body.properties.storageProfile.disks[_].vhdType == STRING
    input.Body.properties.storageProfile.disks[_].templateDiskId == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.name == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.id == STRING
    input.Body.properties.storageProfile.disks[_].createDiffDisk == enum_VirtualDiskCreateDiffDisk[_]
    input.Body.properties.infrastructureProfile.inventoryItemId == STRING
    input.Body.properties.infrastructureProfile.vmmServerId == STRING
    input.Body.properties.infrastructureProfile.cloudId == STRING
    input.Body.properties.infrastructureProfile.templateId == STRING
    input.Body.properties.infrastructureProfile.vmName == STRING
    input.Body.properties.infrastructureProfile.uuid == STRING
    input.Body.properties.infrastructureProfile.checkpoints[_] == None
    input.Body.properties.infrastructureProfile.checkpointType == STRING
    input.Body.properties.infrastructureProfile.generation == INTEGER
    input.Body.properties.infrastructureProfile.biosGuid == STRING
    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

```erlang
enum_DeleteFromHostParameter := [ "false", "true" ]
enum_ForceParameter := [ "false", "true" ]

valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.Qs.force == enum_ForceParameter[_]
    input.Qs.deleteFromHost == enum_DeleteFromHostParameter[_]
    input.ProviderMetadata.Region == STRING
}
```

# VirtualMachineInstances\_DeleteCheckpoint

```erlang
valid {
    input.Body.id == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# VirtualMachineInstances\_Get

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

# VirtualMachineInstances\_List

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

# VirtualMachineInstances\_Restart

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

# VirtualMachineInstances\_RestoreCheckpoint

```erlang
valid {
    input.Body.id == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# VirtualMachineInstances\_Start

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

# VirtualMachineInstances\_Stop

```erlang
enum_StopVirtualMachineOptionsSkipShutdown := [ "false", "true" ]

valid {
    input.Body.skipShutdown == enum_StopVirtualMachineOptionsSkipShutdown[_]
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# VirtualMachineInstances\_Update

```erlang
enum_AllocationMethod := [ "Dynamic", "Static" ]
enum_HardwareProfileUpdateDynamicMemoryEnabled := [ "false", "true" ]
enum_HardwareProfileUpdateLimitCpuForMigration := [ "false", "true" ]

valid {
    input.Body.properties.hardwareProfile.memoryMB == INTEGER
    input.Body.properties.hardwareProfile.cpuCount == INTEGER
    input.Body.properties.hardwareProfile.limitCpuForMigration == enum_HardwareProfileUpdateLimitCpuForMigration[_]
    input.Body.properties.hardwareProfile.dynamicMemoryEnabled == enum_HardwareProfileUpdateDynamicMemoryEnabled[_]
    input.Body.properties.hardwareProfile.dynamicMemoryMaxMB == INTEGER
    input.Body.properties.hardwareProfile.dynamicMemoryMinMB == INTEGER
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskId == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].bus == INTEGER
    input.Body.properties.storageProfile.disks[_].lun == INTEGER
    input.Body.properties.storageProfile.disks[_].busType == STRING
    input.Body.properties.storageProfile.disks[_].vhdType == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.name == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.id == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].macAddress == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].virtualNetworkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipv4AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].ipv6AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].macAddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].nicId == STRING
    input.Body.properties.availabilitySets[_].id == STRING
    input.Body.properties.availabilitySets[_].name == STRING
    input.Body.properties.infrastructureProfile.checkpointType == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# VirtualMachineTemplates\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.inventoryItemId == STRING
    input.Body.properties.uuid == STRING
    input.Body.properties.vmmServerId == 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.virtualMachineTemplateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualMachineTemplates\_Delete

```erlang
enum_ForceParameter := [ "false", "true" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineTemplateName == STRING
    input.Qs.api-version == STRING
    input.Qs.force == enum_ForceParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualMachineTemplates\_Get

```erlang
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\_ListByResourceGroup

```erlang
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\_ListBySubscription

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

# VirtualMachineTemplates\_Update

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

# VirtualMachines\_CreateCheckpoint

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

# VirtualMachines\_CreateOrUpdate

```erlang
enum_AllocationMethod := [ "Dynamic", "Static" ]
enum_HardwareProfileDynamicMemoryEnabled := [ "false", "true" ]
enum_HardwareProfileLimitCpuForMigration := [ "false", "true" ]
enum_IdentityType := [ "None", "SystemAssigned" ]
enum_VirtualDiskCreateDiffDisk := [ "false", "true" ]

valid {
    input.Body.properties.inventoryItemId == STRING
    input.Body.properties.vmmServerId == STRING
    input.Body.properties.cloudId == STRING
    input.Body.properties.templateId == STRING
    input.Body.properties.checkpointType == STRING
    input.Body.properties.checkpoints[_] == None
    input.Body.properties.availabilitySets[_].id == STRING
    input.Body.properties.availabilitySets[_].name == STRING
    input.Body.properties.osProfile.adminPassword == STRING
    input.Body.properties.osProfile.computerName == STRING
    input.Body.properties.hardwareProfile.memoryMB == INTEGER
    input.Body.properties.hardwareProfile.cpuCount == INTEGER
    input.Body.properties.hardwareProfile.limitCpuForMigration == enum_HardwareProfileLimitCpuForMigration[_]
    input.Body.properties.hardwareProfile.dynamicMemoryEnabled == enum_HardwareProfileDynamicMemoryEnabled[_]
    input.Body.properties.hardwareProfile.dynamicMemoryMaxMB == INTEGER
    input.Body.properties.hardwareProfile.dynamicMemoryMinMB == INTEGER
    input.Body.properties.hardwareProfile.isHighlyAvailable == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].macAddress == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].virtualNetworkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipv4AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].ipv6AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].macAddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].nicId == STRING
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskId == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].bus == INTEGER
    input.Body.properties.storageProfile.disks[_].lun == INTEGER
    input.Body.properties.storageProfile.disks[_].busType == STRING
    input.Body.properties.storageProfile.disks[_].vhdType == STRING
    input.Body.properties.storageProfile.disks[_].templateDiskId == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.name == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.id == STRING
    input.Body.properties.storageProfile.disks[_].createDiffDisk == enum_VirtualDiskCreateDiffDisk[_]
    input.Body.properties.vmName == STRING
    input.Body.properties.uuid == STRING
    input.Body.properties.generation == INTEGER
    input.Body.properties.guestAgentProfile.clientPublicKey == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.extendedLocation.name == 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

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

# VirtualMachines\_DeleteCheckpoint

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

# VirtualMachines\_Get

```erlang
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\_ListByResourceGroup

```erlang
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\_ListBySubscription

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

# VirtualMachines\_Restart

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

# VirtualMachines\_RestoreCheckpoint

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

# VirtualMachines\_Start

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

# VirtualMachines\_Stop

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

# VirtualMachines\_Update

```erlang
enum_AllocationMethod := [ "Dynamic", "Static" ]
enum_HardwareProfileUpdateDynamicMemoryEnabled := [ "false", "true" ]
enum_HardwareProfileUpdateLimitCpuForMigration := [ "false", "true" ]
enum_IdentityType := [ "None", "SystemAssigned" ]

valid {
    input.Body.properties.hardwareProfile.memoryMB == INTEGER
    input.Body.properties.hardwareProfile.cpuCount == INTEGER
    input.Body.properties.hardwareProfile.limitCpuForMigration == enum_HardwareProfileUpdateLimitCpuForMigration[_]
    input.Body.properties.hardwareProfile.dynamicMemoryEnabled == enum_HardwareProfileUpdateDynamicMemoryEnabled[_]
    input.Body.properties.hardwareProfile.dynamicMemoryMaxMB == INTEGER
    input.Body.properties.hardwareProfile.dynamicMemoryMinMB == INTEGER
    input.Body.properties.storageProfile.disks[_].name == STRING
    input.Body.properties.storageProfile.disks[_].diskId == STRING
    input.Body.properties.storageProfile.disks[_].diskSizeGB == INTEGER
    input.Body.properties.storageProfile.disks[_].bus == INTEGER
    input.Body.properties.storageProfile.disks[_].lun == INTEGER
    input.Body.properties.storageProfile.disks[_].busType == STRING
    input.Body.properties.storageProfile.disks[_].vhdType == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.name == STRING
    input.Body.properties.storageProfile.disks[_].storageQoSPolicy.id == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].name == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].macAddress == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].virtualNetworkId == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].ipv4AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].ipv6AddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].macAddressType == enum_AllocationMethod[_]
    input.Body.properties.networkProfile.networkInterfaces[_].nicId == STRING
    input.Body.properties.availabilitySets[_].id == STRING
    input.Body.properties.availabilitySets[_].name == STRING
    input.Body.properties.checkpointType == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualNetworks\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.inventoryItemId == STRING
    input.Body.properties.uuid == STRING
    input.Body.properties.vmmServerId == 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.virtualNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualNetworks\_Delete

```erlang
enum_ForceParameter := [ "false", "true" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualNetworkName == STRING
    input.Qs.api-version == STRING
    input.Qs.force == enum_ForceParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualNetworks\_Get

```erlang
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

```erlang
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

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

# VirtualNetworks\_Update

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

# VmmServers\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.credentials.username == STRING
    input.Body.properties.credentials.password == STRING
    input.Body.properties.fqdn == STRING
    input.Body.properties.port == INTEGER
    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.vmmServerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VmmServers\_Delete

```erlang
enum_ForceParameter := [ "false", "true" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vmmServerName == STRING
    input.Qs.api-version == STRING
    input.Qs.force == enum_ForceParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VmmServers\_Get

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

# VmmServers\_ListByResourceGroup

```erlang
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
}
```

# VmmServers\_ListBySubscription

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

# VmmServers\_Update

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