REPOSTSPACE

BatchAddChannelRoleToAccessors

enum_ChannelRole := [ "ASKER", "EXPERT", "MODERATOR", "SUPPORTREQUESTOR" ]

valid {
    input.Body.accessorIds[_] == STRING
    input.Body.channelRole == enum_ChannelRole[_]
    input.ReqMap.spaceId == STRING
    input.ReqMap.channelId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

BatchAddRole

enum_Role := [ "EXPERT", "MODERATOR", "ADMINISTRATOR", "SUPPORTREQUESTOR" ]

valid {
    input.Body.accessorIds[_] == STRING
    input.Body.role == enum_Role[_]
    input.ReqMap.spaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

BatchRemoveChannelRoleFromAccessors

enum_ChannelRole := [ "ASKER", "EXPERT", "MODERATOR", "SUPPORTREQUESTOR" ]

valid {
    input.Body.accessorIds[_] == STRING
    input.Body.channelRole == enum_ChannelRole[_]
    input.ReqMap.spaceId == STRING
    input.ReqMap.channelId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

BatchRemoveRole

enum_Role := [ "EXPERT", "MODERATOR", "ADMINISTRATOR", "SUPPORTREQUESTOR" ]

valid {
    input.Body.accessorIds[_] == STRING
    input.Body.role == enum_Role[_]
    input.ReqMap.spaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateChannel

valid {
    input.Body.channelName == STRING
    input.Body.channelDescription == STRING
    input.ReqMap.spaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSpace

enum_FeatureEnableParameter := [ "ENABLED", "DISABLED" ]
enum_TierLevel := [ "BASIC", "STANDARD" ]

valid {
    input.Body.name == STRING
    input.Body.subdomain == STRING
    input.Body.tier == enum_TierLevel[_]
    input.Body.description == STRING
    input.Body.userKMSKey == STRING
    input.Body.tags.STRING == STRING
    input.Body.roleArn == STRING
    input.Body.supportedEmailDomains.enabled == enum_FeatureEnableParameter[_]
    input.Body.supportedEmailDomains.allowedDomains[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteSpace

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

DeregisterAdmin

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

GetChannel

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

GetSpace

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

ListChannels

valid {
    input.ReqMap.spaceId == STRING
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSpaces

valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

RegisterAdmin

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

SendInvites

valid {
    input.Body.accessorIds[_] == STRING
    input.Body.title == STRING
    input.Body.body == STRING
    input.ReqMap.spaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.ReqMap.resourceArn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateChannel

valid {
    input.Body.channelName == STRING
    input.Body.channelDescription == STRING
    input.ReqMap.spaceId == STRING
    input.ReqMap.channelId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSpace

enum_FeatureEnableParameter := [ "ENABLED", "DISABLED" ]
enum_TierLevel := [ "BASIC", "STANDARD" ]

valid {
    input.Body.description == STRING
    input.Body.tier == enum_TierLevel[_]
    input.Body.roleArn == STRING
    input.Body.supportedEmailDomains.enabled == enum_FeatureEnableParameter[_]
    input.Body.supportedEmailDomains.allowedDomains[_] == STRING
    input.ReqMap.spaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}