enum_DbInstanceType := [ "db.influx.medium", "db.influx.large", "db.influx.xlarge", "db.influx.2xlarge", "db.influx.4xlarge", "db.influx.8xlarge", "db.influx.12xlarge", "db.influx.16xlarge" ]
enum_DbStorageType := [ "InfluxIOIncludedT1", "InfluxIOIncludedT2", "InfluxIOIncludedT3" ]
enum_DeploymentType := [ "SINGLE_AZ", "WITH_MULTIAZ_STANDBY" ]

valid {
    input.Body.name == STRING
    input.Body.username == STRING
    input.Body.password == STRING
    input.Body.organization == STRING
    input.Body.bucket == STRING
    input.Body.dbInstanceType == enum_DbInstanceType[_]
    input.Body.vpcSubnetIds[_] == STRING
    input.Body.vpcSecurityGroupIds[_] == STRING
    input.Body.publiclyAccessible == BOOLEAN
    input.Body.dbStorageType == enum_DbStorageType[_]
    input.Body.allocatedStorage == INTEGER
    input.Body.dbParameterGroupIdentifier == STRING
    input.Body.deploymentType == enum_DeploymentType[_]
    input.Body.logDeliveryConfiguration.s3Configuration.bucketName == STRING
    input.Body.logDeliveryConfiguration.s3Configuration.enabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_LogLevel := [ "debug", "info", "error" ]
enum_TracingType := [ "log", "jaeger" ]

valid {
    input.Body.name == STRING
    input.Body.description == STRING
    input.Body.parameters.InfluxDBv2.fluxLogEnabled == BOOLEAN
    input.Body.parameters.InfluxDBv2.logLevel == enum_LogLevel[_]
    input.Body.parameters.InfluxDBv2.noTasks == BOOLEAN
    input.Body.parameters.InfluxDBv2.queryConcurrency == INTEGER
    input.Body.parameters.InfluxDBv2.queryQueueSize == INTEGER
    input.Body.parameters.InfluxDBv2.tracingType == enum_TracingType[_]
    input.Body.parameters.InfluxDBv2.metricsDisabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

valid {
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Body.resourceArn == STRING
    input.Body.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.identifier == STRING
    input.Body.logDeliveryConfiguration.s3Configuration.bucketName == STRING
    input.Body.logDeliveryConfiguration.s3Configuration.enabled == BOOLEAN
    input.Body.dbParameterGroupIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}