DedicatedCloudNodes_CreateOrUpdate

valid {
    input.Body.location == STRING
    input.Body.properties.availabilityZoneId == STRING
    input.Body.properties.nodesCount == INTEGER
    input.Body.properties.placementGroupId == STRING
    input.Body.properties.purchaseId == STRING
    input.Body.properties.skuDescription.id == STRING
    input.Body.properties.skuDescription.name == STRING
    input.Body.sku.capacity == STRING
    input.Body.sku.description == STRING
    input.Body.sku.family == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dedicatedCloudNodeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedCloudNodes_Delete

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

DedicatedCloudNodes_Get

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

DedicatedCloudNodes_ListByResourceGroup

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedCloudNodes_ListBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DedicatedCloudNodes_Update

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

DedicatedCloudServices_CreateOrUpdate

valid {
    input.Body.location == STRING
    input.Body.properties.gatewaySubnet == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dedicatedCloudServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedCloudServices_Delete

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

DedicatedCloudServices_Get

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

DedicatedCloudServices_ListByResourceGroup

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedCloudServices_ListBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DedicatedCloudServices_Update

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

Operations_Get

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

Operations_List

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

PrivateClouds_Get

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

PrivateClouds_List

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

ResourcePools_Get

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

ResourcePools_List

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

SkusAvailability_List

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

Usages_List

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

VirtualMachineTemplates_Get

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

VirtualMachineTemplates_List

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

VirtualMachines_CreateOrUpdate

enum_GuestOSNICCustomizationAllocation := [ "static", "dynamic" ]
enum_VirtualDiskIndependenceMode := [ "persistent", "independent_persistent", "independent_nonpersistent" ]
enum_VirtualNicNicType := [ "E1000", "E1000E", "PCNET32", "VMXNET", "VMXNET2", "VMXNET3" ]

valid {
    input.Body.location == STRING
    input.Body.properties.amountOfRam == INTEGER
    input.Body.properties.customization.dnsServers[_] == STRING
    input.Body.properties.customization.hostName == STRING
    input.Body.properties.customization.password == STRING
    input.Body.properties.customization.policyId == STRING
    input.Body.properties.customization.username == STRING
    input.Body.properties.disks[_].controllerId == STRING
    input.Body.properties.disks[_].independenceMode == enum_VirtualDiskIndependenceMode[_]
    input.Body.properties.disks[_].totalSize == INTEGER
    input.Body.properties.disks[_].virtualDiskId == STRING
    input.Body.properties.exposeToGuestVM == BOOLEAN
    input.Body.properties.nics[_].customization.allocation == enum_GuestOSNICCustomizationAllocation[_]
    input.Body.properties.nics[_].customization.dnsServers[_] == STRING
    input.Body.properties.nics[_].customization.gateway[_] == STRING
    input.Body.properties.nics[_].customization.ipAddress == STRING
    input.Body.properties.nics[_].customization.mask == STRING
    input.Body.properties.nics[_].customization.primaryWinsServer == STRING
    input.Body.properties.nics[_].customization.secondaryWinsServer == STRING
    input.Body.properties.nics[_].ipAddresses[_] == STRING
    input.Body.properties.nics[_].macAddress == STRING
    input.Body.properties.nics[_].network.id == STRING
    input.Body.properties.nics[_].network.properties == {}
    input.Body.properties.nics[_].nicType == enum_VirtualNicNicType[_]
    input.Body.properties.nics[_].powerOnBoot == BOOLEAN
    input.Body.properties.nics[_].virtualNicId == STRING
    input.Body.properties.numberOfCores == INTEGER
    input.Body.properties.password == STRING
    input.Body.properties.privateCloudId == STRING
    input.Body.properties.resourcePool.id == STRING
    input.Body.properties.resourcePool.properties == {}
    input.Body.properties.templateId == STRING
    input.Body.properties.username == STRING
    input.Body.properties.vSphereNetworks[_] == STRING
    input.Body.tags.STRING == 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_Delete

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_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_ListByResourceGroup

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_ListBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == 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

enum_ModeParameter := [ "reboot", "suspend", "shutdown", "poweroff" ]
enum_VirtualMachineStopModeMode := [ "reboot", "suspend", "shutdown", "poweroff" ]

valid {
    input.Body.mode == enum_VirtualMachineStopModeMode[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.mode == enum_ModeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_Update

valid {
    input.Body.tags.STRING == 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
}

VirtualNetworks_Get

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

VirtualNetworks_List

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

customizationPolicies_Get

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

customizationPolicies_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.regionId == STRING
    input.ReqMap.pcName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}