Modules of the server

The file pathnames of the modules are the relative pathnames whose origin is directory Kappa/src.

main(main/main.kl1)

The server of application programs of Kappa is defined.

irpr_request(irpr/irpr_request.kl1)

receives requests for irpr from clients.

irpr_service(irpr/irpr_service.kl1)

offers irpr's service. This module transforms irpr commands into the database manipulation messages, which are sent to irpr_kappa.

irpr_kappa(irpr/irpr_kappa.kl1)

transforms the database maniulation messages into the primitive commands of Kappa and execute them.

irpr_select(irpr/irpr_select.kl1)

The search conditional formulae allowed by irpr are transformed into those accepted by Kappa. Search conditional formulae can be arbitrarily defined in each application.

irpr_conv(irpr/irpr_conv.kl1)

Terms are transformed into lists of character codes and are output. This process is necessary because putt is not applicable to the socket.