valid {
    input.ReqMap.FontStack == STRING
    input.ReqMap.FontUnicodeRange == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ColorScheme := [ "Light", "Dark" ]
enum_MapStyle := [ "Standard", "Monochrome", "Hybrid", "Satellite" ]
enum_Variant := [ "Default" ]

valid {
    input.ReqMap.FileName == STRING
    input.ReqMap.Style == enum_MapStyle[_]
    input.ReqMap.ColorScheme == enum_ColorScheme[_]
    input.ReqMap.Variant == enum_Variant[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ScaleBarUnit := [ "Kilometers", "KilometersMiles", "Miles", "MilesKilometers" ]
enum_StaticMapStyle := [ "Satellite" ]

valid {
    input.ReqMap.FileName == STRING
    input.Qs.bounding-box == STRING
    input.Qs.bounded-positions == STRING
    input.Qs.center == STRING
    input.Qs.compact-overlay == STRING
    input.Qs.geojson-overlay == STRING
    input.Qs.height == INTEGER
    input.Qs.key == STRING
    input.Qs.padding == INTEGER
    input.Qs.radius == LONG
    input.Qs.scale-unit == enum_ScaleBarUnit[_]
    input.Qs.style == enum_StaticMapStyle[_]
    input.Qs.width == INTEGER
    input.Qs.zoom == FLOAT
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ColorScheme := [ "Light", "Dark" ]
enum_MapStyle := [ "Standard", "Monochrome", "Hybrid", "Satellite" ]

valid {
    input.ReqMap.Style == enum_MapStyle[_]
    input.Qs.color-scheme == enum_ColorScheme[_]
    input.Qs.political-view == STRING
    input.Qs.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.Tileset == STRING
    input.ReqMap.Z == STRING
    input.ReqMap.X == STRING
    input.ReqMap.Y == STRING
    input.Qs.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}