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

valid {
    input.Body.Name == STRING
    input.Body.InvoiceReceiver == STRING
    input.Body.Description == STRING
    input.Body.TaxInheritanceDisabled == BOOLEAN
    input.Body.Rule.LinkedAccounts[_] == STRING
    input.Body.ResourceTags[_].Key == STRING
    input.Body.ResourceTags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Body.InvoiceUnitArn == STRING
    input.Body.AsOf == TIMESTAMP
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ListInvoiceSummariesResourceType := [ "ACCOUNT_ID", "INVOICE_ID" ]

valid {
    input.Body.Selector.ResourceType == enum_ListInvoiceSummariesResourceType[_]
    input.Body.Selector.Value == STRING
    input.Body.Filter.TimeInterval.StartDate == TIMESTAMP
    input.Body.Filter.TimeInterval.EndDate == TIMESTAMP
    input.Body.Filter.BillingPeriod.Month == INTEGER
    input.Body.Filter.BillingPeriod.Year == INTEGER
    input.Body.Filter.InvoicingEntity == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Filters.Names[_] == STRING
    input.Body.Filters.InvoiceReceivers[_] == STRING
    input.Body.Filters.Accounts[_] == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.AsOf == TIMESTAMP
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.ResourceArn == STRING
    input.Body.ResourceTags[_].Key == STRING
    input.Body.ResourceTags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ResourceArn == STRING
    input.Body.ResourceTagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.InvoiceUnitArn == STRING
    input.Body.Description == STRING
    input.Body.TaxInheritanceDisabled == BOOLEAN
    input.Body.Rule.LinkedAccounts[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}