AddAttachmentsToSet

valid {
    input.Body.attachmentSetId == STRING
    input.Body.attachments[_].fileName == STRING
    input.Body.attachments[_].data == BLOB
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AddCommunicationToCase

valid {
    input.Body.caseId == STRING
    input.Body.communicationBody == STRING
    input.Body.ccEmailAddresses[_] == STRING
    input.Body.attachmentSetId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateCase

valid {
    input.Body.subject == STRING
    input.Body.serviceCode == STRING
    input.Body.severityCode == STRING
    input.Body.categoryCode == STRING
    input.Body.communicationBody == STRING
    input.Body.ccEmailAddresses[_] == STRING
    input.Body.language == STRING
    input.Body.issueType == STRING
    input.Body.attachmentSetId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeAttachment

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

DescribeCases

valid {
    input.Body.caseIdList[_] == STRING
    input.Body.displayId == STRING
    input.Body.afterTime == STRING
    input.Body.beforeTime == STRING
    input.Body.includeResolvedCases == BOOLEAN
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.language == STRING
    input.Body.includeCommunications == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeCommunications

valid {
    input.Body.caseId == STRING
    input.Body.beforeTime == STRING
    input.Body.afterTime == STRING
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeCreateCaseOptions

valid {
    input.Body.issueType == STRING
    input.Body.serviceCode == STRING
    input.Body.language == STRING
    input.Body.categoryCode == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeServices

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

DescribeSeverityLevels

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

DescribeSupportedLanguages

valid {
    input.Body.issueType == STRING
    input.Body.serviceCode == STRING
    input.Body.categoryCode == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeTrustedAdvisorCheckRefreshStatuses

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

DescribeTrustedAdvisorCheckResult

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

DescribeTrustedAdvisorCheckSummaries

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

DescribeTrustedAdvisorChecks

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

RefreshTrustedAdvisorCheck

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

ResolveCase

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