DescribeServices

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
}

GetAttributeValues

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
}

GetPriceListFileUrl

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

GetProducts

enum_FilterType := [ "TERM_MATCH" ]

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
}

ListPriceLists

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
}