enum_LanguageCode := [ "en-US", "en-GB", "id-ID", "de-DE", "es-ES", "fr-FR", "ja-JP", "it-IT", "pt-PT", "ko-KR", "zh-CN", "zh-TW", "tr-TR" ]

valid {
    input.Body.activityId == STRING
    input.Body.languageCode == enum_LanguageCode[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_Dimension := [ "SERVICE", "OPERATION", "USAGE_TYPE", "REGION", "FREE_TIER_TYPE", "DESCRIPTION", "USAGE_PERCENTAGE" ]
enum_MatchOption := [ "EQUALS", "STARTS_WITH", "ENDS_WITH", "CONTAINS", "GREATER_THAN_OR_EQUAL" ]

valid {
    input.Body.filter.Or[_] == NESTED
    input.Body.filter.And[_] == NESTED
    input.Body.filter.Not == NESTED
    input.Body.filter.Dimensions.Key == enum_Dimension[_]
    input.Body.filter.Dimensions.Values[_] == STRING
    input.Body.filter.Dimensions.MatchOptions[_] == enum_MatchOption[_]
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ActivityStatus := [ "NOT_STARTED", "IN_PROGRESS", "COMPLETED", "EXPIRING" ]
enum_LanguageCode := [ "en-US", "en-GB", "id-ID", "de-DE", "es-ES", "fr-FR", "ja-JP", "it-IT", "pt-PT", "ko-KR", "zh-CN", "zh-TW", "tr-TR" ]

valid {
    input.Body.filterActivityStatuses[_] == enum_ActivityStatus[_]
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.languageCode == enum_LanguageCode[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AccountPlanType := [ "FREE", "PAID" ]

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