DelegatedProviderOffers_Get

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

DelegatedProviderOffers_List

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

Offers_List

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

Subscriptions_CreateOrUpdate

enum_SubscriptionState := [ "NotDefined", "Enabled", "Warned", "PastDue", "Disabled", "Deleted" ]

valid {
    input.Body.displayName == STRING
    input.Body.id == STRING
    input.Body.offerId == STRING
    input.Body.state == enum_SubscriptionState[_]
    input.Body.subscriptionId == STRING
    input.Body.tenantId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Subscriptions_Delete

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