next up previous
Next: Execution of messages Up: Module irpr_kappa(irpr_kappa.kl1) Previous: Module irpr_kappa(irpr_kappa.kl1)

Irpr system server

The following irpr_loop/4 is the process of irpr system server. The meaning of the arguments are shown first.

PreStatus
Caller's status.
IrprITR
The interface stream to the irpr server. MSG stands for message.
Mode
Mode of creating the irpr server, which is read_only or update. If read_only is specified, updating of the table will be prohibited.
IFP
The stream to the interface process of Kappa.

irpr_loop(PreStatus,[MSG|IrprITR],Mode,IFP) :-
        wait(PreStatus) |
    exec(MSG,Mode,Status)+IFP+NewIFP,
    irpr_loop(Status,IrprITR,Mode,NewIFP).
otherwise.
irpr_loop(_PreStatus,_IrprITR,_Mode,IFP) :-
    IFP = [].