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

enum_OfferTypeParameter := [ "virtualmachine" ]

valid {
    input.Body.properties.publisher == STRING
    input.Body.properties.product == STRING
    input.Body.properties.plan == STRING
    input.Body.properties.licenseTextLink == STRING
    input.Body.properties.privacyPolicyLink == STRING
    input.Body.properties.marketplaceTermsLink == STRING
    input.Body.properties.retrieveDatetime == STRING
    input.Body.properties.signature == STRING
    input.Body.properties.accepted == BOOLEAN
    input.ReqMap.offerType == enum_OfferTypeParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.publisherId == STRING
    input.ReqMap.offerId == STRING
    input.ReqMap.planId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

enum_OfferTypeParameter := [ "virtualmachine" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.offerType == enum_OfferTypeParameter[_]
    input.ReqMap.publisherId == STRING
    input.ReqMap.offerId == STRING
    input.ReqMap.planId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

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

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

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

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