public class SocketLibrary extends Library implements ISocketLib
Constructor and Description |
---|
SocketLibrary() |
Modifier and Type | Method and Description |
---|---|
boolean |
aread_from_socket_2(Term Socket,
Struct Options)
Asynchronous read from Socket.
|
boolean |
getAddress_2(Term sock,
Term addr) |
java.lang.String |
getTheory()
Gets the theory provided with the library
Empty theory is provided by default.
|
void |
onSolveEnd() |
void |
onSolveHalt()
method invoked when the engine has
finished a demostration
|
boolean |
read_from_socket_3(Term Socket,
Term Msg,
Struct Options)
Synchronous reading from Socket.
|
boolean |
tcp_socket_client_open_2(Struct Address,
Term SocketTerm)
Create a Client_Socket and connect it to a specified address.
|
boolean |
tcp_socket_server_accept_3(Term ServerSock,
Term Client_Addr,
Term Client_Slave_Socket)
Accept a connection to the specified ServerSocket.
|
boolean |
tcp_socket_server_close_1(Term serverSocket)
Close a Server_Socket
|
boolean |
tcp_socket_server_open_3(Struct Address,
Term Socket,
Struct Options)
Create a ServerSocket bound to the specified Address.
|
boolean |
udp_receive(Term Socket,
Term Data,
Struct AddressFrom,
Struct Options) |
boolean |
udp_send_3(Term Socket,
Term Data,
Struct AddressTo) |
boolean |
udp_socket_close_1(Term Socket) |
boolean |
udp_socket_open_2(Struct Address,
Term Socket) |
boolean |
write_to_socket_2(Term Socket,
Term Msg)
Send Msg through the socket Socket.
|
dismiss, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, getTheory, match, onSolveBegin, setEngine, unify
public java.lang.String getTheory()
Library
public boolean udp_socket_open_2(Struct Address, Term Socket) throws PrologError
udp_socket_open_2
in interface ISocketLib
PrologError
public boolean udp_send_3(Term Socket, Term Data, Struct AddressTo) throws PrologError
udp_send_3
in interface ISocketLib
PrologError
public boolean udp_socket_close_1(Term Socket) throws PrologError
udp_socket_close_1
in interface ISocketLib
PrologError
public boolean udp_receive(Term Socket, Term Data, Struct AddressFrom, Struct Options) throws PrologError
udp_receive
in interface ISocketLib
PrologError
public boolean tcp_socket_server_open_3(Struct Address, Term Socket, Struct Options) throws PrologError
tcp_socket_server_open_3
in interface ISocketLib
PrologError
- if Socket is not a variablepublic boolean tcp_socket_server_accept_3(Term ServerSock, Term Client_Addr, Term Client_Slave_Socket) throws PrologError
tcp_socket_server_accept_3
in interface ISocketLib
PrologError
- if ServerSock is a variable or it is not a Server_Socketpublic boolean tcp_socket_client_open_2(Struct Address, Term SocketTerm) throws PrologError
tcp_socket_client_open_2
in interface ISocketLib
PrologError
- if Socket is not a variablepublic boolean tcp_socket_server_close_1(Term serverSocket) throws PrologError
tcp_socket_server_close_1
in interface ISocketLib
PrologError
- if serverSocket is a variable or it is not a Server_Socketpublic boolean write_to_socket_2(Term Socket, Term Msg) throws PrologError
write_to_socket_2
in interface ISocketLib
PrologError
- if Socket is a variable or it is not a Client_Socket or Msg is not boundpublic boolean read_from_socket_3(Term Socket, Term Msg, Struct Options) throws PrologError
read_from_socket_3
in interface ISocketLib
Options
- The user can specify a timeout using [timeout(millis)]. If timeout expires the
predicate failsPrologError
- if Socket is not bound or it is not a Client_Socket or Msg is boundpublic boolean aread_from_socket_2(Term Socket, Struct Options) throws PrologError
aread_from_socket_2
in interface ISocketLib
Socket
- Socket used to readOptions
- a timeout can be specified for the socket with the option
[timeout(millis)]. If timeout expires while reading, nothing
is read and nothing is asserted.
The user can insert the option assertZ to change the way the
received message is assertedPrologError
- if Socket is not bound or it is not a Client_Socketpublic void onSolveEnd()
onSolveEnd
in class Library
public void onSolveHalt()
Library
onSolveHalt
in class Library
public boolean getAddress_2(Term sock, Term addr) throws PrologError
PrologError