commonMain.it.unibo.tuprolog.solve.library.AliasedLibrary.kt Maven / Gradle / Ivy

Go to download

package it.unibo.tuprolog.solve.library

import kotlin.js.JsName

/** Represents a [Library] that can have an alias */
interface AliasedLibrary : Library {

    /** The library alias */
    @JsName("alias")
    val alias: String

    companion object {

        /** The character used to separate library alias from original name */
        const val ALIAS_SEPARATOR = "."
    }
}

/** Creates a library group from this library aliased and the "added" one */
operator fun  L.plus(library: L): LibraryGroup =
    Libraries(this, library)