oop-lib/it.unibo.tuprolog.solve.libs.oop/TypeRef/create

create

open fun create(objectConverter: TermToObjectConverter, vararg arguments: Term): Result

Invokes the (possibly overloaded) constructor of type whose formal parameters best match arguments (converted via objectConverter), yielding a Result wrapping the freshly created instance.

Throws

if no public constructor of type accepts arguments compatible with arguments.

if the invoked constructor throws.

if reflective access to the constructor is denied by the runtime.

abstract fun create(objectConverter: TermToObjectConverter, arguments: List<Term>): Result
open fun create(objectConverter: TermToObjectConverter, arguments: Iterable<Term>): Result
open fun create(objectConverter: TermToObjectConverter, arguments: Sequence<Term>): Result
open fun create(arguments: List<Term>): Result
open fun create(arguments: Iterable<Term>): Result
open fun create(arguments: Sequence<Term>): Result

See also

open fun create(vararg arguments: Term): Result

Like create, but converting arguments via TermToObjectConverter.default.

Generated by Dokka
© 2026 Copyright