valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.extraLocationTypes == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.returnPartialSuccess == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.annotations.STRING == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.source.files[_].content == STRING
    input.Body.source.files[_].path == STRING
    input.ReqMap.parent == STRING
    input.Qs.connectorId == STRING
    input.Qs.requestId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.etag == STRING
    input.Qs.force == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.operationName == STRING
    input.Body.variables.STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.operationName == STRING
    input.Body.variables.STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.extensions.impersonate.authClaims.STRING == ANY
    input.Body.extensions.impersonate.includeDebugDetails == BOOLEAN
    input.Body.extensions.impersonate.unauthenticated == BOOLEAN
    input.Body.operationName == STRING
    input.Body.variables.STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.extensions.impersonate.authClaims.STRING == ANY
    input.Body.extensions.impersonate.includeDebugDetails == BOOLEAN
    input.Body.extensions.impersonate.unauthenticated == BOOLEAN
    input.Body.operationName == STRING
    input.Body.variables.STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.annotations.STRING == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.source.files[_].content == STRING
    input.Body.source.files[_].path == STRING
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.annotations.STRING == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.ReqMap.parent == STRING
    input.Qs.requestId == STRING
    input.Qs.serviceId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.etag == STRING
    input.Qs.force == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.extensions.impersonate.authClaims.STRING == ANY
    input.Body.extensions.impersonate.includeDebugDetails == BOOLEAN
    input.Body.extensions.impersonate.unauthenticated == BOOLEAN
    input.Body.operationName == STRING
    input.Body.query == STRING
    input.Body.variables.STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.extensions.impersonate.authClaims.STRING == ANY
    input.Body.extensions.impersonate.includeDebugDetails == BOOLEAN
    input.Body.extensions.impersonate.unauthenticated == BOOLEAN
    input.Body.operationName == STRING
    input.Body.query == STRING
    input.Body.variables.STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.extensions.impersonate.authClaims.STRING == ANY
    input.Body.extensions.impersonate.includeDebugDetails == BOOLEAN
    input.Body.extensions.impersonate.unauthenticated == BOOLEAN
    input.Body.operationName == STRING
    input.Body.query == STRING
    input.Body.variables.STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.annotations.STRING == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

enum_PostgreSqlSchemaMigration := [ "SQL_SCHEMA_MIGRATION_UNSPECIFIED", "MIGRATE_COMPATIBLE" ]
enum_PostgreSqlSchemaValidation := [ "SQL_SCHEMA_VALIDATION_UNSPECIFIED", "NONE", "STRICT", "COMPATIBLE" ]

valid {
    input.Body.annotations.STRING == STRING
    input.Body.datasources[_].postgresql.cloudSql.instance == STRING
    input.Body.datasources[_].postgresql.database == STRING
    input.Body.datasources[_].postgresql.schemaMigration == enum_PostgreSqlSchemaMigration[_]
    input.Body.datasources[_].postgresql.schemaValidation == enum_PostgreSqlSchemaValidation[_]
    input.Body.datasources[_].postgresql.unlinked == BOOLEAN
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.source.files[_].content == STRING
    input.Body.source.files[_].path == STRING
    input.ReqMap.parent == STRING
    input.Qs.requestId == STRING
    input.Qs.schemaId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.etag == STRING
    input.Qs.force == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_PostgreSqlSchemaMigration := [ "SQL_SCHEMA_MIGRATION_UNSPECIFIED", "MIGRATE_COMPATIBLE" ]
enum_PostgreSqlSchemaValidation := [ "SQL_SCHEMA_VALIDATION_UNSPECIFIED", "NONE", "STRICT", "COMPATIBLE" ]

valid {
    input.Body.annotations.STRING == STRING
    input.Body.datasources[_].postgresql.cloudSql.instance == STRING
    input.Body.datasources[_].postgresql.database == STRING
    input.Body.datasources[_].postgresql.schemaMigration == enum_PostgreSqlSchemaMigration[_]
    input.Body.datasources[_].postgresql.schemaValidation == enum_PostgreSqlSchemaValidation[_]
    input.Body.datasources[_].postgresql.unlinked == BOOLEAN
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.source.files[_].content == STRING
    input.Body.source.files[_].path == STRING
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}