AssociateToConfiguration

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

CreateChimeWebhookConfiguration

valid {
    input.Body.WebhookDescription == STRING
    input.Body.WebhookUrl == STRING
    input.Body.SnsTopicArns[_] == STRING
    input.Body.IamRoleArn == STRING
    input.Body.ConfigurationName == STRING
    input.Body.LoggingLevel == STRING
    input.Body.Tags[_].TagKey == STRING
    input.Body.Tags[_].TagValue == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateCustomAction

enum_CustomActionAttachmentCriteriaOperator := [ "HAS_VALUE", "EQUALS" ]

valid {
    input.Body.Definition.CommandText == STRING
    input.Body.AliasName == STRING
    input.Body.Attachments[_].NotificationType == STRING
    input.Body.Attachments[_].ButtonText == STRING
    input.Body.Attachments[_].Criteria[_].Operator == enum_CustomActionAttachmentCriteriaOperator[_]
    input.Body.Attachments[_].Criteria[_].VariableName == STRING
    input.Body.Attachments[_].Criteria[_].Value == STRING
    input.Body.Attachments[_].Variables.STRING == STRING
    input.Body.Tags[_].TagKey == STRING
    input.Body.Tags[_].TagValue == STRING
    input.Body.ClientToken == STRING
    input.Body.ActionName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateMicrosoftTeamsChannelConfiguration

valid {
    input.Body.ChannelId == STRING
    input.Body.ChannelName == STRING
    input.Body.TeamId == STRING
    input.Body.TeamName == STRING
    input.Body.TenantId == STRING
    input.Body.SnsTopicArns[_] == STRING
    input.Body.IamRoleArn == STRING
    input.Body.ConfigurationName == STRING
    input.Body.LoggingLevel == STRING
    input.Body.GuardrailPolicyArns[_] == STRING
    input.Body.UserAuthorizationRequired == BOOLEAN
    input.Body.Tags[_].TagKey == STRING
    input.Body.Tags[_].TagValue == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSlackChannelConfiguration

valid {
    input.Body.SlackTeamId == STRING
    input.Body.SlackChannelId == STRING
    input.Body.SlackChannelName == STRING
    input.Body.SnsTopicArns[_] == STRING
    input.Body.IamRoleArn == STRING
    input.Body.ConfigurationName == STRING
    input.Body.LoggingLevel == STRING
    input.Body.GuardrailPolicyArns[_] == STRING
    input.Body.UserAuthorizationRequired == BOOLEAN
    input.Body.Tags[_].TagKey == STRING
    input.Body.Tags[_].TagValue == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteChimeWebhookConfiguration

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

DeleteCustomAction

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

DeleteMicrosoftTeamsChannelConfiguration

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

DeleteMicrosoftTeamsConfiguredTeam

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

DeleteMicrosoftTeamsUserIdentity

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

DeleteSlackChannelConfiguration

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

DeleteSlackUserIdentity

valid {
    input.Body.ChatConfigurationArn == STRING
    input.Body.SlackTeamId == STRING
    input.Body.SlackUserId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteSlackWorkspaceAuthorization

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

DescribeChimeWebhookConfigurations

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.ChatConfigurationArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeSlackChannelConfigurations

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.ChatConfigurationArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeSlackUserIdentities

valid {
    input.Body.ChatConfigurationArn == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeSlackWorkspaces

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisassociateFromConfiguration

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

GetAccountPreferences

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

GetCustomAction

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

GetMicrosoftTeamsChannelConfiguration

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

ListAssociations

valid {
    input.Body.ChatConfiguration == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListCustomActions

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListMicrosoftTeamsChannelConfigurations

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.TeamId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListMicrosoftTeamsConfiguredTeams

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListMicrosoftTeamsUserIdentities

valid {
    input.Body.ChatConfigurationArn == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    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.Tags[_].TagKey == STRING
    input.Body.Tags[_].TagValue == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

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

UpdateAccountPreferences

valid {
    input.Body.UserAuthorizationRequired == BOOLEAN
    input.Body.TrainingDataCollectionEnabled == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateChimeWebhookConfiguration

valid {
    input.Body.ChatConfigurationArn == STRING
    input.Body.WebhookDescription == STRING
    input.Body.WebhookUrl == STRING
    input.Body.SnsTopicArns[_] == STRING
    input.Body.IamRoleArn == STRING
    input.Body.LoggingLevel == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateCustomAction

enum_CustomActionAttachmentCriteriaOperator := [ "HAS_VALUE", "EQUALS" ]

valid {
    input.Body.CustomActionArn == STRING
    input.Body.Definition.CommandText == STRING
    input.Body.AliasName == STRING
    input.Body.Attachments[_].NotificationType == STRING
    input.Body.Attachments[_].ButtonText == STRING
    input.Body.Attachments[_].Criteria[_].Operator == enum_CustomActionAttachmentCriteriaOperator[_]
    input.Body.Attachments[_].Criteria[_].VariableName == STRING
    input.Body.Attachments[_].Criteria[_].Value == STRING
    input.Body.Attachments[_].Variables.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateMicrosoftTeamsChannelConfiguration

valid {
    input.Body.ChatConfigurationArn == STRING
    input.Body.ChannelId == STRING
    input.Body.ChannelName == STRING
    input.Body.SnsTopicArns[_] == STRING
    input.Body.IamRoleArn == STRING
    input.Body.LoggingLevel == STRING
    input.Body.GuardrailPolicyArns[_] == STRING
    input.Body.UserAuthorizationRequired == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSlackChannelConfiguration

valid {
    input.Body.ChatConfigurationArn == STRING
    input.Body.SlackChannelId == STRING
    input.Body.SlackChannelName == STRING
    input.Body.SnsTopicArns[_] == STRING
    input.Body.IamRoleArn == STRING
    input.Body.LoggingLevel == STRING
    input.Body.GuardrailPolicyArns[_] == STRING
    input.Body.UserAuthorizationRequired == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}