MICROSOFT.DATABOXEDGE

Addons_CreateOrUpdate

enum_AddonKind := [ "IotEdge", "ArcForKubernetes" ]

valid {
    input.Body.kind == enum_AddonKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.roleName == STRING
    input.ReqMap.addonName == STRING
    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
}

Addons_Delete

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.roleName == STRING
    input.ReqMap.addonName == STRING
    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
}

Addons_Get

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.roleName == STRING
    input.ReqMap.addonName == STRING
    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
}

Addons_ListByRole

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

Alerts_Get

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

Alerts_ListByDataBoxEdgeDevice

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

AvailableSkus_List

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

BandwidthSchedules_CreateOrUpdate

enum_BandwidthSchedulePropertiesDays := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]

valid {
    input.Body.properties.start == STRING
    input.Body.properties.stop == STRING
    input.Body.properties.rateInMbps == INTEGER
    input.Body.properties.days[_] == enum_BandwidthSchedulePropertiesDays[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.name == STRING
    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
}

BandwidthSchedules_Delete

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

BandwidthSchedules_Get

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

BandwidthSchedules_ListByDataBoxEdgeDevice

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

Containers_CreateOrUpdate

enum_ContainerPropertiesDataFormat := [ "BlockBlob", "PageBlob", "AzureFile" ]

valid {
    input.Body.properties.dataFormat == enum_ContainerPropertiesDataFormat[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.storageAccountName == STRING
    input.ReqMap.containerName == STRING
    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
}

Containers_Delete

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.storageAccountName == STRING
    input.ReqMap.containerName == STRING
    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
}

Containers_Get

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.storageAccountName == STRING
    input.ReqMap.containerName == STRING
    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
}

Containers_ListByStorageAccount

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

Containers_Refresh

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.storageAccountName == STRING
    input.ReqMap.containerName == STRING
    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
}

DeviceCapacityCheck_CheckResourceCreationFeasibility

valid {
    input.Body.properties.vmPlacementQuery[_][_] == STRING
    input.Body.properties.vmPlacementResults[_].vmSize[_] == STRING
    input.Body.properties.vmPlacementResults[_].isFeasible == BOOLEAN
    input.Body.properties.vmPlacementResults[_].messageCode == STRING
    input.Body.properties.vmPlacementResults[_].message == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deviceName == STRING
    input.Qs.api-version == STRING
    input.Qs.capacityName == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeviceCapacityInfo_GetDeviceCapacityInfo

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

Devices_CreateOrUpdate

enum_DataResidencyType := [ "GeoZoneReplication", "ZoneReplication" ]
enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_SkuName := [ "Gateway", "Edge", "TEA_1Node", "TEA_1Node_UPS", "TEA_1Node_Heater", "TEA_1Node_UPS_Heater", "TEA_4Node_Heater", "TEA_4Node_UPS_Heater", "TMA", "TDC", "TCA_Small", "GPU", "TCA_Large", "EdgeP_Base", "EdgeP_High", "EdgePR_Base", "EdgePR_Base_UPS", "EP2_64_1VPU_W", "EP2_128_1T4_Mx1_W", "EP2_256_2T4_W", "EdgeMR_Mini", "RCA_Small", "RCA_Large", "RDC", "Management", "EP2_64_Mx1_W", "EP2_128_GPU1_Mx1_W", "EP2_256_GPU2_Mx1", "EdgeMR_TCP" ]
enum_SkuTier := [ "Standard" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.sku.name == enum_SkuName[_]
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.etag == STRING
    input.Body.identity.type == enum_ResourceIdentityType[_]
    input.Body.properties.dataResidency.type == enum_DataResidencyType[_]
    input.ReqMap.deviceName == STRING
    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
}

Devices_CreateOrUpdateSecuritySettings

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]

valid {
    input.Body.properties.deviceAdminPassword.value == STRING
    input.Body.properties.deviceAdminPassword.encryptionCertThumbprint == STRING
    input.Body.properties.deviceAdminPassword.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.ReqMap.deviceName == STRING
    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
}

Devices_Delete

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

Devices_DownloadUpdates

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

Devices_GenerateCertificate

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

Devices_Get

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

Devices_GetExtendedInformation

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

Devices_GetNetworkSettings

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

Devices_GetUpdateSummary

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

Devices_InstallUpdates

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

Devices_ListByResourceGroup

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

Devices_ListBySubscription

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

Devices_ScanForUpdates

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

Devices_Update

enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ResourceIdentityType[_]
    input.Body.properties.edgeProfile.subscription.id == STRING
    input.ReqMap.deviceName == STRING
    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
}

Devices_UpdateExtendedInformation

enum_DataBoxEdgeDeviceExtendedInfoPatchSyncStatus := [ "KeyVaultSynced", "KeyVaultSyncFailed", "KeyVaultNotConfigured", "KeyVaultSyncPending", "KeyVaultSyncing", "KeyVaultNotSynced" ]

valid {
    input.Body.clientSecretStoreId == STRING
    input.Body.clientSecretStoreUrl == STRING
    input.Body.channelIntegrityKeyName == STRING
    input.Body.channelIntegrityKeyVersion == STRING
    input.Body.syncStatus == enum_DataBoxEdgeDeviceExtendedInfoPatchSyncStatus[_]
    input.ReqMap.deviceName == STRING
    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
}

Devices_UploadCertificate

enum_RawCertificateDataAuthenticationType := [ "Invalid", "AzureActiveDirectory" ]

valid {
    input.Body.properties.authenticationType == enum_RawCertificateDataAuthenticationType[_]
    input.Body.properties.certificate == STRING
    input.ReqMap.deviceName == STRING
    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
}

DiagnosticSettings_GetDiagnosticProactiveLogCollectionSettings

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

DiagnosticSettings_GetDiagnosticRemoteSupportSettings

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

DiagnosticSettings_UpdateDiagnosticProactiveLogCollectionSettings

enum_ProactiveLogCollectionSettingsPropertiesUserConsent := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.userConsent == enum_ProactiveLogCollectionSettingsPropertiesUserConsent[_]
    input.ReqMap.deviceName == STRING
    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
}

DiagnosticSettings_UpdateDiagnosticRemoteSupportSettings

enum_RemoteSupportSettingsAccessLevel := [ "None", "ReadOnly", "ReadWrite", "FullAccess" ]
enum_RemoteSupportSettingsRemoteApplicationType := [ "Powershell", "WAC", "LocalUI", "AllApplications" ]

valid {
    input.Body.properties.remoteSupportSettingsList[_].remoteApplicationType == enum_RemoteSupportSettingsRemoteApplicationType[_]
    input.Body.properties.remoteSupportSettingsList[_].accessLevel == enum_RemoteSupportSettingsAccessLevel[_]
    input.Body.properties.remoteSupportSettingsList[_].expirationTimeStampInUTC == STRING
    input.ReqMap.deviceName == STRING
    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
}

Jobs_Get

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

MarketplaceImageOffer_ListOffers

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

MarketplaceImageOffer_ListOffersbyPublisher

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

MarketplaceImagePublisher_ListPublishers

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

MarketplaceImageSasToken_GetSASToken

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.offerName == STRING
    input.ReqMap.skuName == STRING
    input.ReqMap.versionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MarketplaceImageSku_ListSKUsWithinOffer

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

MarketplaceImageVersion_GetParticularImage

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.offerName == STRING
    input.ReqMap.skuName == STRING
    input.ReqMap.versionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MarketplaceImageVersion_ListVersionswithinSKU

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.offerName == STRING
    input.ReqMap.skuName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MonitoringConfig_CreateOrUpdate

valid {
    input.Body.properties.metricConfigurations[_].resourceId == STRING
    input.Body.properties.metricConfigurations[_].mdmAccount == STRING
    input.Body.properties.metricConfigurations[_].metricNameSpace == STRING
    input.Body.properties.metricConfigurations[_].counterSets[_].counters[_].name == STRING
    input.Body.properties.metricConfigurations[_].counterSets[_].counters[_].instance == STRING
    input.Body.properties.metricConfigurations[_].counterSets[_].counters[_].dimensionFilter[_].sourceType == STRING
    input.Body.properties.metricConfigurations[_].counterSets[_].counters[_].dimensionFilter[_].sourceName == STRING
    input.Body.properties.metricConfigurations[_].counterSets[_].counters[_].additionalDimensions[_].sourceType == STRING
    input.Body.properties.metricConfigurations[_].counterSets[_].counters[_].additionalDimensions[_].sourceName == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.roleName == STRING
    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
}

MonitoringConfig_Delete

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

MonitoringConfig_Get

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

MonitoringConfig_List

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

Nodes_ListByDataBoxEdgeDevice

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

OperationsStatus_Get

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

Operations_List

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

Orders_CreateOrUpdate

enum_OrderPropertiesShipmentType := [ "NotApplicable", "ShippedToCustomer", "SelfPickup" ]

valid {
    input.Body.properties.contactInformation.contactPerson == STRING
    input.Body.properties.contactInformation.companyName == STRING
    input.Body.properties.contactInformation.phone == STRING
    input.Body.properties.contactInformation.emailList[_] == STRING
    input.Body.properties.shippingAddress.addressLine1 == STRING
    input.Body.properties.shippingAddress.addressLine2 == STRING
    input.Body.properties.shippingAddress.addressLine3 == STRING
    input.Body.properties.shippingAddress.postalCode == STRING
    input.Body.properties.shippingAddress.city == STRING
    input.Body.properties.shippingAddress.state == STRING
    input.Body.properties.shippingAddress.country == STRING
    input.Body.properties.shipmentType == enum_OrderPropertiesShipmentType[_]
    input.ReqMap.deviceName == STRING
    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
}

Orders_Delete

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

Orders_Get

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

Orders_ListByDataBoxEdgeDevice

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

Orders_ListDCAccessCode

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

Roles_CreateOrUpdate

enum_RoleKind := [ "IOT", "ASA", "Functions", "Cognitive", "MEC", "CloudEdgeManagement", "Kubernetes" ]

valid {
    input.Body.kind == enum_RoleKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.name == STRING
    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
}

Roles_Delete

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

Roles_Get

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

Roles_ListByDataBoxEdgeDevice

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

Shares_CreateOrUpdate

enum_AzureContainerInfoDataFormat := [ "BlockBlob", "PageBlob", "AzureFile" ]
enum_ClientAccessRightAccessPermission := [ "NoAccess", "ReadOnly", "ReadWrite" ]
enum_SharePropertiesAccessProtocol := [ "SMB", "NFS" ]
enum_SharePropertiesDataPolicy := [ "Cloud", "Local" ]
enum_SharePropertiesMonitoringStatus := [ "Enabled", "Disabled" ]
enum_SharePropertiesShareStatus := [ "Offline", "Unknown", "OK", "Updating", "NeedsAttention" ]
enum_UserAccessRightAccessType := [ "Change", "Read", "Custom" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.shareStatus == enum_SharePropertiesShareStatus[_]
    input.Body.properties.monitoringStatus == enum_SharePropertiesMonitoringStatus[_]
    input.Body.properties.azureContainerInfo.storageAccountCredentialId == STRING
    input.Body.properties.azureContainerInfo.containerName == STRING
    input.Body.properties.azureContainerInfo.dataFormat == enum_AzureContainerInfoDataFormat[_]
    input.Body.properties.accessProtocol == enum_SharePropertiesAccessProtocol[_]
    input.Body.properties.userAccessRights[_].userId == STRING
    input.Body.properties.userAccessRights[_].accessType == enum_UserAccessRightAccessType[_]
    input.Body.properties.clientAccessRights[_].client == STRING
    input.Body.properties.clientAccessRights[_].accessPermission == enum_ClientAccessRightAccessPermission[_]
    input.Body.properties.refreshDetails.inProgressRefreshJobId == STRING
    input.Body.properties.refreshDetails.lastCompletedRefreshJobTimeInUTC == STRING
    input.Body.properties.refreshDetails.errorManifestFile == STRING
    input.Body.properties.refreshDetails.lastJob == STRING
    input.Body.properties.dataPolicy == enum_SharePropertiesDataPolicy[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.name == STRING
    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
}

Shares_Delete

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

Shares_Get

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

Shares_ListByDataBoxEdgeDevice

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

Shares_Refresh

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

Skus_List

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

StorageAccountCredentials_CreateOrUpdate

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]
enum_StorageAccountCredentialPropertiesAccountType := [ "GeneralPurposeStorage", "BlobStorage" ]
enum_StorageAccountCredentialPropertiesSslStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.alias == STRING
    input.Body.properties.userName == STRING
    input.Body.properties.accountKey.value == STRING
    input.Body.properties.accountKey.encryptionCertThumbprint == STRING
    input.Body.properties.accountKey.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.connectionString == STRING
    input.Body.properties.sslStatus == enum_StorageAccountCredentialPropertiesSslStatus[_]
    input.Body.properties.blobDomainName == STRING
    input.Body.properties.accountType == enum_StorageAccountCredentialPropertiesAccountType[_]
    input.Body.properties.storageAccountId == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.name == STRING
    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
}

StorageAccountCredentials_Delete

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

StorageAccountCredentials_Get

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

StorageAccountCredentials_ListByDataBoxEdgeDevice

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

StorageAccounts_CreateOrUpdate

enum_StorageAccountPropertiesDataPolicy := [ "Cloud", "Local" ]
enum_StorageAccountPropertiesStorageAccountStatus := [ "OK", "Offline", "Unknown", "Updating", "NeedsAttention" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.storageAccountStatus == enum_StorageAccountPropertiesStorageAccountStatus[_]
    input.Body.properties.dataPolicy == enum_StorageAccountPropertiesDataPolicy[_]
    input.Body.properties.storageAccountCredentialId == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.storageAccountName == STRING
    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
}

StorageAccounts_Delete

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

StorageAccounts_Get

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

StorageAccounts_ListByDataBoxEdgeDevice

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

SupportPackages_TriggerSupportPackage

valid {
    input.Body.properties.minimumTimeStamp == STRING
    input.Body.properties.maximumTimeStamp == STRING
    input.Body.properties.include == STRING
    input.ReqMap.deviceName == STRING
    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
}

Triggers_CreateOrUpdate

enum_TriggerKind := [ "FileEvent", "PeriodicTimerEvent" ]

valid {
    input.Body.kind == enum_TriggerKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.name == STRING
    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
}

Triggers_Delete

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

Triggers_Get

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

Triggers_ListByDataBoxEdgeDevice

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

Users_CreateOrUpdate

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]
enum_UserPropertiesUserType := [ "Share", "LocalManagement", "ARM" ]

valid {
    input.Body.properties.encryptedPassword.value == STRING
    input.Body.properties.encryptedPassword.encryptionCertThumbprint == STRING
    input.Body.properties.encryptedPassword.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.userType == enum_UserPropertiesUserType[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.name == STRING
    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
}

Users_Delete

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

Users_Get

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

Users_ListByDataBoxEdgeDevice

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

Updated 7 months ago