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

enum_EventType := [ "INITIATED_CALL", "RINGING", "ANSWERED", "COMPLETED_CALL", "BUSY", "FAILED", "NO_ANSWER" ]

valid {
    input.Body.EventDestination.CloudWatchLogsDestination.IamRoleArn == STRING
    input.Body.EventDestination.CloudWatchLogsDestination.LogGroupArn == STRING
    input.Body.EventDestination.Enabled == BOOLEAN
    input.Body.EventDestination.KinesisFirehoseDestination.DeliveryStreamArn == STRING
    input.Body.EventDestination.KinesisFirehoseDestination.IamRoleArn == STRING
    input.Body.EventDestination.MatchingEventTypes[_] == enum_EventType[_]
    input.Body.EventDestination.SnsDestination.TopicArn == STRING
    input.Body.EventDestinationName == STRING
    input.ReqMap.ConfigurationSetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

valid {
    input.Qs.NextToken == STRING
    input.Qs.PageSize == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.CallerId == STRING
    input.Body.ConfigurationSetName == STRING
    input.Body.Content.CallInstructionsMessage.Text == STRING
    input.Body.Content.PlainTextMessage.LanguageCode == STRING
    input.Body.Content.PlainTextMessage.Text == STRING
    input.Body.Content.PlainTextMessage.VoiceId == STRING
    input.Body.Content.SSMLMessage.LanguageCode == STRING
    input.Body.Content.SSMLMessage.Text == STRING
    input.Body.Content.SSMLMessage.VoiceId == STRING
    input.Body.DestinationPhoneNumber == STRING
    input.Body.OriginationPhoneNumber == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_EventType := [ "INITIATED_CALL", "RINGING", "ANSWERED", "COMPLETED_CALL", "BUSY", "FAILED", "NO_ANSWER" ]

valid {
    input.Body.EventDestination.CloudWatchLogsDestination.IamRoleArn == STRING
    input.Body.EventDestination.CloudWatchLogsDestination.LogGroupArn == STRING
    input.Body.EventDestination.Enabled == BOOLEAN
    input.Body.EventDestination.KinesisFirehoseDestination.DeliveryStreamArn == STRING
    input.Body.EventDestination.KinesisFirehoseDestination.IamRoleArn == STRING
    input.Body.EventDestination.MatchingEventTypes[_] == enum_EventType[_]
    input.Body.EventDestination.SnsDestination.TopicArn == STRING
    input.ReqMap.ConfigurationSetName == STRING
    input.ReqMap.EventDestinationName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}