solve/it.unibo.tuprolog.solve/JsClassName

JsClassName

data class JsClassName(val module: String, val qualifiedName: String)

A parsed reference to a JS value (e.g. a SolverFactory object instance) reachable as require(module) followed by the dotted qualifiedName path, as used by the JS actual lookups of prologSolverFactory() and friends.

Constructors

JsClassName

constructor(module: String, qualifiedName: String)

Types

Companion

object Companion

Properties

kClass

val kClass: KClass<*>

The KClass of the value resolved by this reference.

module

val module: String

path

val path: List<String>

qualifiedName, split on . into the sequence of property accesses resolve performs.

qualifiedName

val qualifiedName: String

Functions

resolve

fun resolve(): dynamic

Resolves this reference via JS require or a UMD global, returning null if module or any segment of path can't be found.