MICROSOFT.SAAS

Applications_List

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
}

SaaSOperation_Get

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

SaaS_CreateResource

enum_SaasCreationPropertiesPaymentChannelType := [ "SubscriptionDelegated", "CustomerDelegated" ]

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.quantity == NUMBER
    input.Body.properties.skuId == STRING
    input.Body.properties.paymentChannelType == enum_SaasCreationPropertiesPaymentChannelType[_]
    input.Body.properties.paymentChannelMetadata.STRING == STRING
    input.Body.properties.saasResourceName == STRING
    input.Body.properties.termId == STRING
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.publisherTestEnvironment == STRING
    input.Body.properties.saasSubscriptionId == STRING
    input.Body.properties.saasSessionId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SaaS_Delete

valid {
    input.Body.unsubscribeOnly == BOOLEAN
    input.Body.reasonCode == NUMBER
    input.Body.feedback == STRING
    input.ReqMap.resourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SaaS_GetResource

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

SaaS_UpdateResource

enum_SaasCreationPropertiesPaymentChannelType := [ "SubscriptionDelegated", "CustomerDelegated" ]

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.quantity == NUMBER
    input.Body.properties.skuId == STRING
    input.Body.properties.paymentChannelType == enum_SaasCreationPropertiesPaymentChannelType[_]
    input.Body.properties.paymentChannelMetadata.STRING == STRING
    input.Body.properties.saasResourceName == STRING
    input.Body.properties.termId == STRING
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.publisherTestEnvironment == STRING
    input.Body.properties.saasSubscriptionId == STRING
    input.Body.properties.saasSessionId == STRING
    input.ReqMap.resourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

SaasResource-listAccessToken

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

SaasResources_List

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

SaasSubscriptionLevel_CreateOrUpdate

enum_SaasCreationPropertiesPaymentChannelType := [ "SubscriptionDelegated", "CustomerDelegated" ]

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.quantity == NUMBER
    input.Body.properties.skuId == STRING
    input.Body.properties.paymentChannelType == enum_SaasCreationPropertiesPaymentChannelType[_]
    input.Body.properties.paymentChannelMetadata.STRING == STRING
    input.Body.properties.saasResourceName == STRING
    input.Body.properties.termId == STRING
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.publisherTestEnvironment == STRING
    input.Body.properties.saasSubscriptionId == STRING
    input.Body.properties.saasSessionId == 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
}

SaasSubscriptionLevel_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
}

SaasSubscriptionLevel_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
}

SaasSubscriptionLevel_ListByAzureSubscription

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

SaasSubscriptionLevel_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
}

SaasSubscriptionLevel_Update

enum_SaasCreationPropertiesPaymentChannelType := [ "SubscriptionDelegated", "CustomerDelegated" ]

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.quantity == NUMBER
    input.Body.properties.skuId == STRING
    input.Body.properties.paymentChannelType == enum_SaasCreationPropertiesPaymentChannelType[_]
    input.Body.properties.paymentChannelMetadata.STRING == STRING
    input.Body.properties.saasResourceName == STRING
    input.Body.properties.termId == STRING
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.publisherTestEnvironment == STRING
    input.Body.properties.saasSubscriptionId == STRING
    input.Body.properties.saasSessionId == 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
}

SaasSubscriptionLevel_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
}

SaasSubscriptionLevel_listAccessToken

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
}

operations_List

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