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
}

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
}

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
}

GetAccountPreferences

valid {
    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
}

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
}

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
}