MICROSOFT.IMPORTEXPORT

BitLockerKeys_List

valid {
    input.ReqMap.jobName == 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_Create

enum_DriveStatusState := [ "Specified", "Received", "NeverReceived", "Transferring", "Completed", "CompletedMoreInfo", "ShippedBack" ]
enum_EncryptionKeyDetailsKekType := [ "MicrosoftManaged", "CustomerManaged" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.jobType == STRING
    input.Body.properties.returnAddress.recipientName == STRING
    input.Body.properties.returnAddress.streetAddress1 == STRING
    input.Body.properties.returnAddress.streetAddress2 == STRING
    input.Body.properties.returnAddress.city == STRING
    input.Body.properties.returnAddress.stateOrProvince == STRING
    input.Body.properties.returnAddress.postalCode == STRING
    input.Body.properties.returnAddress.countryOrRegion == STRING
    input.Body.properties.returnAddress.phone == STRING
    input.Body.properties.returnAddress.email == STRING
    input.Body.properties.returnShipping.carrierName == STRING
    input.Body.properties.returnShipping.carrierAccountNumber == STRING
    input.Body.properties.shippingInformation.recipientName == STRING
    input.Body.properties.shippingInformation.streetAddress1 == STRING
    input.Body.properties.shippingInformation.streetAddress2 == STRING
    input.Body.properties.shippingInformation.city == STRING
    input.Body.properties.shippingInformation.stateOrProvince == STRING
    input.Body.properties.shippingInformation.postalCode == STRING
    input.Body.properties.shippingInformation.countryOrRegion == STRING
    input.Body.properties.shippingInformation.phone == STRING
    input.Body.properties.deliveryPackage.carrierName == STRING
    input.Body.properties.deliveryPackage.trackingNumber == STRING
    input.Body.properties.deliveryPackage.driveCount == INTEGER
    input.Body.properties.deliveryPackage.shipDate == STRING
    input.Body.properties.returnPackage.carrierName == STRING
    input.Body.properties.returnPackage.trackingNumber == STRING
    input.Body.properties.returnPackage.driveCount == INTEGER
    input.Body.properties.returnPackage.shipDate == STRING
    input.Body.properties.diagnosticsPath == STRING
    input.Body.properties.logLevel == STRING
    input.Body.properties.backupDriveManifest == BOOLEAN
    input.Body.properties.state == STRING
    input.Body.properties.cancelRequested == BOOLEAN
    input.Body.properties.percentComplete == INTEGER
    input.Body.properties.incompleteBlobListUri == STRING
    input.Body.properties.driveList[_].driveId == STRING
    input.Body.properties.driveList[_].bitLockerKey == STRING
    input.Body.properties.driveList[_].manifestFile == STRING
    input.Body.properties.driveList[_].manifestHash == STRING
    input.Body.properties.driveList[_].driveHeaderHash == STRING
    input.Body.properties.driveList[_].state == enum_DriveStatusState[_]
    input.Body.properties.driveList[_].copyStatus == STRING
    input.Body.properties.driveList[_].percentComplete == INTEGER
    input.Body.properties.driveList[_].verboseLogUri == STRING
    input.Body.properties.driveList[_].errorLogUri == STRING
    input.Body.properties.driveList[_].manifestUri == STRING
    input.Body.properties.driveList[_].bytesSucceeded == INTEGER
    input.Body.properties.export.blobList.blobPath[_] == STRING
    input.Body.properties.export.blobList.blobPathPrefix[_] == STRING
    input.Body.properties.export.blobListBlobPath == STRING
    input.Body.properties.provisioningState == STRING
    input.Body.properties.encryptionKey.kekType == enum_EncryptionKeyDetailsKekType[_]
    input.Body.properties.encryptionKey.kekUrl == STRING
    input.Body.properties.encryptionKey.kekVaultResourceID == STRING
    input.ReqMap.jobName == 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_Delete

valid {
    input.ReqMap.jobName == 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.jobName == 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_ListByResourceGroup

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

Jobs_ListBySubscription

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

Jobs_Update

enum_DriveStatusState := [ "Specified", "Received", "NeverReceived", "Transferring", "Completed", "CompletedMoreInfo", "ShippedBack" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.cancelRequested == BOOLEAN
    input.Body.properties.state == STRING
    input.Body.properties.returnAddress.recipientName == STRING
    input.Body.properties.returnAddress.streetAddress1 == STRING
    input.Body.properties.returnAddress.streetAddress2 == STRING
    input.Body.properties.returnAddress.city == STRING
    input.Body.properties.returnAddress.stateOrProvince == STRING
    input.Body.properties.returnAddress.postalCode == STRING
    input.Body.properties.returnAddress.countryOrRegion == STRING
    input.Body.properties.returnAddress.phone == STRING
    input.Body.properties.returnAddress.email == STRING
    input.Body.properties.returnShipping.carrierName == STRING
    input.Body.properties.returnShipping.carrierAccountNumber == STRING
    input.Body.properties.deliveryPackage.carrierName == STRING
    input.Body.properties.deliveryPackage.trackingNumber == STRING
    input.Body.properties.deliveryPackage.driveCount == INTEGER
    input.Body.properties.deliveryPackage.shipDate == STRING
    input.Body.properties.logLevel == STRING
    input.Body.properties.backupDriveManifest == BOOLEAN
    input.Body.properties.driveList[_].driveId == STRING
    input.Body.properties.driveList[_].bitLockerKey == STRING
    input.Body.properties.driveList[_].manifestFile == STRING
    input.Body.properties.driveList[_].manifestHash == STRING
    input.Body.properties.driveList[_].driveHeaderHash == STRING
    input.Body.properties.driveList[_].state == enum_DriveStatusState[_]
    input.Body.properties.driveList[_].copyStatus == STRING
    input.Body.properties.driveList[_].percentComplete == INTEGER
    input.Body.properties.driveList[_].verboseLogUri == STRING
    input.Body.properties.driveList[_].errorLogUri == STRING
    input.Body.properties.driveList[_].manifestUri == STRING
    input.Body.properties.driveList[_].bytesSucceeded == INTEGER
    input.ReqMap.jobName == 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
}

Locations_Get

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

Locations_List

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

Operations_List

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