commonMain.it.unibo.tuprolog.solve.flags.NotableFlag.kt Maven / Gradle / Ivy

Go to download

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

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.flags

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

interface NotableFlag {
    @JsName("name")
    val name: String

    @JsName("defaultValue")
    val defaultValue: Term

    @JsName("isEditable")
    val isEditable: Boolean
        get() = true

    @JsName("admissibleValues")
    val admissibleValues: Sequence

    @JsName("isAdmissibleValue")
    fun isAdmissibleValue(value: Term): Boolean = value in admissibleValues

    @JsName("toPair")
    fun toPair(): Pair = this to defaultValue

    @JsName("to")
    infix fun to(value: Term): Pair =
        name to
            value.also {
                require(isAdmissibleValue(it)) {
                    "$value is not an admissible value for flag $name"
                }
            }

    companion object {
        @JsName("fromName")
        @JvmStatic
        fun fromName(name: String): NotableFlag? =
            sequenceOf(
                DoubleQuotes,
                LastCallOptimization,
                MaxArity,
                Unknown,
            ).firstOrNull { it.name == name }
    }
}