enum_LocalHealthEventsConfigStatus := [ "ENABLED", "DISABLED" ]
enum_LogDeliveryStatus := [ "ENABLED", "DISABLED" ]

valid {
    input.Body.MonitorName == STRING
    input.Body.Resources[_] == STRING
    input.Body.ClientToken == STRING
    input.Body.Tags.STRING == STRING
    input.Body.MaxCityNetworksToMonitor == INTEGER
    input.Body.InternetMeasurementsLogDelivery.S3Config.BucketName == STRING
    input.Body.InternetMeasurementsLogDelivery.S3Config.BucketPrefix == STRING
    input.Body.InternetMeasurementsLogDelivery.S3Config.LogDeliveryStatus == enum_LogDeliveryStatus[_]
    input.Body.TrafficPercentageToMonitor == INTEGER
    input.Body.HealthEventsConfig.AvailabilityScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.PerformanceScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.AvailabilityLocalHealthEventsConfig.Status == enum_LocalHealthEventsConfigStatus[_]
    input.Body.HealthEventsConfig.AvailabilityLocalHealthEventsConfig.HealthScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.AvailabilityLocalHealthEventsConfig.MinTrafficImpact == DOUBLE
    input.Body.HealthEventsConfig.PerformanceLocalHealthEventsConfig.Status == enum_LocalHealthEventsConfigStatus[_]
    input.Body.HealthEventsConfig.PerformanceLocalHealthEventsConfig.HealthScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.PerformanceLocalHealthEventsConfig.MinTrafficImpact == DOUBLE
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.MonitorName == STRING
    input.ReqMap.EventId == STRING
    input.Qs.LinkedAccountId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.MonitorName == STRING
    input.Qs.LinkedAccountId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.MonitorName == STRING
    input.ReqMap.QueryId == STRING
    input.Qs.NextToken == STRING
    input.Qs.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_HealthEventStatus := [ "ACTIVE", "RESOLVED" ]

valid {
    input.ReqMap.MonitorName == STRING
    input.Qs.StartTime == TIMESTAMP
    input.Qs.EndTime == TIMESTAMP
    input.Qs.NextToken == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.EventStatus == enum_HealthEventStatus[_]
    input.Qs.LinkedAccountId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.NextToken == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.MonitorStatus == STRING
    input.Qs.IncludeLinkedAccounts == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_Operator := [ "EQUALS", "NOT_EQUALS" ]
enum_QueryType := [ "MEASUREMENTS", "TOP_LOCATIONS", "TOP_LOCATION_DETAILS" ]

valid {
    input.Body.StartTime == TIMESTAMP
    input.Body.EndTime == TIMESTAMP
    input.Body.QueryType == enum_QueryType[_]
    input.Body.FilterParameters[_].Field == STRING
    input.Body.FilterParameters[_].Operator == enum_Operator[_]
    input.Body.FilterParameters[_].Values[_] == STRING
    input.Body.LinkedAccountId == STRING
    input.ReqMap.MonitorName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.Tags.STRING == STRING
    input.ReqMap.ResourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_LocalHealthEventsConfigStatus := [ "ENABLED", "DISABLED" ]
enum_LogDeliveryStatus := [ "ENABLED", "DISABLED" ]
enum_MonitorConfigState := [ "PENDING", "ACTIVE", "INACTIVE", "ERROR" ]

valid {
    input.Body.ResourcesToAdd[_] == STRING
    input.Body.ResourcesToRemove[_] == STRING
    input.Body.Status == enum_MonitorConfigState[_]
    input.Body.ClientToken == STRING
    input.Body.MaxCityNetworksToMonitor == INTEGER
    input.Body.InternetMeasurementsLogDelivery.S3Config.BucketName == STRING
    input.Body.InternetMeasurementsLogDelivery.S3Config.BucketPrefix == STRING
    input.Body.InternetMeasurementsLogDelivery.S3Config.LogDeliveryStatus == enum_LogDeliveryStatus[_]
    input.Body.TrafficPercentageToMonitor == INTEGER
    input.Body.HealthEventsConfig.AvailabilityScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.PerformanceScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.AvailabilityLocalHealthEventsConfig.Status == enum_LocalHealthEventsConfigStatus[_]
    input.Body.HealthEventsConfig.AvailabilityLocalHealthEventsConfig.HealthScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.AvailabilityLocalHealthEventsConfig.MinTrafficImpact == DOUBLE
    input.Body.HealthEventsConfig.PerformanceLocalHealthEventsConfig.Status == enum_LocalHealthEventsConfigStatus[_]
    input.Body.HealthEventsConfig.PerformanceLocalHealthEventsConfig.HealthScoreThreshold == DOUBLE
    input.Body.HealthEventsConfig.PerformanceLocalHealthEventsConfig.MinTrafficImpact == DOUBLE
    input.ReqMap.MonitorName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}