commonMain.it.unibo.tuprolog.serialize.TermObjectifier.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of serialize-core-jvm Show documentation

JSON and YAML serialization support for logic terms and clauses

The newest version!

package it.unibo.tuprolog.serialize

import it.unibo.tuprolog.core.Term
import it.unibo.tuprolog.core.TermVisitor
import kotlin.js.JsName
import kotlin.jvm.JvmStatic

interface TermObjectifier : Objectifier, TermVisitor {
    override fun objectify(value: Term): Any = value.accept(this)

    companion object {
        @JsName("default")
        @JvmStatic
        val default: TermObjectifier
            get() = termObjectifier()
    }
}