External Interface

Predicates

call_c(+Function, ?Code)

Invoke the C function Function and unify its return code with Code.

external(++PredSpec)

Declares PredSpec to be an external predicate

external(++PredSpec, +CName)

Defines PredSpec to be an external predicate linked to the C function CName

handle_close(+)

Eagerly close any kind of handle object

load(++File)

The object code or loadable library File is loaded into the running system.

peer(?Peer)

Checks or enumerates peer names

peer_deregister_multitask(+Peer)

Deregisters and removes the peer Peer from peer multitasking.

peer_do_multitask(+Type)

Perform a multitasking phase.

peer_get_property(+Peer, ?Property, -Value)

Returns the properties of the peer Peer.

peer_multitask_confirm

Confirm a peer multitasking phase.

peer_multitask_terminate

Terminate a peer multitasking phase.

peer_queue_close(+Queue)

Closes the peer queue Queue from ECLiPSe side.

peer_queue_create(+Queue, +Peer, +QueueType, +Direction, +Event)

Create a new peer queue Queue for Peer from ECLiPSe side.

peer_queue_get_property(+Queue, ?Property, -Value)

Get or enumerate properties of a peer queue Queue.

peer_register_multitask(+Peer, -MsgQ)

Registers the peer Peer for peer multitasking.

remote_connect(?Address, ?Peer, ?InitGoal)

Initiate a remote interface connection

remote_connect_accept(+Peer, +Socket, +TimeOut, ?InitGoal, +PassTerm, -InitRes)

Second half of initiating a remote interface connection.

remote_connect_setup(?Address, ?Peer, -Socket)

First half of initiating a remote interface connection.

remote_disconnect(+Peer)

Disconnect the remote peer Peer

remote_yield(+Peer)

Explicitly yield to the remote peer Peer

xget(+Handle, +Index, -Value)

Get the Index-th field of an external data structure (referenced by Handle).

xset(+Handle, +Index, +Value)

Set the Index-th field of an external data structure (referenced by Handle) to Value.