MICROSOFT.BILLING

Activate_Promotion

valid {
    input.Body.sku.name == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.appliedScopes[_] == STRING
    input.Body.properties.orderId == STRING
    input.ReqMap.promotionId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Address_Validate

valid {
    input.Body.firstName == STRING
    input.Body.middleName == STRING
    input.Body.lastName == STRING
    input.Body.companyName == STRING
    input.Body.addressLine1 == STRING
    input.Body.addressLine2 == STRING
    input.Body.addressLine3 == STRING
    input.Body.city == STRING
    input.Body.district == STRING
    input.Body.region == STRING
    input.Body.country == STRING
    input.Body.postalCode == STRING
    input.Body.email == STRING
    input.Body.phoneNumber == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Agreements_Get

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

Agreements_ListByBillingAccount

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

AvailableBalances_Get

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

BillingAccounts_Get

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

BillingAccounts_List

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

BillingAccounts_ListInvoiceSectionsByCreateSubscriptionPermission

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

BillingAccounts_Update

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.soldTo.firstName == STRING
    input.Body.properties.soldTo.middleName == STRING
    input.Body.properties.soldTo.lastName == STRING
    input.Body.properties.soldTo.companyName == STRING
    input.Body.properties.soldTo.addressLine1 == STRING
    input.Body.properties.soldTo.addressLine2 == STRING
    input.Body.properties.soldTo.addressLine3 == STRING
    input.Body.properties.soldTo.city == STRING
    input.Body.properties.soldTo.district == STRING
    input.Body.properties.soldTo.region == STRING
    input.Body.properties.soldTo.country == STRING
    input.Body.properties.soldTo.postalCode == STRING
    input.Body.properties.soldTo.email == STRING
    input.Body.properties.soldTo.phoneNumber == STRING
    input.Body.properties.billingProfiles.value[_].properties.displayName == STRING
    input.Body.properties.billingProfiles.value[_].properties.poNumber == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.firstName == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.middleName == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.lastName == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.companyName == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.addressLine1 == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.addressLine2 == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.addressLine3 == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.city == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.district == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.region == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.country == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.postalCode == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.email == STRING
    input.Body.properties.billingProfiles.value[_].properties.billTo.phoneNumber == STRING
    input.Body.properties.billingProfiles.value[_].properties.invoiceEmailOptIn == BOOLEAN
    input.Body.properties.billingProfiles.value[_].properties.enabledAzurePlans[_].skuId == STRING
    input.Body.properties.billingProfiles.value[_].properties.invoiceSections.value[_].properties.displayName == STRING
    input.Body.properties.billingProfiles.value[_].properties.invoiceSections.value[_].properties.labels.STRING == STRING
    input.Body.properties.billingProfiles.value[_].properties.invoiceSections.value[_].properties.tags.STRING == STRING
    input.Body.properties.billingProfiles.value[_].properties.tags.STRING == STRING
    input.Body.properties.departments[_].properties.departmentName == STRING
    input.Body.properties.departments[_].properties.costCenter == STRING
    input.Body.properties.departments[_].properties.status == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.accountName == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.costCenter == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.accountOwner == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.accountOwnerEmail == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.status == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.startDate == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.endDate == STRING
    input.Body.properties.departments[_].properties.enrollmentAccounts[_].properties.department == NESTED
    input.Body.properties.enrollmentAccounts[_].properties.accountName == STRING
    input.Body.properties.enrollmentAccounts[_].properties.costCenter == STRING
    input.Body.properties.enrollmentAccounts[_].properties.accountOwner == STRING
    input.Body.properties.enrollmentAccounts[_].properties.accountOwnerEmail == STRING
    input.Body.properties.enrollmentAccounts[_].properties.status == STRING
    input.Body.properties.enrollmentAccounts[_].properties.startDate == STRING
    input.Body.properties.enrollmentAccounts[_].properties.endDate == STRING
    input.Body.properties.enrollmentAccounts[_].properties.department.properties.departmentName == STRING
    input.Body.properties.enrollmentAccounts[_].properties.department.properties.costCenter == STRING
    input.Body.properties.enrollmentAccounts[_].properties.department.properties.status == STRING
    input.Body.properties.enrollmentAccounts[_].properties.department.properties.enrollmentAccounts[_] == NESTED
    input.Body.properties.notificationEmailAddress == STRING
    input.ReqMap.billingAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingPeriods_Get

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

BillingPeriods_List

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
}

BillingPermissions_ListByBillingAccount

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

BillingPermissions_ListByBillingProfile

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

BillingPermissions_ListByCustomer

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

BillingPermissions_ListByCustomers

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

BillingPermissions_ListByDepartment

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

BillingPermissions_ListByEnrollmentAccount

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

BillingPermissions_ListByInvoiceSections

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingProfiles_Create

valid {
    input.Body.displayName == STRING
    input.Body.poNumber == STRING
    input.Body.address.firstName == STRING
    input.Body.address.lastName == STRING
    input.Body.address.companyName == STRING
    input.Body.address.addressLine1 == STRING
    input.Body.address.addressLine2 == STRING
    input.Body.address.addressLine3 == STRING
    input.Body.address.city == STRING
    input.Body.address.region == STRING
    input.Body.address.country == STRING
    input.Body.address.postalCode == STRING
    input.Body.invoiceEmailOptIn == BOOLEAN
    input.Body.enabledAzurePlans[_].skuId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingProfiles_CreateOrUpdate

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.poNumber == STRING
    input.Body.properties.billTo.firstName == STRING
    input.Body.properties.billTo.middleName == STRING
    input.Body.properties.billTo.lastName == STRING
    input.Body.properties.billTo.companyName == STRING
    input.Body.properties.billTo.addressLine1 == STRING
    input.Body.properties.billTo.addressLine2 == STRING
    input.Body.properties.billTo.addressLine3 == STRING
    input.Body.properties.billTo.city == STRING
    input.Body.properties.billTo.district == STRING
    input.Body.properties.billTo.region == STRING
    input.Body.properties.billTo.country == STRING
    input.Body.properties.billTo.postalCode == STRING
    input.Body.properties.billTo.email == STRING
    input.Body.properties.billTo.phoneNumber == STRING
    input.Body.properties.invoiceEmailOptIn == BOOLEAN
    input.Body.properties.enabledAzurePlans[_].skuId == STRING
    input.Body.properties.invoiceSections.value[_].properties.displayName == STRING
    input.Body.properties.invoiceSections.value[_].properties.labels.STRING == STRING
    input.Body.properties.invoiceSections.value[_].properties.tags.STRING == STRING
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingProfiles_Get

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

BillingProfiles_GetEligibilityToDetachPaymentMethod

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

BillingProfiles_ListByBillingAccount

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

BillingProfiles_Update

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.poNumber == STRING
    input.Body.properties.address.firstName == STRING
    input.Body.properties.address.lastName == STRING
    input.Body.properties.address.companyName == STRING
    input.Body.properties.address.addressLine1 == STRING
    input.Body.properties.address.addressLine2 == STRING
    input.Body.properties.address.addressLine3 == STRING
    input.Body.properties.address.city == STRING
    input.Body.properties.address.region == STRING
    input.Body.properties.address.country == STRING
    input.Body.properties.address.postalCode == STRING
    input.Body.properties.invoiceEmailOptIn == BOOLEAN
    input.Body.properties.enabledAzurePlans[_].skuId == STRING
    input.Body.properties.invoiceSections[_].properties.displayName == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingProperty_Get

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

BillingProperty_Update

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

BillingRoleAssignments_AddByBillingAccount

valid {
    input.Body.principalId == STRING
    input.Body.billingRoleDefinitionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_AddByBillingAccountName

valid {
    input.Body.principalId == STRING
    input.Body.billingRoleDefinitionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_AddByBillingProfile

valid {
    input.Body.principalId == STRING
    input.Body.billingRoleDefinitionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_AddByBillingProfileName

valid {
    input.Body.principalId == STRING
    input.Body.billingRoleDefinitionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_AddByInvoiceSection

valid {
    input.Body.principalId == STRING
    input.Body.billingRoleDefinitionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_AddByInvoiceSectionName

valid {
    input.Body.principalId == STRING
    input.Body.billingRoleDefinitionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_DeleteByBillingAccount

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

BillingRoleAssignments_DeleteByBillingAccountName

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

BillingRoleAssignments_DeleteByBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_DeleteByBillingProfileName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_DeleteByDepartment

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.departmentName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_DeleteByEnrollmentAccount

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.enrollmentAccountName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_DeleteByInvoiceSection

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_DeleteByInvoiceSectionName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_GetByBillingAccount

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

BillingRoleAssignments_GetByBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_GetByBillingProfileName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_GetByDepartment

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.departmentName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_GetByEnrollmentAccount

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.enrollmentAccountName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_GetByInvoiceSection

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_GetByInvoiceSectionName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_ListByBillingAccount

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

BillingRoleAssignments_ListByBillingAccountName

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

BillingRoleAssignments_ListByBillingProfile

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

BillingRoleAssignments_ListByBillingProfileName

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

BillingRoleAssignments_ListByDepartment

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

BillingRoleAssignments_ListByEnrollmentAccount

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

BillingRoleAssignments_ListByInvoiceSection

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleAssignments_ListByInvoiceSectionName

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

BillingRoleDefinitions_GetByBillingAccount

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

BillingRoleDefinitions_GetByBillingAccountName

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

BillingRoleDefinitions_GetByBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.billingRoleDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleDefinitions_GetByBillingProfileName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.billingRoleDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleDefinitions_GetByDepartment

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.departmentName == STRING
    input.ReqMap.billingRoleDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleDefinitions_GetByEnrollmentAccount

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.enrollmentAccountName == STRING
    input.ReqMap.billingRoleDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleDefinitions_GetByInvoiceSection

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingRoleDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleDefinitions_GetByInvoiceSectionName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingRoleDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleDefinitions_ListByBillingAccount

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

BillingRoleDefinitions_ListByBillingAccountName

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

BillingRoleDefinitions_ListByBillingProfile

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

BillingRoleDefinitions_ListByBillingProfileName

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

BillingRoleDefinitions_ListByDepartment

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

BillingRoleDefinitions_ListByEnrollmentAccount

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

BillingRoleDefinitions_ListByInvoiceSection

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingRoleDefinitions_ListByInvoiceSectionName

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

BillingSubscriptionsAliases_CreateOrUpdate

enum_BillingSubscriptionPropertiesAutoRenew := [ "Off", "On" ]

valid {
    input.Body.properties.autoRenew == enum_BillingSubscriptionPropertiesAutoRenew[_]
    input.Body.properties.beneficiaryTenantId == STRING
    input.Body.properties.billingFrequency == STRING
    input.Body.properties.billingProfileId == STRING
    input.Body.properties.consumptionCostCenter == STRING
    input.Body.properties.customerId == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.invoiceSectionId == STRING
    input.Body.properties.productTypeId == STRING
    input.Body.properties.quantity == INTEGER
    input.Body.properties.skuId == STRING
    input.Body.properties.termDuration == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.aliasName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptionsAliases_Get

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

BillingSubscriptionsAliases_ListByBillingAccount

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

BillingSubscriptions_Delete

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

BillingSubscriptions_Get

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

BillingSubscriptions_GetByCustomer

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.customerName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_ListByBillingAccount

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

BillingSubscriptions_ListByBillingProfile

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

BillingSubscriptions_ListByCustomer

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

BillingSubscriptions_ListByInvoiceSection

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_ListByInvoiceSectionName

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

BillingSubscriptions_Merge

valid {
    input.Body.targetBillingSubscriptionName == STRING
    input.Body.quantity == INTEGER
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_Move

valid {
    input.Body.destinationEnrollmentAccountId == STRING
    input.Body.destinationInvoiceSectionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_Split

valid {
    input.Body.billingFrequency == STRING
    input.Body.quantity == INTEGER
    input.Body.targetProductTypeId == STRING
    input.Body.targetSkuId == STRING
    input.Body.termDuration == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_Transfer

valid {
    input.Body.destinationInvoiceSectionId == STRING
    input.Body.destinationBillingProfileId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_Update

enum_BillingSubscriptionPropertiesAutoRenew := [ "Off", "On" ]

valid {
    input.Body.properties.autoRenew == enum_BillingSubscriptionPropertiesAutoRenew[_]
    input.Body.properties.beneficiaryTenantId == STRING
    input.Body.properties.billingFrequency == STRING
    input.Body.properties.billingProfileId == STRING
    input.Body.properties.consumptionCostCenter == STRING
    input.Body.properties.customerId == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.invoiceSectionId == STRING
    input.Body.properties.productTypeId == STRING
    input.Body.properties.quantity == INTEGER
    input.Body.properties.skuId == STRING
    input.Body.properties.termDuration == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_ValidateMove

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

BillingSubscriptions_ValidateMoveEligibility

valid {
    input.Body.destinationEnrollmentAccountId == STRING
    input.Body.destinationInvoiceSectionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BillingSubscriptions_ValidateTransfer

valid {
    input.Body.destinationInvoiceSectionId == STRING
    input.Body.destinationBillingProfileId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.billingSubscriptionName == STRING
    input.ProviderMetadata.Region == STRING
}

Customers_Get

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

Customers_ListByBillingAccount

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

Customers_ListByBillingProfile

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

Departments_Get

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

Departments_ListByBillingAccountName

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

EnrollmentAccountRoleAssignments_Put

valid {
    input.Body.properties.principalId == STRING
    input.Body.properties.principalTenantId == STRING
    input.Body.properties.roleDefinitionId == STRING
    input.Body.properties.userEmailAddress == STRING
    input.Body.properties.userAuthenticationType == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.enrollmentAccountName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

EnrollmentAccounts_Get

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

EnrollmentAccounts_GetByEnrollmentAccountId

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

EnrollmentAccounts_List

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

EnrollmentAccounts_ListByBillingAccountName

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

EnrollmentDepartmentRoleAssignments_Put

valid {
    input.Body.properties.principalId == STRING
    input.Body.properties.principalTenantId == STRING
    input.Body.properties.roleDefinitionId == STRING
    input.Body.properties.userEmailAddress == STRING
    input.Body.properties.userAuthenticationType == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.departmentName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Instructions_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.instructionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Instructions_ListByBillingProfile

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

Instructions_Put

valid {
    input.Body.properties.amount == NUMBER
    input.Body.properties.startDate == STRING
    input.Body.properties.endDate == STRING
    input.Body.properties.creationDate == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.instructionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

InvoiceSections_Create

valid {
    input.Body.displayName == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

InvoiceSections_CreateOrUpdate

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.labels.STRING == STRING
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

InvoiceSections_ElevateToBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ProviderMetadata.Region == STRING
}

InvoiceSections_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

InvoiceSections_ListByBillingAccountName

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

InvoiceSections_ListByBillingProfile

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

InvoiceSections_ListByCreateSubscriptionPermission

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

InvoiceSections_Update

valid {
    input.Body.properties.displayName == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Invoices_DownloadBillingSubscriptionInvoice

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

Invoices_DownloadInvoice

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.invoiceName == STRING
    input.Qs.api-version == STRING
    input.Qs.downloadToken == STRING
    input.ProviderMetadata.Region == STRING
}

Invoices_DownloadMultipleBillingProfileInvoices

valid {
    input.Body[_] == STRING
    input.ReqMap.billingAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Invoices_DownloadMultipleBillingSubscriptionInvoices

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

Invoices_Get

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

Invoices_GetById

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

Invoices_GetBySubscriptionAndInvoiceId

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

Invoices_GetLatest

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

Invoices_List

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

Invoices_ListByBillingAccount

valid {
    input.ReqMap.billingAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.periodStartDate == STRING
    input.Qs.periodEndDate == STRING
    input.ProviderMetadata.Region == STRING
}

Invoices_ListByBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.Qs.periodStartDate == STRING
    input.Qs.periodEndDate == STRING
    input.ProviderMetadata.Region == STRING
}

Invoices_ListByBillingSubscription

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

LineOfCredits_Get

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

LineOfCredits_Update

enum_LineOfCreditPropertiesStatus := [ "Approved", "Rejected" ]

valid {
    input.Body.properties.creditLimit.value == NUMBER
    input.Body.properties.status == enum_LineOfCreditPropertiesStatus[_]
    input.ReqMap.SubscriptionID == 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
}

PartnerTransfers_Cancel

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.customerName == STRING
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

PartnerTransfers_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.customerName == STRING
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

PartnerTransfers_Initiate

valid {
    input.Body.properties.recipientEmailId == STRING
    input.Body.properties.resellerId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.customerName == STRING
    input.ProviderMetadata.Region == STRING
}

PartnerTransfers_List

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.customerName == STRING
    input.ProviderMetadata.Region == STRING
}

PaymentMethods_DeleteAtBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.paymentMethodName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

PaymentMethods_DeleteByUser

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

PaymentMethods_GetByBillingAccount

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

PaymentMethods_GetByBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.paymentMethodName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

PaymentMethods_GetByUser

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

PaymentMethods_ListByBillingAccount

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

PaymentMethods_ListByBillingProfile

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

PaymentMethods_ListByUser

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

Policies_GetByBillingProfile

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

Policies_GetByCustomer

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

Policies_Update

enum_PolicyPropertiesMarketplacePurchases := [ "AllAllowed", "OnlyFreeAllowed", "NotAllowed" ]
enum_PolicyPropertiesReservationPurchases := [ "Allowed", "NotAllowed" ]
enum_PolicyPropertiesViewCharges := [ "Allowed", "NotAllowed" ]

valid {
    input.Body.properties.marketplacePurchases == enum_PolicyPropertiesMarketplacePurchases[_]
    input.Body.properties.reservationPurchases == enum_PolicyPropertiesReservationPurchases[_]
    input.Body.properties.viewCharges == enum_PolicyPropertiesViewCharges[_]
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Policies_UpdateCustomer

enum_CustomerPolicyPropertiesViewCharges := [ "Allowed", "NotAllowed" ]

valid {
    input.Body.properties.viewCharges == enum_CustomerPolicyPropertiesViewCharges[_]
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.customerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

PriceSheet_Download

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

PriceSheet_DownloadByBillingProfile

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

Products_Get

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

Products_GetByCustomer

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.customerName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_ListByBillingAccount

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

Products_ListByBillingProfile

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

Products_ListByCustomer

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

Products_ListByInvoiceSection

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

Products_ListByInvoiceSectionName

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

Products_Move

valid {
    input.Body.destinationInvoiceSectionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_Transfer

valid {
    input.Body.destinationInvoiceSectionId == STRING
    input.Body.destinationBillingProfileId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_Update

enum_ProductPropertiesAutoRenew := [ "Off", "On" ]
enum_ProductPropertiesBillingFrequency := [ "OneTime", "Monthly", "UsageBased" ]
enum_ProductPropertiesStatus := [ "Active", "Inactive", "PastDue", "Expiring", "Expired", "Disabled", "Cancelled", "AutoRenew" ]

valid {
    input.Body.properties.autoRenew == enum_ProductPropertiesAutoRenew[_]
    input.Body.properties.status == enum_ProductPropertiesStatus[_]
    input.Body.properties.billingFrequency == enum_ProductPropertiesBillingFrequency[_]
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_UpdateAutoRenewByBillingAccountName

enum_UpdateAutoRenewRequestAutoRenew := [ "true", "false" ]

valid {
    input.Body.autoRenew == enum_UpdateAutoRenewRequestAutoRenew[_]
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_UpdateAutoRenewByInvoiceSection

enum_UpdateAutoRenewRequestAutoRenew := [ "true", "false" ]

valid {
    input.Body.autoRenew == enum_UpdateAutoRenewRequestAutoRenew[_]
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_UpdateAutoRenewByInvoiceSectionName

enum_UpdateAutoRenewRequestAutoRenew := [ "true", "false" ]

valid {
    input.Body.autoRenew == enum_UpdateAutoRenewRequestAutoRenew[_]
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_ValidateMove

valid {
    input.Body.destinationInvoiceSectionId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Products_ValidateTransfer

valid {
    input.Body.destinationInvoiceSectionId == STRING
    input.Body.destinationBillingProfileId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.productName == STRING
    input.ProviderMetadata.Region == STRING
}

Promotion_CheckEligibility

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

Promotion_Get

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

Promotions_List

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

RecipientTransfers_Accept

enum_ProductType := [ "AzureSubscription", "AzureReservation" ]

valid {
    input.Body.properties.productDetails[_].productType == enum_ProductType[_]
    input.Body.properties.productDetails[_].productId == STRING
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

RecipientTransfers_Decline

valid {
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

RecipientTransfers_Get

valid {
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

RecipientTransfers_List

valid {
    input.ProviderMetadata.Region == STRING
}

RecipientTransfers_Validate

enum_ProductType := [ "AzureSubscription", "AzureReservation" ]

valid {
    input.Body.properties.productDetails[_].productType == enum_ProductType[_]
    input.Body.properties.productDetails[_].productId == STRING
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

Reservations_ListByBillingAccount

valid {
    input.ReqMap.billingAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$orderby == STRING
    input.Qs.refreshSummary == STRING
    input.Qs.selectedState == STRING
    input.ProviderMetadata.Region == STRING
}

Reservations_ListByBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$orderby == STRING
    input.Qs.refreshSummary == STRING
    input.Qs.selectedState == STRING
    input.ProviderMetadata.Region == STRING
}

RoleAssignments_Put

valid {
    input.Body.properties.principalId == STRING
    input.Body.properties.principalTenantId == STRING
    input.Body.properties.roleDefinitionId == STRING
    input.Body.properties.userEmailAddress == STRING
    input.Body.properties.userAuthenticationType == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingRoleAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Transactions_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.transactionName == STRING
    input.Qs.periodStartDate == STRING
    input.Qs.periodEndDate == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Transactions_ListByBillingAccount

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

Transactions_ListByBillingAccountName

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

Transactions_ListByBillingProfile

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.Qs.periodStartDate == STRING
    input.Qs.periodEndDate == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

Transactions_ListByBillingProfileName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.Qs.api-version == STRING
    input.Qs.startDate == STRING
    input.Qs.endDate == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

Transactions_ListByCustomer

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.customerName == STRING
    input.Qs.api-version == STRING
    input.Qs.periodStartDate == STRING
    input.Qs.periodEndDate == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

Transactions_ListByCustomerName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.customerName == STRING
    input.Qs.api-version == STRING
    input.Qs.startDate == STRING
    input.Qs.endDate == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

Transactions_ListByInvoice

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

Transactions_ListByInvoiceSection

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.Qs.periodStartDate == STRING
    input.Qs.periodEndDate == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

Transactions_ListByInvoiceSectionName

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.Qs.api-version == STRING
    input.Qs.startDate == STRING
    input.Qs.endDate == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

Transfers_Cancel

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

Transfers_Get

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ReqMap.transferName == STRING
    input.ProviderMetadata.Region == STRING
}

Transfers_Initiate

valid {
    input.Body.properties.recipientEmailId == STRING
    input.Body.properties.resellerId == STRING
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ProviderMetadata.Region == STRING
}

Transfers_List

valid {
    input.ReqMap.billingAccountName == STRING
    input.ReqMap.billingProfileName == STRING
    input.ReqMap.invoiceSectionName == STRING
    input.ProviderMetadata.Region == STRING
}