CreateAutoPredictor

enum_DayOfWeek := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_Month := [ "JANUARY", "FEBRUARY", "MARCH", "APRIL", "MAY", "JUNE", "JULY", "AUGUST", "SEPTEMBER", "OCTOBER", "NOVEMBER", "DECEMBER" ]
enum_OptimizationMetric := [ "WAPE", "RMSE", "AverageWeightedQuantileLoss", "MASE", "MAPE" ]

valid {
    input.Body.PredictorName == STRING
    input.Body.ForecastHorizon == INTEGER
    input.Body.ForecastTypes[_] == STRING
    input.Body.ForecastDimensions[_] == STRING
    input.Body.ForecastFrequency == STRING
    input.Body.DataConfig.DatasetGroupArn == STRING
    input.Body.DataConfig.AttributeConfigs[_].AttributeName == STRING
    input.Body.DataConfig.AttributeConfigs[_].Transformations.STRING == STRING
    input.Body.DataConfig.AdditionalDatasets[_].Name == STRING
    input.Body.DataConfig.AdditionalDatasets[_].Configuration.STRING[_] == STRING
    input.Body.EncryptionConfig.RoleArn == STRING
    input.Body.EncryptionConfig.KMSKeyArn == STRING
    input.Body.ReferencePredictorArn == STRING
    input.Body.OptimizationMetric == enum_OptimizationMetric[_]
    input.Body.ExplainPredictor == BOOLEAN
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.MonitorConfig.MonitorName == STRING
    input.Body.TimeAlignmentBoundary.Month == enum_Month[_]
    input.Body.TimeAlignmentBoundary.DayOfMonth == INTEGER
    input.Body.TimeAlignmentBoundary.DayOfWeek == enum_DayOfWeek[_]
    input.Body.TimeAlignmentBoundary.Hour == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDataset

enum_AttributeType := [ "string", "integer", "float", "timestamp", "geolocation" ]
enum_DatasetType := [ "TARGET_TIME_SERIES", "RELATED_TIME_SERIES", "ITEM_METADATA" ]
enum_Domain := [ "RETAIL", "CUSTOM", "INVENTORY_PLANNING", "EC2_CAPACITY", "WORK_FORCE", "WEB_TRAFFIC", "METRICS" ]

valid {
    input.Body.DatasetName == STRING
    input.Body.Domain == enum_Domain[_]
    input.Body.DatasetType == enum_DatasetType[_]
    input.Body.DataFrequency == STRING
    input.Body.Schema.Attributes[_].AttributeName == STRING
    input.Body.Schema.Attributes[_].AttributeType == enum_AttributeType[_]
    input.Body.EncryptionConfig.RoleArn == STRING
    input.Body.EncryptionConfig.KMSKeyArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDatasetGroup

enum_Domain := [ "RETAIL", "CUSTOM", "INVENTORY_PLANNING", "EC2_CAPACITY", "WORK_FORCE", "WEB_TRAFFIC", "METRICS" ]

valid {
    input.Body.DatasetGroupName == STRING
    input.Body.Domain == enum_Domain[_]
    input.Body.DatasetArns[_] == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDatasetImportJob

enum_ImportMode := [ "FULL", "INCREMENTAL" ]

valid {
    input.Body.DatasetImportJobName == STRING
    input.Body.DatasetArn == STRING
    input.Body.DataSource.S3Config.Path == STRING
    input.Body.DataSource.S3Config.RoleArn == STRING
    input.Body.DataSource.S3Config.KMSKeyArn == STRING
    input.Body.TimestampFormat == STRING
    input.Body.TimeZone == STRING
    input.Body.UseGeolocationForTimeZone == BOOLEAN
    input.Body.GeolocationFormat == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.Format == STRING
    input.Body.ImportMode == enum_ImportMode[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateExplainability

enum_AttributeType := [ "string", "integer", "float", "timestamp", "geolocation" ]
enum_TimePointGranularity := [ "ALL", "SPECIFIC" ]
enum_TimeSeriesGranularity := [ "ALL", "SPECIFIC" ]

valid {
    input.Body.ExplainabilityName == STRING
    input.Body.ResourceArn == STRING
    input.Body.ExplainabilityConfig.TimeSeriesGranularity == enum_TimeSeriesGranularity[_]
    input.Body.ExplainabilityConfig.TimePointGranularity == enum_TimePointGranularity[_]
    input.Body.DataSource.S3Config.Path == STRING
    input.Body.DataSource.S3Config.RoleArn == STRING
    input.Body.DataSource.S3Config.KMSKeyArn == STRING
    input.Body.Schema.Attributes[_].AttributeName == STRING
    input.Body.Schema.Attributes[_].AttributeType == enum_AttributeType[_]
    input.Body.EnableVisualization == BOOLEAN
    input.Body.StartDateTime == STRING
    input.Body.EndDateTime == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateExplainabilityExport

valid {
    input.Body.ExplainabilityExportName == STRING
    input.Body.ExplainabilityArn == STRING
    input.Body.Destination.S3Config.Path == STRING
    input.Body.Destination.S3Config.RoleArn == STRING
    input.Body.Destination.S3Config.KMSKeyArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.Format == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateForecast

enum_AttributeType := [ "string", "integer", "float", "timestamp", "geolocation" ]

valid {
    input.Body.ForecastName == STRING
    input.Body.PredictorArn == STRING
    input.Body.ForecastTypes[_] == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.DataSource.S3Config.Path == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.DataSource.S3Config.RoleArn == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.DataSource.S3Config.KMSKeyArn == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.Schema.Attributes[_].AttributeName == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.Schema.Attributes[_].AttributeType == enum_AttributeType[_]
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.Format == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateForecastExportJob

valid {
    input.Body.ForecastExportJobName == STRING
    input.Body.ForecastArn == STRING
    input.Body.Destination.S3Config.Path == STRING
    input.Body.Destination.S3Config.RoleArn == STRING
    input.Body.Destination.S3Config.KMSKeyArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.Format == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateMonitor

valid {
    input.Body.MonitorName == STRING
    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
}

CreatePredictor

enum_AutoMLOverrideStrategy := [ "LatencyOptimized", "AccuracyOptimized" ]
enum_FeaturizationMethodName := [ "filling" ]
enum_OptimizationMetric := [ "WAPE", "RMSE", "AverageWeightedQuantileLoss", "MASE", "MAPE" ]
enum_ScalingType := [ "Auto", "Linear", "Logarithmic", "ReverseLogarithmic" ]

valid {
    input.Body.PredictorName == STRING
    input.Body.AlgorithmArn == STRING
    input.Body.ForecastHorizon == INTEGER
    input.Body.ForecastTypes[_] == STRING
    input.Body.PerformAutoML == BOOLEAN
    input.Body.AutoMLOverrideStrategy == enum_AutoMLOverrideStrategy[_]
    input.Body.PerformHPO == BOOLEAN
    input.Body.TrainingParameters.STRING == STRING
    input.Body.EvaluationParameters.NumberOfBacktestWindows == INTEGER
    input.Body.EvaluationParameters.BackTestWindowOffset == INTEGER
    input.Body.HPOConfig.ParameterRanges.CategoricalParameterRanges[_].Name == STRING
    input.Body.HPOConfig.ParameterRanges.CategoricalParameterRanges[_].Values[_] == STRING
    input.Body.HPOConfig.ParameterRanges.ContinuousParameterRanges[_].Name == STRING
    input.Body.HPOConfig.ParameterRanges.ContinuousParameterRanges[_].MaxValue == DOUBLE
    input.Body.HPOConfig.ParameterRanges.ContinuousParameterRanges[_].MinValue == DOUBLE
    input.Body.HPOConfig.ParameterRanges.ContinuousParameterRanges[_].ScalingType == enum_ScalingType[_]
    input.Body.HPOConfig.ParameterRanges.IntegerParameterRanges[_].Name == STRING
    input.Body.HPOConfig.ParameterRanges.IntegerParameterRanges[_].MaxValue == INTEGER
    input.Body.HPOConfig.ParameterRanges.IntegerParameterRanges[_].MinValue == INTEGER
    input.Body.HPOConfig.ParameterRanges.IntegerParameterRanges[_].ScalingType == enum_ScalingType[_]
    input.Body.InputDataConfig.DatasetGroupArn == STRING
    input.Body.InputDataConfig.SupplementaryFeatures[_].Name == STRING
    input.Body.InputDataConfig.SupplementaryFeatures[_].Value == STRING
    input.Body.FeaturizationConfig.ForecastFrequency == STRING
    input.Body.FeaturizationConfig.ForecastDimensions[_] == STRING
    input.Body.FeaturizationConfig.Featurizations[_].AttributeName == STRING
    input.Body.FeaturizationConfig.Featurizations[_].FeaturizationPipeline[_].FeaturizationMethodName == enum_FeaturizationMethodName[_]
    input.Body.FeaturizationConfig.Featurizations[_].FeaturizationPipeline[_].FeaturizationMethodParameters.STRING == STRING
    input.Body.EncryptionConfig.RoleArn == STRING
    input.Body.EncryptionConfig.KMSKeyArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.OptimizationMetric == enum_OptimizationMetric[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreatePredictorBacktestExportJob

valid {
    input.Body.PredictorBacktestExportJobName == STRING
    input.Body.PredictorArn == STRING
    input.Body.Destination.S3Config.Path == STRING
    input.Body.Destination.S3Config.RoleArn == STRING
    input.Body.Destination.S3Config.KMSKeyArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.Format == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateWhatIfAnalysis

enum_AttributeType := [ "string", "integer", "float", "timestamp", "geolocation" ]

valid {
    input.Body.WhatIfAnalysisName == STRING
    input.Body.ForecastArn == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.DataSource.S3Config.Path == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.DataSource.S3Config.RoleArn == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.DataSource.S3Config.KMSKeyArn == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.Schema.Attributes[_].AttributeName == STRING
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.Schema.Attributes[_].AttributeType == enum_AttributeType[_]
    input.Body.TimeSeriesSelector.TimeSeriesIdentifiers.Format == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateWhatIfForecast

enum_AttributeType := [ "string", "integer", "float", "timestamp", "geolocation" ]
enum_Condition := [ "EQUALS", "NOT_EQUALS", "LESS_THAN", "GREATER_THAN" ]
enum_Operation := [ "ADD", "SUBTRACT", "MULTIPLY", "DIVIDE" ]

valid {
    input.Body.WhatIfForecastName == STRING
    input.Body.WhatIfAnalysisArn == STRING
    input.Body.TimeSeriesTransformations[_].Action.AttributeName == STRING
    input.Body.TimeSeriesTransformations[_].Action.Operation == enum_Operation[_]
    input.Body.TimeSeriesTransformations[_].Action.Value == DOUBLE
    input.Body.TimeSeriesTransformations[_].TimeSeriesConditions[_].AttributeName == STRING
    input.Body.TimeSeriesTransformations[_].TimeSeriesConditions[_].AttributeValue == STRING
    input.Body.TimeSeriesTransformations[_].TimeSeriesConditions[_].Condition == enum_Condition[_]
    input.Body.TimeSeriesReplacementsDataSource.S3Config.Path == STRING
    input.Body.TimeSeriesReplacementsDataSource.S3Config.RoleArn == STRING
    input.Body.TimeSeriesReplacementsDataSource.S3Config.KMSKeyArn == STRING
    input.Body.TimeSeriesReplacementsDataSource.Schema.Attributes[_].AttributeName == STRING
    input.Body.TimeSeriesReplacementsDataSource.Schema.Attributes[_].AttributeType == enum_AttributeType[_]
    input.Body.TimeSeriesReplacementsDataSource.Format == STRING
    input.Body.TimeSeriesReplacementsDataSource.TimestampFormat == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateWhatIfForecastExport

valid {
    input.Body.WhatIfForecastExportName == STRING
    input.Body.WhatIfForecastArns[_] == STRING
    input.Body.Destination.S3Config.Path == STRING
    input.Body.Destination.S3Config.RoleArn == STRING
    input.Body.Destination.S3Config.KMSKeyArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.Format == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDataset

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

DeleteDatasetGroup

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

DeleteDatasetImportJob

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

DeleteExplainability

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

DeleteExplainabilityExport

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

DeleteForecast

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

DeleteForecastExportJob

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

DeleteMonitor

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

DeletePredictor

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

DeletePredictorBacktestExportJob

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

DeleteResourceTree

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

DeleteWhatIfAnalysis

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

DeleteWhatIfForecast

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

DeleteWhatIfForecastExport

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

DescribeAutoPredictor

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

DescribeDataset

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

DescribeDatasetGroup

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

DescribeDatasetImportJob

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

DescribeExplainability

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

DescribeExplainabilityExport

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

DescribeForecast

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

DescribeForecastExportJob

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

DescribeMonitor

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

DescribePredictor

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

DescribePredictorBacktestExportJob

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

DescribeWhatIfAnalysis

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

DescribeWhatIfForecast

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

DescribeWhatIfForecastExport

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

GetAccuracyMetrics

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

ListDatasetGroups

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

ListDatasetImportJobs

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDatasets

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

ListExplainabilities

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListExplainabilityExports

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListForecastExportJobs

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListForecasts

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListMonitorEvaluations

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.MonitorArn == STRING
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListMonitors

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListPredictorBacktestExportJobs

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListPredictors

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

ListWhatIfAnalyses

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListWhatIfForecastExports

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListWhatIfForecasts

enum_FilterConditionString := [ "IS", "IS_NOT" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Filters[_].Key == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.Filters[_].Condition == enum_FilterConditionString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ResumeResource

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

StopResource

valid {
    input.Body.ResourceArn == STRING
    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
}

UpdateDatasetGroup

valid {
    input.Body.DatasetGroupArn == STRING
    input.Body.DatasetArns[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}