package it.unibo.tuprolog.solve.libs.oop.primitives
Classes
| Name | Description |
|---|---|
abstract class AbstractInvoke: Functional<ExecutionContext>
|
|
abstract class AbstractIterableItems<T : Any> : Functional<ExecutionContext>
|
|
object ArrayItems: AbstractIterableItems<Array<*>>
|
|
object Assign: Predicative<ExecutionContext>
|
|
object Cast: TernaryRelation<ExecutionContext>
|
|
object InvokeMethod: AbstractInvoke
|
|
object InvokeStrict: AbstractInvoke
|
|
object ListItems: AbstractIterableItems<List<*>>
|
|
object NewObject3: Functional<ExecutionContext>
|
|
object NullRef: TypeTester<ExecutionContext>
|
|
object ObjectRef: TypeTester<ExecutionContext>
|
|
object Ref: TypeTester<ExecutionContext>
|
|
object Register: NonBacktrackable<ExecutionContext>
|
|
object SetItems: AbstractIterableItems<Set<*>>
|
|
object Type: Functional<ExecutionContext>
|
|
object TypeRef: TypeTester<ExecutionContext>
|
|
object Unregister: NonBacktrackable<ExecutionContext>
|
Fields
| Name | Description |
|---|---|
val termToObjectConverter: TermToObjectConverter
|
Methods
ensuringArgumentIsRef
fun <C : ExecutionContext> Request<C>.ensuringArgumentIsRef(index: Int): Request<C>
Receiver
| Name | Description |
|---|---|
Request<C>
|
Parameters
| Name | Description |
|---|---|
index: Int
|
ReturnValue
| Name | Description |
|---|---|
Request<C>
|
ensuringArgumentIsObjectRef
fun <C : ExecutionContext> Request<C>.ensuringArgumentIsObjectRef(index: Int): Request<C>
Receiver
| Name | Description |
|---|---|
Request<C>
|
Parameters
| Name | Description |
|---|---|
index: Int
|
ReturnValue
| Name | Description |
|---|---|
Request<C>
|
ensuringArgumentIsTypeRef
fun <C : ExecutionContext> Request<C>.ensuringArgumentIsTypeRef(index: Int): Request<C>
Receiver
| Name | Description |
|---|---|
Request<C>
|
Parameters
| Name | Description |
|---|---|
index: Int
|
ReturnValue
| Name | Description |
|---|---|
Request<C>
|
getArgumentAsTypeRef
fun <C : ExecutionContext> Request<C>.getArgumentAsTypeRef(index: Int): TypeRef?
Receiver
| Name | Description |
|---|---|
Request<C>
|
Parameters
| Name | Description |
|---|---|
index: Int
|
ReturnValue
| Name | Description |
|---|---|
TypeRef?
|
isAliasRegistered
fun <C : ExecutionContext> Request<C>.isAliasRegistered(alias: Struct): Boolean
Receiver
| Name | Description |
|---|---|
Request<C>
|
Parameters
| Name | Description |
|---|---|
alias: Struct
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
ensureAliasIsRegistered
fun <C : ExecutionContext> Request<C>.ensureAliasIsRegistered(alias: Struct): Boolean
Receiver
| Name | Description |
|---|---|
Request<C>
|
Parameters
| Name | Description |
|---|---|
alias: Struct
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
findRefFromAlias
fun <C : ExecutionContext> Request<C>.findRefFromAlias(alias: Struct): Ref
Receiver
| Name | Description |
|---|---|
Request<C>
|
Parameters
| Name | Description |
|---|---|
alias: Struct
|
ReturnValue
| Name | Description |
|---|---|
Ref
|
catchingOopExceptions
inline fun <C : ExecutionContext, Req : Request<C>, R> Req.catchingOopExceptions(action: Req.()->R): R
Receiver
| Name | Description |
|---|---|
Req
|
Parameters
| Name | Description |
|---|---|
action: Req.()->R
|
ReturnValue
| Name | Description |
|---|---|
R
|