oop-lib/it.unibo.tuprolog.solve.libs.oop/Result/Value

Value

data class Value(val value: Any?) : Result, TermConvertible

The result of invoking a member that returned value (null included).

Constructors

constructor(value: Any?)

Properties

val value: Any?

Functions

open fun asNone(): Result.None?

This, cast to None, or null if this is not None.

open override fun asObjectRef(): ObjectRef

This result's value wrapped into an ObjectRef (even if it converts to a non-reference Term), or null if isNone.

open override fun asValue(): Result.Value

This, cast to Value, or null if this is not a Value.

open fun isNone(): Boolean

Whether this is None.

open override fun isValue(): Boolean

Whether this is a Value.

open override fun toTerm(): Term

This result's value as a Term (via ObjectToTermConverter.default), or null if isNone.