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

None

object None : Result

The result of invoking a member that returns no value.

Functions

open override 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 fun asValue(): Result.Value?

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

open override fun isNone(): Boolean

Whether this is None.

open 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.