DescribeReportCreation

valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetComplianceSummary

enum_GroupByAttribute := [ "TARGET_ID", "REGION", "RESOURCE_TYPE" ]

valid {
    input.Body.TargetIdFilters[_] == STRING
    input.Body.RegionFilters[_] == STRING
    input.Body.ResourceTypeFilters[_] == STRING
    input.Body.TagKeyFilters[_] == STRING
    input.Body.GroupBy[_] == enum_GroupByAttribute[_]
    input.Body.MaxResults == INTEGER
    input.Body.PaginationToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetResources

valid {
    input.Body.PaginationToken == STRING
    input.Body.TagFilters[_].Key == STRING
    input.Body.TagFilters[_].Values[_] == STRING
    input.Body.ResourcesPerPage == INTEGER
    input.Body.TagsPerPage == INTEGER
    input.Body.ResourceTypeFilters[_] == STRING
    input.Body.IncludeComplianceDetails == BOOLEAN
    input.Body.ExcludeCompliantResources == BOOLEAN
    input.Body.ResourceARNList[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTagKeys

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

GetTagValues

valid {
    input.Body.PaginationToken == STRING
    input.Body.Key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartReportCreation

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

TagResources

valid {
    input.Body.ResourceARNList[_] == STRING
    input.Body.Tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResources

valid {
    input.Body.ResourceARNList[_] == STRING
    input.Body.TagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}