Offers_GenerateAccessToken

valid {
    input.Body.publisherName == STRING
    input.Body.edgeMarketPlaceRegion == STRING
    input.Body.egeMarketPlaceResourceId == STRING
    input.Body.hypervGeneration == STRING
    input.Body.marketPlaceSku == STRING
    input.Body.marketPlaceSkuVersion == STRING
    input.Body.deviceSku == STRING
    input.Body.deviceVersion == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.offerId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Offers_Get

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

Offers_GetAccessToken

valid {
    input.Body.requestId == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.offerId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Offers_List

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

Offers_ListBySubscription

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

Operations_List

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

Publishers_Get

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

Publishers_List

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

Publishers_ListBySubscription

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