BatchGetInvoiceProfile

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

CreateInvoiceUnit

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
}

DeleteInvoiceUnit

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

GetInvoiceUnit

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

ListInvoiceUnits

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
}

ListTagsForResource

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

TagResource

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
}

UntagResource

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

UpdateInvoiceUnit

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
}