MICROSOFT.COMPUTE.ADMIN

DisableTenantSubscriptionFeature

valid {
    input.Body.tenantSubscriptionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DiskMigrationJobs_Cancel

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

DiskMigrationJobs_Create

enum_DiskState := [ "Undefined", "Unattached", "Attached", "Reserved", "ActiveSAS", "Unknown", "All", "Recommended", "OfflineMigration", "OnlineMigration" ]

valid {
    input.Body[_].properties.diskId == STRING
    input.Body[_].properties.status == enum_DiskState[_]
    input.Body[_].properties.sharePath == STRING
    input.Body[_].location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.migrationId == STRING
    input.Qs.targetShare == STRING
    input.Qs.targetScaleUnit == STRING
    input.Qs.targetVolumeLabel == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DiskMigrationJobs_Get

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

DiskMigrationJobs_List

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

Disks_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.diskId == STRING
    input.Qs.showSizeDetail == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Disks_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.userSubscriptionId == STRING
    input.Qs.status == STRING
    input.Qs.sharePath == STRING
    input.Qs.scaleUnit == STRING
    input.Qs.volumeLabel == STRING
    input.Qs.count == INTEGER
    input.Qs.start == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

EnableTenantSubscriptionFeature

valid {
    input.Body.tenantSubscriptionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Features_Get

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

Features_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == 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
}

PlatformImages_Create

enum_OsType := [ "Unknown", "Windows", "Linux" ]
enum_ProvisioningState := [ "Creating", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.properties.osDisk.osType == enum_OsType[_]
    input.Body.properties.osDisk.uri == STRING
    input.Body.properties.dataDisks[_].lun == INTEGER
    input.Body.properties.dataDisks[_].uri == STRING
    input.Body.properties.details.billingPartNumber == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.publisher == STRING
    input.ReqMap.offer == STRING
    input.ReqMap.sku == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

PlatformImages_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.publisher == STRING
    input.ReqMap.offer == STRING
    input.ReqMap.sku == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

PlatformImages_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.publisher == STRING
    input.ReqMap.offer == STRING
    input.ReqMap.sku == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

PlatformImages_List

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

Quotas_CreateOrUpdate

valid {
    input.Body.properties.availabilitySetCount == INTEGER
    input.Body.properties.coresLimit == INTEGER
    input.Body.properties.virtualMachineCount == INTEGER
    input.Body.properties.vmScaleSetCount == INTEGER
    input.Body.properties.maxAllocationStandardManagedDisksAndSnapshots == INTEGER
    input.Body.properties.maxAllocationPremiumManagedDisksAndSnapshots == INTEGER
    input.Body.properties.ddagpuCount == INTEGER
    input.Body.properties.partitionedGpuCount == INTEGER
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.quotaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Quotas_Delete

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

Quotas_Get

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

Quotas_List

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

ScaleUnits_Get

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

UpdateGlobalFeatureSettings

enum_GlobalFeatureState := [ "TenantSubscriptionLevel", "Enabled", "Disabled" ]

valid {
    input.Body.globalFeatureState == enum_GlobalFeatureState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.featureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

VMExtensions_Create

enum_OsType := [ "Unknown", "Windows", "Linux" ]
enum_ProvisioningState := [ "Creating", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.properties.vmOsType == enum_OsType[_]
    input.Body.properties.publisher == STRING
    input.Body.properties.computeRole == STRING
    input.Body.properties.vmScaleSetEnabled == BOOLEAN
    input.Body.properties.supportMultipleExtensions == BOOLEAN
    input.Body.properties.isSystemExtension == BOOLEAN
    input.Body.properties.sourceBlob.uri == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.publisher == STRING
    input.ReqMap.type == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

VMExtensions_Delete

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

VMExtensions_Get

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

VMExtensions_List

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