valid {
    input.Body.ServiceCode == STRING
    input.Body.FormatVersion == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ServiceCode == STRING
    input.Body.AttributeName == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.PriceListArn == STRING
    input.Body.FileFormat == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_FilterType := [ "TERM_MATCH", "EQUALS", "CONTAINS", "ANY_OF", "NONE_OF" ]

valid {
    input.Body.ServiceCode == STRING
    input.Body.Filters[_].Type == enum_FilterType[_]
    input.Body.Filters[_].Field == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.FormatVersion == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ServiceCode == STRING
    input.Body.EffectiveDate == TIMESTAMP
    input.Body.RegionCode == STRING
    input.Body.CurrencyCode == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}