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

enum_EndpointManagement := [ "CUSTOMER", "SERVICE" ]
enum_LoggingLevel := [ "CRITICAL", "ERROR", "WARNING", "INFO", "DEBUG" ]
enum_WebserverAccessMode := [ "PRIVATE_ONLY", "PUBLIC_ONLY" ]

valid {
    input.Body.AirflowConfigurationOptions.STRING == STRING
    input.Body.AirflowVersion == STRING
    input.Body.DagS3Path == STRING
    input.Body.EndpointManagement == enum_EndpointManagement[_]
    input.Body.EnvironmentClass == STRING
    input.Body.ExecutionRoleArn == STRING
    input.Body.KmsKey == STRING
    input.Body.LoggingConfiguration.DagProcessingLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.DagProcessingLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.SchedulerLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.SchedulerLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.TaskLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.TaskLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.WebserverLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.WebserverLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.WorkerLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.WorkerLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.MaxWorkers == INTEGER
    input.Body.MinWorkers == INTEGER
    input.Body.NetworkConfiguration.SecurityGroupIds[_] == STRING
    input.Body.NetworkConfiguration.SubnetIds[_] == STRING
    input.Body.PluginsS3ObjectVersion == STRING
    input.Body.PluginsS3Path == STRING
    input.Body.RequirementsS3ObjectVersion == STRING
    input.Body.RequirementsS3Path == STRING
    input.Body.Schedulers == INTEGER
    input.Body.SourceBucketArn == STRING
    input.Body.StartupScriptS3ObjectVersion == STRING
    input.Body.StartupScriptS3Path == STRING
    input.Body.Tags.STRING == STRING
    input.Body.WebserverAccessMode == enum_WebserverAccessMode[_]
    input.Body.WeeklyMaintenanceWindowStart == STRING
    input.ReqMap.Name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

valid {
    input.Qs.MaxResults == INTEGER
    input.Qs.NextToken == STRING
    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_Unit := [ "Seconds", "Microseconds", "Milliseconds", "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.MetricData[_].Dimensions[_].Name == STRING
    input.Body.MetricData[_].Dimensions[_].Value == STRING
    input.Body.MetricData[_].MetricName == STRING
    input.Body.MetricData[_].StatisticValues.Maximum == DOUBLE
    input.Body.MetricData[_].StatisticValues.Minimum == DOUBLE
    input.Body.MetricData[_].StatisticValues.SampleCount == INTEGER
    input.Body.MetricData[_].StatisticValues.Sum == DOUBLE
    input.Body.MetricData[_].Timestamp == TIMESTAMP
    input.Body.MetricData[_].Unit == enum_Unit[_]
    input.Body.MetricData[_].Value == DOUBLE
    input.ReqMap.EnvironmentName == 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_LoggingLevel := [ "CRITICAL", "ERROR", "WARNING", "INFO", "DEBUG" ]
enum_WebserverAccessMode := [ "PRIVATE_ONLY", "PUBLIC_ONLY" ]

valid {
    input.Body.AirflowConfigurationOptions.STRING == STRING
    input.Body.AirflowVersion == STRING
    input.Body.DagS3Path == STRING
    input.Body.EnvironmentClass == STRING
    input.Body.ExecutionRoleArn == STRING
    input.Body.LoggingConfiguration.DagProcessingLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.DagProcessingLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.SchedulerLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.SchedulerLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.TaskLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.TaskLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.WebserverLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.WebserverLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.LoggingConfiguration.WorkerLogs.Enabled == BOOLEAN
    input.Body.LoggingConfiguration.WorkerLogs.LogLevel == enum_LoggingLevel[_]
    input.Body.MaxWorkers == INTEGER
    input.Body.MinWorkers == INTEGER
    input.Body.NetworkConfiguration.SecurityGroupIds[_] == STRING
    input.Body.PluginsS3ObjectVersion == STRING
    input.Body.PluginsS3Path == STRING
    input.Body.RequirementsS3ObjectVersion == STRING
    input.Body.RequirementsS3Path == STRING
    input.Body.Schedulers == INTEGER
    input.Body.SourceBucketArn == STRING
    input.Body.StartupScriptS3ObjectVersion == STRING
    input.Body.StartupScriptS3Path == STRING
    input.Body.WebserverAccessMode == enum_WebserverAccessMode[_]
    input.Body.WeeklyMaintenanceWindowStart == STRING
    input.ReqMap.Name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}