commonMain.io.github.optimumcode.json.schema.OutputCollector.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of json-schema-validator Show documentation
Show all versions of json-schema-validator Show documentation
Multiplatform Kotlin implementation of JSON schema validator
The newest version!
package io.github.optimumcode.json.schema
import io.github.optimumcode.json.pointer.JsonPointer
import io.github.optimumcode.json.pointer.plus
import io.github.optimumcode.json.pointer.relative
import io.github.optimumcode.json.schema.ValidationOutput.OutputUnit
import kotlin.jvm.JvmStatic
internal typealias OutputErrorTransformer = OutputCollector.(ValidationError) -> ValidationError
private val NO_TRANSFORMATION: OutputErrorTransformer<*> = { it }
/**
* Provides collectors' implementations for outputs
* defined in [draft 2020-12](https://json-schema.org/draft/2020-12/draft-bhutton-json-schema-01#section-12.4)
*/
public sealed class OutputCollector private constructor(
parent: OutputCollector? = null,
transformer: OutputErrorTransformer = NO_TRANSFORMATION,
) {
public companion object {
@JvmStatic
public fun flag(): Provider = Provider(::Flag)
@JvmStatic
public fun basic(): Provider = Provider(::Basic)
@JvmStatic
public fun detailed(): Provider = Provider(::Detailed)
@JvmStatic
public fun verbose(): Provider = Provider(::Verbose)
}
public class Provider internal constructor(
private val supplier: () -> OutputCollector,
) {
internal fun get(): OutputCollector = supplier()
}
internal abstract val output: T
private val transformerFunc: OutputErrorTransformer =
parent?.let { p ->
when {
transformer === NO_TRANSFORMATION && p.transformerFunc === NO_TRANSFORMATION
-> NO_TRANSFORMATION
transformer === NO_TRANSFORMATION
-> p.transformerFunc
p.transformerFunc === NO_TRANSFORMATION
-> transformer
else -> {
{ err ->
p.transformError(transformer(err))
}
}
}
} ?: transformer
/**
* Sets current instance location to specified [path].
* Returns an [OutputCollector] with updated location information.
*/
internal abstract fun updateLocation(path: JsonPointer): OutputCollector
/**
* Sets current keyword location to specified [path].
* Updates absolute keyword location information to [absoluteLocation].
* If [canCollapse] is `false` that will indicate the output node cannot be collapsed
* (format might ignore this if it does not support collapsing).
*/
internal abstract fun updateKeywordLocation(
path: JsonPointer,
absoluteLocation: AbsoluteLocation? = null,
canCollapse: Boolean = true,
): OutputCollector
/**
* Add a transformation that should be applied to a reported [ValidationError].
* The specified [transformer] will be combined with earlier specified transformations (if any were provided).
* The transformation are applied in LIFO order.
*/
internal abstract fun withErrorTransformer(transformer: OutputErrorTransformer): OutputCollector
/**
* Creates a child [OutputCollector] that has exactly same instance, keyword and absolute locations' information.
*/
internal abstract fun childCollector(): OutputCollector
/**
* Commits the collected errors. Used to allow late error commit to support applicators like `oneOf`, `anyOf` etc.
*/
internal open fun reportErrors() = Unit
internal abstract fun onError(error: ValidationError)
internal open val isFailFast: Boolean
get() = false
/**
* A utility method that allows to call [reportErrors] method after the [block] has been executed
*/
internal inline fun use(block: OutputCollector.() -> OUT): OUT =
try {
block(this)
} finally {
reportErrors()
}
protected fun transformError(error: ValidationError): ValidationError =
if (transformerFunc === NO_TRANSFORMATION) {
error
} else {
transformerFunc(error)
}
/**
* Placeholder collector when no errors should be reported
*/
internal data object Empty : OutputCollector() {
override val output: Nothing
get() = throw UnsupportedOperationException("no output in empty collector")
override val isFailFast: Boolean
get() = true
override fun updateLocation(path: JsonPointer): OutputCollector = this
override fun updateKeywordLocation(
path: JsonPointer,
absoluteLocation: AbsoluteLocation?,
canCollapse: Boolean,
): OutputCollector = this
override fun withErrorTransformer(transformer: OutputErrorTransformer): OutputCollector = this
override fun childCollector(): OutputCollector = this
override fun onError(error: ValidationError) = Unit
}
/**
* Collector to pass all the collected errors to the provided [ErrorCollector]
*/
internal class DelegateOutputCollector(
private val errorCollector: ErrorCollector,
private val parent: DelegateOutputCollector? = null,
transformer: OutputErrorTransformer = NO_TRANSFORMATION,
) : OutputCollector(parent, transformer) {
private lateinit var reportedErrors: MutableList
private fun addError(error: ValidationError) {
if (!::reportedErrors.isInitialized) {
reportedErrors = ArrayList(1)
}
reportedErrors.add(error)
}
private fun addErrors(errors: MutableList) {
if (::reportedErrors.isInitialized) {
reportedErrors.addAll(errors)
} else {
reportedErrors = errors
}
}
override fun onError(error: ValidationError) {
addError(transformError(error))
}
override val output: Nothing
get() = throw UnsupportedOperationException("no output in delegate collector")
override fun updateLocation(path: JsonPointer): OutputCollector =
DelegateOutputCollector(errorCollector, this)
override fun updateKeywordLocation(
path: JsonPointer,
absoluteLocation: AbsoluteLocation?,
canCollapse: Boolean,
): OutputCollector = DelegateOutputCollector(errorCollector, this)
override fun withErrorTransformer(transformer: OutputErrorTransformer): OutputCollector =
DelegateOutputCollector(errorCollector, parent, transformer)
override fun reportErrors() {
if (!::reportedErrors.isInitialized) {
return
}
parent?.also { it.addErrors(reportedErrors) }
?: reportedErrors.forEach(errorCollector::onError)
}
override fun childCollector(): OutputCollector = DelegateOutputCollector(errorCollector, this)
}
private class Flag(
private val parent: Flag? = null,
transformer: OutputErrorTransformer = NO_TRANSFORMATION,
) : OutputCollector(parent, transformer) {
private var valid: Boolean = true
private var hasErrors: Boolean = false
override val isFailFast: Boolean
get() = true
override val output: ValidationOutput.Flag
get() =
if (valid) {
ValidationOutput.Flag.VALID
} else {
ValidationOutput.Flag.INVALID
}
override fun updateKeywordLocation(
path: JsonPointer,
absoluteLocation: AbsoluteLocation?,
canCollapse: Boolean,
): Flag = childCollector()
override fun updateLocation(path: JsonPointer): Flag = childCollector()
override fun withErrorTransformer(transformer: OutputErrorTransformer): Flag =
Flag(parent, transformer)
override fun reportErrors() {
valid = valid && !hasErrors
parent?.also {
it.valid = it.valid && valid
}
}
override fun onError(error: ValidationError) {
if (hasErrors) {
return
}
hasErrors = true
}
override fun childCollector(): Flag =
// once `valid` flag is set to false we can avoid creating child collectors
// because the validation result won't be changed
if (valid) Flag(this) else this
}
private class Basic(
private val parent: Basic? = null,
transformer: OutputErrorTransformer = NO_TRANSFORMATION,
) : OutputCollector(parent, transformer) {
private lateinit var errors: MutableSet
private fun addError(error: OutputUnit) {
if (!::errors.isInitialized) {
errors = linkedSetOf()
}
errors.add(error)
}
private fun addErrors(errors: MutableSet) {
if (::errors.isInitialized) {
this.errors.addAll(errors)
} else {
this.errors = errors
}
}
override fun onError(error: ValidationError) {
val err = transformError(error)
addError(
OutputUnit(
valid = false,
keywordLocation = err.schemaPath,
instanceLocation = err.objectPath,
absoluteKeywordLocation = err.absoluteLocation,
error = err.message,
),
)
}
override val output: ValidationOutput.Basic
get() {
val errors = if (::errors.isInitialized) errors else emptySet()
return ValidationOutput.Basic(
valid = errors.isEmpty(),
errors = errors,
)
}
override fun updateLocation(path: JsonPointer): OutputCollector = childCollector()
override fun updateKeywordLocation(
path: JsonPointer,
absoluteLocation: AbsoluteLocation?,
canCollapse: Boolean,
): OutputCollector = childCollector()
override fun withErrorTransformer(
transformer: OutputErrorTransformer,
): OutputCollector = Basic(parent, transformer)
override fun childCollector(): OutputCollector = Basic(this)
override fun reportErrors() {
if (!::errors.isInitialized) {
return
}
parent?.addErrors(errors)
}
}
@Suppress("detekt:LongParameterList")
private class Detailed(
private val location: JsonPointer = JsonPointer.ROOT,
private val keywordLocation: JsonPointer = JsonPointer.ROOT,
private val parent: Detailed? = null,
private val absoluteLocation: AbsoluteLocation? = null,
private val collapse: Boolean = true,
private val child: Boolean = false,
transformer: OutputErrorTransformer = NO_TRANSFORMATION,
) : OutputCollector(parent, transformer) {
private lateinit var results: MutableSet
private fun addResult(result: OutputUnit) {
if (result.valid) {
// do not add valid
return
}
if (!::results.isInitialized) {
results = linkedSetOf()
}
results.add(result)
}
private fun addResults(results: MutableSet) {
if (results.all { it.valid }) {
return
}
if (::results.isInitialized) {
this.results.addAll(results)
} else {
this.results = results
}
}
override val output: OutputUnit
get() {
if (!::results.isInitialized) {
// variable is uninitialized only if all results are valid
return OutputUnit(
valid = true,
keywordLocation = keywordLocation,
instanceLocation = location,
absoluteKeywordLocation = absoluteLocation,
errors = emptySet(),
)
}
val failed = results
return if (failed.size == 1 && collapse) {
failed.single()
} else {
OutputUnit(
valid = false,
keywordLocation = keywordLocation,
absoluteKeywordLocation = absoluteLocation,
instanceLocation = location,
errors = failed,
)
}
}
override fun updateLocation(path: JsonPointer): Detailed =
Detailed(
location = path,
keywordLocation = keywordLocation,
absoluteLocation = absoluteLocation,
parent = this,
)
override fun updateKeywordLocation(
path: JsonPointer,
absoluteLocation: AbsoluteLocation?,
canCollapse: Boolean,
): Detailed {
val newKeywordLocation =
if (this.absoluteLocation == null) {
path
} else {
this.keywordLocation + this.absoluteLocation.path.relative(path)
}
if (keywordLocation == newKeywordLocation) {
return this
}
return Detailed(
location = location,
keywordLocation = newKeywordLocation,
absoluteLocation = absoluteLocation ?: this.absoluteLocation?.copy(path = path),
parent = this,
collapse = absoluteLocation == null && canCollapse,
)
}
override fun childCollector(): OutputCollector =
Detailed(location, keywordLocation, this, absoluteLocation, child = true)
override fun withErrorTransformer(transformer: OutputErrorTransformer): OutputCollector =
Detailed(location, keywordLocation, parent, absoluteLocation, collapse, transformer = transformer)
override fun reportErrors() {
if (parent == null) {
return
}
if (child) {
if (::results.isInitialized) {
parent.addResults(results)
}
} else {
parent.addResult(output)
}
}
override fun onError(error: ValidationError) {
val err = transformError(error)
addResult(
OutputUnit(
valid = false,
instanceLocation = err.objectPath,
keywordLocation = err.schemaPath,
absoluteKeywordLocation = err.absoluteLocation,
error = err.message,
),
)
}
}
private class Verbose(
private val location: JsonPointer = JsonPointer.ROOT,
private val keywordLocation: JsonPointer = JsonPointer.ROOT,
private val parent: Verbose? = null,
private val absoluteLocation: AbsoluteLocation? = null,
private val child: Boolean = false,
transformer: OutputErrorTransformer = NO_TRANSFORMATION,
) : OutputCollector(parent, transformer) {
private val errors: MutableList = ArrayList(1)
private fun addResult(result: OutputUnit) {
// init hashCode to reduce overhead in future
result.hashCode()
errors.add(result)
}
private fun addResults(results: MutableList) {
errors.addAll(results)
}
override val output: OutputUnit
get() {
if (errors.size == 1) {
// when this is a leaf we should return the reported error
// instead of creating a new node
val childError = errors.single()
if (
childError.errors.isEmpty() &&
childError.let {
it.keywordLocation == keywordLocation && it.instanceLocation == it.instanceLocation
}
) {
return childError
}
}
return OutputUnit(
valid = errors.none { !it.valid },
keywordLocation = keywordLocation,
absoluteKeywordLocation = absoluteLocation,
instanceLocation = location,
errors = errors.toSet(),
)
}
override fun updateLocation(path: JsonPointer): Verbose =
Verbose(
location = path,
keywordLocation = keywordLocation,
absoluteLocation = absoluteLocation,
parent = this,
)
override fun updateKeywordLocation(
path: JsonPointer,
absoluteLocation: AbsoluteLocation?,
canCollapse: Boolean,
): Verbose {
val newKeywordLocation =
if (this.absoluteLocation == null) {
path
} else {
this.keywordLocation + this.absoluteLocation.path.relative(path)
}
if (keywordLocation == newKeywordLocation) {
return this
}
return Verbose(
location = location,
keywordLocation = newKeywordLocation,
absoluteLocation = absoluteLocation ?: this.absoluteLocation?.copy(path = path),
parent = this,
)
}
override fun childCollector(): OutputCollector =
Verbose(location, keywordLocation, this, absoluteLocation, child = true)
override fun withErrorTransformer(transformer: OutputErrorTransformer): OutputCollector =
Verbose(location, keywordLocation, parent, absoluteLocation, transformer = transformer)
override fun reportErrors() {
if (parent == null) {
return
}
if (child) {
parent.addResults(errors)
} else {
parent.addResult(output)
}
}
override fun onError(error: ValidationError) {
val err = transformError(error)
addResult(
OutputUnit(
valid = false,
instanceLocation = err.objectPath,
keywordLocation = err.schemaPath,
absoluteKeywordLocation = err.absoluteLocation,
error = err.message,
),
)
}
}
}