CompleteAttachmentUpload

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

CreateParticipantConnection

enum_ConnectionType := [ "WEBSOCKET", "CONNECTION_CREDENTIALS" ]

valid {
    input.Body.Type[_] == enum_ConnectionType[_]
    input.Body.ConnectParticipant == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeView

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

DisconnectParticipant

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

GetAttachment

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

GetTranscript

enum_ScanDirection := [ "FORWARD", "BACKWARD" ]
enum_SortKey := [ "DESCENDING", "ASCENDING" ]

valid {
    input.Body.ContactId == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.ScanDirection == enum_ScanDirection[_]
    input.Body.SortOrder == enum_SortKey[_]
    input.Body.StartPosition.Id == STRING
    input.Body.StartPosition.AbsoluteTime == STRING
    input.Body.StartPosition.MostRecent == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

SendEvent

valid {
    input.Body.ContentType == STRING
    input.Body.Content == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

SendMessage

valid {
    input.Body.ContentType == STRING
    input.Body.Content == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartAttachmentUpload

valid {
    input.Body.ContentType == STRING
    input.Body.AttachmentSizeInBytes == LONG
    input.Body.AttachmentName == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}