ProfessionalServiceOperation_Get

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

ProfessionalServiceSubscriptionLevel_CreateOrUpdate

valid {
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.properties.offerId == STRING
    input.Body.properties.publisherId == STRING
    input.Body.properties.skuId == STRING
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.quoteId == STRING
    input.Body.properties.storeFront == STRING
    input.Body.properties.termUnit == STRING
    input.Body.properties.billingPeriod == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProfessionalServiceSubscriptionLevel_Delete

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

ProfessionalServiceSubscriptionLevel_Get

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

ProfessionalServiceSubscriptionLevel_ListByAzureSubscription

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

ProfessionalServiceSubscriptionLevel_ListByResourceGroup

valid {
    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
}

ProfessionalServiceSubscriptionLevel_UpdateToUnsubscribed

valid {
    input.Body.unsubscribeOnly == BOOLEAN
    input.Body.reasonCode == NUMBER
    input.Body.feedback == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == 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
}