APPLICATION-SIGNALS

BatchGetServiceLevelObjectiveBudgetReport

valid {
    input.Body.Timestamp == TIMESTAMP
    input.Body.SloIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateServiceLevelObjective

enum_DurationUnit := [ "MINUTE", "HOUR", "DAY", "MONTH" ]
enum_ServiceLevelIndicatorComparisonOperator := [ "GreaterThanOrEqualTo", "GreaterThan", "LessThan", "LessThanOrEqualTo" ]
enum_ServiceLevelIndicatorMetricType := [ "LATENCY", "AVAILABILITY" ]
enum_StandardUnit := [ "Microseconds", "Milliseconds", "Seconds", "Bytes", "Kilobytes", "Megabytes", "Gigabytes", "Terabytes", "Bits", "Kilobits", "Megabits", "Gigabits", "Terabits", "Percent", "Count", "Bytes/Second", "Kilobytes/Second", "Megabytes/Second", "Gigabytes/Second", "Terabytes/Second", "Bits/Second", "Kilobits/Second", "Megabits/Second", "Gigabits/Second", "Terabits/Second", "Count/Second", "None" ]

valid {
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.SliConfig.SliMetricConfig.KeyAttributes.STRING == STRING
    input.Body.SliConfig.SliMetricConfig.OperationName == STRING
    input.Body.SliConfig.SliMetricConfig.MetricType == enum_ServiceLevelIndicatorMetricType[_]
    input.Body.SliConfig.SliMetricConfig.Statistic == STRING
    input.Body.SliConfig.SliMetricConfig.PeriodSeconds == INTEGER
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Id == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.Namespace == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.MetricName == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Period == INTEGER
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Stat == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Expression == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Label == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].ReturnData == BOOLEAN
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Period == INTEGER
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].AccountId == STRING
    input.Body.SliConfig.MetricThreshold == DOUBLE
    input.Body.SliConfig.ComparisonOperator == enum_ServiceLevelIndicatorComparisonOperator[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.KeyAttributes.STRING == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.OperationName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MetricType == enum_ServiceLevelIndicatorMetricType[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Id == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.Namespace == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.MetricName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Stat == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Expression == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Label == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].ReturnData == BOOLEAN
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].AccountId == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Id == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.Namespace == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.MetricName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Stat == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Expression == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Label == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].ReturnData == BOOLEAN
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].AccountId == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Id == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.Namespace == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.MetricName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Stat == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Expression == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Label == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].ReturnData == BOOLEAN
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].AccountId == STRING
    input.Body.RequestBasedSliConfig.MetricThreshold == DOUBLE
    input.Body.RequestBasedSliConfig.ComparisonOperator == enum_ServiceLevelIndicatorComparisonOperator[_]
    input.Body.Goal.Interval.RollingInterval.DurationUnit == enum_DurationUnit[_]
    input.Body.Goal.Interval.RollingInterval.Duration == INTEGER
    input.Body.Goal.Interval.CalendarInterval.StartTime == TIMESTAMP
    input.Body.Goal.Interval.CalendarInterval.DurationUnit == enum_DurationUnit[_]
    input.Body.Goal.Interval.CalendarInterval.Duration == INTEGER
    input.Body.Goal.AttainmentGoal == DOUBLE
    input.Body.Goal.WarningThreshold == DOUBLE
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.BurnRateConfigurations[_].LookBackWindowMinutes == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteServiceLevelObjective

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

GetService

valid {
    input.Body.KeyAttributes.STRING == STRING
    input.Qs.StartTime == TIMESTAMP
    input.Qs.EndTime == TIMESTAMP
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetServiceLevelObjective

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

ListServiceDependencies

valid {
    input.Body.KeyAttributes.STRING == STRING
    input.Qs.StartTime == TIMESTAMP
    input.Qs.EndTime == TIMESTAMP
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceDependents

valid {
    input.Body.KeyAttributes.STRING == STRING
    input.Qs.StartTime == TIMESTAMP
    input.Qs.EndTime == TIMESTAMP
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceLevelObjectives

valid {
    input.Body.KeyAttributes.STRING == STRING
    input.Qs.OperationName == STRING
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceOperations

valid {
    input.Body.KeyAttributes.STRING == STRING
    input.Qs.StartTime == TIMESTAMP
    input.Qs.EndTime == TIMESTAMP
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServices

valid {
    input.Qs.StartTime == TIMESTAMP
    input.Qs.EndTime == TIMESTAMP
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

StartDiscovery

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

TagResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == 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
}

UpdateServiceLevelObjective

enum_DurationUnit := [ "MINUTE", "HOUR", "DAY", "MONTH" ]
enum_ServiceLevelIndicatorComparisonOperator := [ "GreaterThanOrEqualTo", "GreaterThan", "LessThan", "LessThanOrEqualTo" ]
enum_ServiceLevelIndicatorMetricType := [ "LATENCY", "AVAILABILITY" ]
enum_StandardUnit := [ "Microseconds", "Milliseconds", "Seconds", "Bytes", "Kilobytes", "Megabytes", "Gigabytes", "Terabytes", "Bits", "Kilobits", "Megabits", "Gigabits", "Terabits", "Percent", "Count", "Bytes/Second", "Kilobytes/Second", "Megabytes/Second", "Gigabytes/Second", "Terabytes/Second", "Bits/Second", "Kilobits/Second", "Megabits/Second", "Gigabits/Second", "Terabits/Second", "Count/Second", "None" ]

valid {
    input.Body.Description == STRING
    input.Body.SliConfig.SliMetricConfig.KeyAttributes.STRING == STRING
    input.Body.SliConfig.SliMetricConfig.OperationName == STRING
    input.Body.SliConfig.SliMetricConfig.MetricType == enum_ServiceLevelIndicatorMetricType[_]
    input.Body.SliConfig.SliMetricConfig.Statistic == STRING
    input.Body.SliConfig.SliMetricConfig.PeriodSeconds == INTEGER
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Id == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.Namespace == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.MetricName == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Period == INTEGER
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Stat == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Expression == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Label == STRING
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].ReturnData == BOOLEAN
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].Period == INTEGER
    input.Body.SliConfig.SliMetricConfig.MetricDataQueries[_].AccountId == STRING
    input.Body.SliConfig.MetricThreshold == DOUBLE
    input.Body.SliConfig.ComparisonOperator == enum_ServiceLevelIndicatorComparisonOperator[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.KeyAttributes.STRING == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.OperationName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MetricType == enum_ServiceLevelIndicatorMetricType[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Id == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.Namespace == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.MetricName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Stat == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Expression == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Label == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].ReturnData == BOOLEAN
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.TotalRequestCountMetric[_].AccountId == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Id == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.Namespace == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.MetricName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Stat == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Expression == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Label == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].ReturnData == BOOLEAN
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.GoodCountMetric[_].AccountId == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Id == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.Namespace == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.MetricName == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.Dimensions[_].Name == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Metric.Dimensions[_].Value == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Stat == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].MetricStat.Unit == enum_StandardUnit[_]
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Expression == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Label == STRING
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].ReturnData == BOOLEAN
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].Period == INTEGER
    input.Body.RequestBasedSliConfig.RequestBasedSliMetricConfig.MonitoredRequestCountMetric.BadCountMetric[_].AccountId == STRING
    input.Body.RequestBasedSliConfig.MetricThreshold == DOUBLE
    input.Body.RequestBasedSliConfig.ComparisonOperator == enum_ServiceLevelIndicatorComparisonOperator[_]
    input.Body.Goal.Interval.RollingInterval.DurationUnit == enum_DurationUnit[_]
    input.Body.Goal.Interval.RollingInterval.Duration == INTEGER
    input.Body.Goal.Interval.CalendarInterval.StartTime == TIMESTAMP
    input.Body.Goal.Interval.CalendarInterval.DurationUnit == enum_DurationUnit[_]
    input.Body.Goal.Interval.CalendarInterval.Duration == INTEGER
    input.Body.Goal.AttainmentGoal == DOUBLE
    input.Body.Goal.WarningThreshold == DOUBLE
    input.Body.BurnRateConfigurations[_].LookBackWindowMinutes == INTEGER
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}