MICROSOFT.EDGEORDER

Addresses_Create

enum_AddressClassification := [ "Shipping", "Site" ]
enum_ShippingAddressAddressType := [ "None", "Residential", "Commercial" ]

valid {
    input.Body.properties.addressClassification == enum_AddressClassification[_]
    input.Body.properties.shippingAddress.streetAddress1 == STRING
    input.Body.properties.shippingAddress.streetAddress2 == STRING
    input.Body.properties.shippingAddress.streetAddress3 == STRING
    input.Body.properties.shippingAddress.city == STRING
    input.Body.properties.shippingAddress.stateOrProvince == STRING
    input.Body.properties.shippingAddress.country == STRING
    input.Body.properties.shippingAddress.postalCode == STRING
    input.Body.properties.shippingAddress.zipExtendedCode == STRING
    input.Body.properties.shippingAddress.companyName == STRING
    input.Body.properties.shippingAddress.addressType == enum_ShippingAddressAddressType[_]
    input.Body.properties.contactDetails.contactName == STRING
    input.Body.properties.contactDetails.phone == STRING
    input.Body.properties.contactDetails.phoneExtension == STRING
    input.Body.properties.contactDetails.mobile == STRING
    input.Body.properties.contactDetails.emailList[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.addressName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Addresses_Delete

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

Addresses_Get

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

Addresses_ListByResourceGroup

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

Addresses_ListBySubscription

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

Addresses_Update

enum_ShippingAddressAddressType := [ "None", "Residential", "Commercial" ]

valid {
    input.Body.properties.shippingAddress.streetAddress1 == STRING
    input.Body.properties.shippingAddress.streetAddress2 == STRING
    input.Body.properties.shippingAddress.streetAddress3 == STRING
    input.Body.properties.shippingAddress.city == STRING
    input.Body.properties.shippingAddress.stateOrProvince == STRING
    input.Body.properties.shippingAddress.country == STRING
    input.Body.properties.shippingAddress.postalCode == STRING
    input.Body.properties.shippingAddress.zipExtendedCode == STRING
    input.Body.properties.shippingAddress.companyName == STRING
    input.Body.properties.shippingAddress.addressType == enum_ShippingAddressAddressType[_]
    input.Body.properties.contactDetails.contactName == STRING
    input.Body.properties.contactDetails.phone == STRING
    input.Body.properties.contactDetails.phoneExtension == STRING
    input.Body.properties.contactDetails.mobile == STRING
    input.Body.properties.contactDetails.emailList[_] == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.addressName == 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
}

OrderItems_Cancel

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

OrderItems_Create

enum_AddressClassification := [ "Shipping", "Site" ]
enum_AutoProvisioningStatus := [ "Enabled", "Disabled" ]
enum_EncryptionPreferencesDoubleEncryptionStatus := [ "Disabled", "Enabled" ]
enum_NotificationPreferenceStageName := [ "Shipped", "Delivered" ]
enum_OrderItemDetailsOrderItemMode := [ "Default", "DoNotFulfill" ]
enum_OrderItemDetailsOrderItemType := [ "Purchase", "Rental", "External" ]
enum_ShippingAddressAddressType := [ "None", "Residential", "Commercial" ]
enum_TermCommitmentType := [ "None", "Trial", "Timed" ]
enum_TransportPreferencesPreferredShipmentType := [ "CustomerManaged", "MicrosoftManaged" ]

valid {
    input.Body.properties.orderItemDetails.productDetails.displayInfo == {}
    input.Body.properties.orderItemDetails.productDetails.hierarchyInformation.productFamilyName == STRING
    input.Body.properties.orderItemDetails.productDetails.hierarchyInformation.productLineName == STRING
    input.Body.properties.orderItemDetails.productDetails.hierarchyInformation.productName == STRING
    input.Body.properties.orderItemDetails.productDetails.hierarchyInformation.configurationName == STRING
    input.Body.properties.orderItemDetails.productDetails.hierarchyInformation.configurationIdDisplayName == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.quantity == INTEGER
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.provisioningArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.provisioningEndPoint == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.serialNumber == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.vendorName == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.readyToConnectArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.managementResourceArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.autoProvisioningStatus == enum_AutoProvisioningStatus[_]
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.devicePresenceVerification == {}
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].hierarchyInformation.productFamilyName == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].hierarchyInformation.productLineName == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].hierarchyInformation.productName == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].hierarchyInformation.configurationName == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].hierarchyInformation.configurationIdDisplayName == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].quantity == INTEGER
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].quantity == INTEGER
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].provisioningArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].provisioningEndPoint == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].serialNumber == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].vendorName == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].readyToConnectArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].managementResourceArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].autoProvisioningStatus == enum_AutoProvisioningStatus[_]
    input.Body.properties.orderItemDetails.productDetails.optInAdditionalConfigurations[_].provisioningDetails[_].devicePresenceVerification == {}
    input.Body.properties.orderItemDetails.orderItemType == enum_OrderItemDetailsOrderItemType[_]
    input.Body.properties.orderItemDetails.orderItemMode == enum_OrderItemDetailsOrderItemMode[_]
    input.Body.properties.orderItemDetails.siteDetails.siteId == STRING
    input.Body.properties.orderItemDetails.preferences.notificationPreferences[_].stageName == enum_NotificationPreferenceStageName[_]
    input.Body.properties.orderItemDetails.preferences.notificationPreferences[_].sendNotification == BOOLEAN
    input.Body.properties.orderItemDetails.preferences.transportPreferences.preferredShipmentType == enum_TransportPreferencesPreferredShipmentType[_]
    input.Body.properties.orderItemDetails.preferences.encryptionPreferences.doubleEncryptionStatus == enum_EncryptionPreferencesDoubleEncryptionStatus[_]
    input.Body.properties.orderItemDetails.preferences.managementResourcePreferences.preferredManagementResourceId == STRING
    input.Body.properties.orderItemDetails.preferences.termCommitmentPreferences.preferredTermCommitmentType == enum_TermCommitmentType[_]
    input.Body.properties.orderItemDetails.preferences.termCommitmentPreferences.preferredTermCommitmentDuration == STRING
    input.Body.properties.orderItemDetails.notificationEmailList[_] == STRING
    input.Body.properties.addressDetails.forwardAddress.addressClassification == enum_AddressClassification[_]
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.streetAddress1 == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.streetAddress2 == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.streetAddress3 == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.city == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.stateOrProvince == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.country == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.postalCode == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.zipExtendedCode == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.companyName == STRING
    input.Body.properties.addressDetails.forwardAddress.shippingAddress.addressType == enum_ShippingAddressAddressType[_]
    input.Body.properties.addressDetails.forwardAddress.contactDetails.contactName == STRING
    input.Body.properties.addressDetails.forwardAddress.contactDetails.phone == STRING
    input.Body.properties.addressDetails.forwardAddress.contactDetails.phoneExtension == STRING
    input.Body.properties.addressDetails.forwardAddress.contactDetails.mobile == STRING
    input.Body.properties.addressDetails.forwardAddress.contactDetails.emailList[_] == STRING
    input.Body.properties.orderId == STRING
    input.Body.identity.type == STRING
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.orderItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OrderItems_Delete

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

OrderItems_Get

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

OrderItems_ListByResourceGroup

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

OrderItems_ListBySubscription

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

OrderItems_Return

enum_AddressClassification := [ "Shipping", "Site" ]
enum_ShippingAddressAddressType := [ "None", "Residential", "Commercial" ]

valid {
    input.Body.returnAddress.addressClassification == enum_AddressClassification[_]
    input.Body.returnAddress.shippingAddress.streetAddress1 == STRING
    input.Body.returnAddress.shippingAddress.streetAddress2 == STRING
    input.Body.returnAddress.shippingAddress.streetAddress3 == STRING
    input.Body.returnAddress.shippingAddress.city == STRING
    input.Body.returnAddress.shippingAddress.stateOrProvince == STRING
    input.Body.returnAddress.shippingAddress.country == STRING
    input.Body.returnAddress.shippingAddress.postalCode == STRING
    input.Body.returnAddress.shippingAddress.zipExtendedCode == STRING
    input.Body.returnAddress.shippingAddress.companyName == STRING
    input.Body.returnAddress.shippingAddress.addressType == enum_ShippingAddressAddressType[_]
    input.Body.returnAddress.contactDetails.contactName == STRING
    input.Body.returnAddress.contactDetails.phone == STRING
    input.Body.returnAddress.contactDetails.phoneExtension == STRING
    input.Body.returnAddress.contactDetails.mobile == STRING
    input.Body.returnAddress.contactDetails.emailList[_] == STRING
    input.Body.returnReason == STRING
    input.Body.serviceTag == STRING
    input.Body.shippingBoxRequired == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.orderItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OrderItems_Update

enum_AddressClassification := [ "Shipping", "Site" ]
enum_AutoProvisioningStatus := [ "Enabled", "Disabled" ]
enum_EncryptionPreferencesDoubleEncryptionStatus := [ "Disabled", "Enabled" ]
enum_NotificationPreferenceStageName := [ "Shipped", "Delivered" ]
enum_ShippingAddressAddressType := [ "None", "Residential", "Commercial" ]
enum_TermCommitmentType := [ "None", "Trial", "Timed" ]
enum_TransportPreferencesPreferredShipmentType := [ "CustomerManaged", "MicrosoftManaged" ]

valid {
    input.Body.properties.forwardAddress.addressClassification == enum_AddressClassification[_]
    input.Body.properties.forwardAddress.shippingAddress.streetAddress1 == STRING
    input.Body.properties.forwardAddress.shippingAddress.streetAddress2 == STRING
    input.Body.properties.forwardAddress.shippingAddress.streetAddress3 == STRING
    input.Body.properties.forwardAddress.shippingAddress.city == STRING
    input.Body.properties.forwardAddress.shippingAddress.stateOrProvince == STRING
    input.Body.properties.forwardAddress.shippingAddress.country == STRING
    input.Body.properties.forwardAddress.shippingAddress.postalCode == STRING
    input.Body.properties.forwardAddress.shippingAddress.zipExtendedCode == STRING
    input.Body.properties.forwardAddress.shippingAddress.companyName == STRING
    input.Body.properties.forwardAddress.shippingAddress.addressType == enum_ShippingAddressAddressType[_]
    input.Body.properties.forwardAddress.contactDetails.contactName == STRING
    input.Body.properties.forwardAddress.contactDetails.phone == STRING
    input.Body.properties.forwardAddress.contactDetails.phoneExtension == STRING
    input.Body.properties.forwardAddress.contactDetails.mobile == STRING
    input.Body.properties.forwardAddress.contactDetails.emailList[_] == STRING
    input.Body.properties.preferences.notificationPreferences[_].stageName == enum_NotificationPreferenceStageName[_]
    input.Body.properties.preferences.notificationPreferences[_].sendNotification == BOOLEAN
    input.Body.properties.preferences.transportPreferences.preferredShipmentType == enum_TransportPreferencesPreferredShipmentType[_]
    input.Body.properties.preferences.encryptionPreferences.doubleEncryptionStatus == enum_EncryptionPreferencesDoubleEncryptionStatus[_]
    input.Body.properties.preferences.managementResourcePreferences.preferredManagementResourceId == STRING
    input.Body.properties.preferences.termCommitmentPreferences.preferredTermCommitmentType == enum_TermCommitmentType[_]
    input.Body.properties.preferences.termCommitmentPreferences.preferredTermCommitmentDuration == STRING
    input.Body.properties.notificationEmailList[_] == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.quantity == INTEGER
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.provisioningArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.provisioningEndPoint == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.serialNumber == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.vendorName == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.readyToConnectArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.managementResourceArmId == STRING
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.autoProvisioningStatus == enum_AutoProvisioningStatus[_]
    input.Body.properties.orderItemDetails.productDetails.parentProvisioningDetails.devicePresenceVerification == {}
    input.Body.properties.orderItemDetails.siteDetails.siteId == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == STRING
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.orderItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Orders_Get

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

Orders_ListByResourceGroup

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

Orders_ListBySubscription

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

ProductsAndConfigurations_ListConfigurations

enum_ChildConfigurationFilterChildConfigurationTypes := [ "DeviceConfiguration", "AdditionalConfiguration" ]
enum_FilterablePropertyType := [ "ShipToCountries", "DoubleEncryptionStatus" ]

valid {
    input.Body.configurationFilter.hierarchyInformation.productFamilyName == STRING
    input.Body.configurationFilter.hierarchyInformation.productLineName == STRING
    input.Body.configurationFilter.hierarchyInformation.productName == STRING
    input.Body.configurationFilter.hierarchyInformation.configurationName == STRING
    input.Body.configurationFilter.hierarchyInformation.configurationIdDisplayName == STRING
    input.Body.configurationFilter.filterableProperty[_].type == enum_FilterablePropertyType[_]
    input.Body.configurationFilter.filterableProperty[_].supportedValues[_] == STRING
    input.Body.configurationFilter.childConfigurationFilter.hierarchyInformations[_].productFamilyName == STRING
    input.Body.configurationFilter.childConfigurationFilter.hierarchyInformations[_].productLineName == STRING
    input.Body.configurationFilter.childConfigurationFilter.hierarchyInformations[_].productName == STRING
    input.Body.configurationFilter.childConfigurationFilter.hierarchyInformations[_].configurationName == STRING
    input.Body.configurationFilter.childConfigurationFilter.hierarchyInformations[_].configurationIdDisplayName == STRING
    input.Body.configurationFilter.childConfigurationFilter.childConfigurationTypes[_] == enum_ChildConfigurationFilterChildConfigurationTypes[_]
    input.Body.customerSubscriptionDetails.registeredFeatures[_].name == STRING
    input.Body.customerSubscriptionDetails.registeredFeatures[_].state == STRING
    input.Body.customerSubscriptionDetails.locationPlacementId == STRING
    input.Body.customerSubscriptionDetails.quotaId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ProductsAndConfigurations_ListProductFamilies

enum_FilterablePropertyType := [ "ShipToCountries", "DoubleEncryptionStatus" ]

valid {
    input.Body.filterableProperties.STRING[_].type == enum_FilterablePropertyType[_]
    input.Body.filterableProperties.STRING[_].supportedValues[_] == STRING
    input.Body.customerSubscriptionDetails.registeredFeatures[_].name == STRING
    input.Body.customerSubscriptionDetails.registeredFeatures[_].state == STRING
    input.Body.customerSubscriptionDetails.locationPlacementId == STRING
    input.Body.customerSubscriptionDetails.quotaId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ProductsAndConfigurations_ListProductFamiliesMetadata

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