-- Copyright (C) 1986 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on March 6, 1986 2:35:05 pm PST by Lupine of May 23, 1985 8:38:08 am PDT
-- Source interface LoganBerry came from file LoganBerry.bcd, which was created on March 6, 1986 11:57:09 am PST with version stamp 210#224#2316577624 from source of March 6, 1986 11:11:43 am PST.

-- The RPC stub modules for LoganBerry are:
--   LoganBerryRpcControl.mesa;
--   LoganBerryRpcClientImpl.mesa;
--   LoganBerryRpcBinderImpl.mesa;
--   LoganBerryRpcServerImpl.mesa.

-- The parameters for this translation are:
--   Target language = Cedar
--   Default parameter passing = VALUE
--   Deallocate server heap arguments = TRUE
--   Inline RpcServerImpl dispatcher stubs = TRUE
--   Declare signals = TRUE
--   Warn about short POINTER ("MDS") allocations = TRUE
--   Maximum number of dynamic heap NEWs = 50, MDS NEWs = 50
--   Acceptable parameter protocols = VersionRange[1..1].


DIRECTORY
  RefID,
  Rope,
  RPC,
  LoganBerry,
  LoganBerryRpcControl USING [InterfaceRecord, InterMdsCallsOnly, LupineProtocolVersion,
      ProcedureIndex, SignalIndex],
  RPCLupine --USING SOME OF [Alloc, Call, DataLength, DeAlloc, Dispatcher,
      -- GetPkt, GetStubPkt, ImportHandle, ImportInterface, maxDataLength,
      -- maxPrincipalLength, maxShortStringLength, pktOverhead, ReceiveExtraPkt,
      -- SendPrelimPkt, StartCall, StartSignal, StubPkt, UnimportInterface]--,
  LupineRuntime --USING SOME OF [BindingError, CheckPktLength, CopyFromPkt,
      -- CopyFromMultiplePkts, CopyToPkt, CopyToMultiplePkts, defaultZones,
      -- DispatchingError, FinishThisPkt, ListHeader, MarshalingError,
      -- MarshalingExprError, MarshalAtom, MarshalRope, NilHeader, ProtocolError,
      -- RopeHeader, RpcPktDoubleWord, RuntimeError, SequenceHeader, SHORT,
      -- StartNextPkt, StringHeader, StubPktDoubleWord, TranslationError,
      -- UnmarshalingError, UnmarshalingExprError, UnmarshalAtom, UnmarshalRope,
      -- WordsForChars]--,
  Atom --USING SOME OF [GetPName, MakeAtom]--,
  PrincOpsUtils --USING SOME OF [Enter, Exit]--,
  VM --USING SOME OF [AddressForPageNumber, PageCount, PageNumber,
      -- PageNumberForAddress, PagesForWords]--;


LoganBerryRpcClientImpl: MONITOR
  IMPORTS RpcPrivate: RPCLupine, Lupine: LupineRuntime, Atom, PrincOpsUtils,
      Rope
  EXPORTS LoganBerry, LoganBerryRpcControl
  SHARES  LoganBerry, LoganBerryRpcControl, Rope
  = BEGIN OPEN LoganBerry, RpcControl: LoganBerryRpcControl, RpcPublic:
      RPC;


-- Standard remote binding routines.

  bound: BOOLEAN _ FALSE;
  myInterface: RpcPrivate.ImportHandle;
  paramZones: RpcPublic.Zones _ RpcPublic.standardZones;

  ImportInterface: PUBLIC ENTRY SAFE PROCEDURE [
        interfaceName: RpcPublic.InterfaceName,
        parameterStorage: RpcPublic.Zones ] =
    TRUSTED BEGIN ENABLE UNWIND => NULL;
    IsNull: PROCEDURE [string: Rope.ROPE] RETURNS [BOOLEAN] =
      INLINE {RETURN[string.Length[] = 0]};
        myInterface _ RpcPrivate.ImportInterface [
      interface: [
        type: IF ~IsNull[interfaceName.type]
          THEN interfaceName.type ELSE "LoganBerry~210#224#2316577624",
        instance: interfaceName.instance,
        version: interfaceName.version ],
      localOnly: RpcControl.InterMdsCallsOnly,
      stubProtocol: RpcControl.LupineProtocolVersion ];
    paramZones _ [
      gc: IF parameterStorage.gc # NIL
        THEN parameterStorage.gc ELSE Lupine.defaultZones.gc,
      heap: IF parameterStorage.heap # NIL
        THEN parameterStorage.heap ELSE Lupine.defaultZones.heap,
      mds: IF parameterStorage.mds # NIL
        THEN parameterStorage.mds ELSE Lupine.defaultZones.mds ];
    bound _ TRUE;
    END;

  UnimportInterface: PUBLIC ENTRY SAFE PROCEDURE =
    TRUSTED BEGIN ENABLE UNWIND => NULL;
    IF ~bound THEN Lupine.BindingError;
    myInterface _ RpcPrivate.UnimportInterface[myInterface];
    paramZones _ RpcPublic.standardZones;
    bound _ FALSE;
    END;



-- Remote public procedure stubs.

  Open: PUBLIC SAFE PROCEDURE [conv: Conv, dbName: ROPE] RETURNS [db:
      OpenDB] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ Open];
    ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [
        db (0): OpenDB];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 1;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
          conv];
      argPkt.transferIndex _ Open;
      BEGIN  -- Marshal dbName: ROPE to pkt.data[pktLength].
        pktLength _ Lupine.MarshalRope[dbName, pkt, pktLength, FALSE];
        END;  -- Marshal dbName.
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 2, signalHandler: ClientDispatcher];
      [db: db] _ resPkt^;
      Lupine.CheckPktLength[pkt: pkt, pktLength: 2];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RETURN[db];
      END;  -- UNWIND.
    END;  -- Open.

  Describe: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB] RETURNS
      [info: SchemaInfo] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ Describe, db (1):
        OpenDB];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
          conv];
      argPkt^ _ [db: db];
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 254, signalHandler: ClientDispatcher];
      pktLength _ 0;
      BEGIN  -- Unmarshal info: SchemaInfo from pkt.data[pktLength].
        BEGIN OPEN record: info;
        BEGIN  -- Unmarshal record.dbName: ROPE from pkt.data[pktLength].
          [record.dbName, pktLength] _ Lupine.UnmarshalRope[pkt, pktLength,
              FALSE];
          END;  -- Unmarshal record.dbName.
        BEGIN  -- Unmarshal record.keys: LIST OF AttributeType from
            -- pkt.data[pktLength].
          lastNode: LIST OF AttributeType _ (record.keys _ NIL);
          listLength: Lupine.ListHeader;
          IF pktLength+2 > RpcPrivate.maxDataLength
            THEN pktLength _ Lupine.FinishThisPkt[pkt: pkt, pktLength:
                pktLength];
          listLength _ Lupine.RpcPktDoubleWord[pkt, pktLength]^;
          pktLength _ pktLength + 2;
          WHILE listLength > 0 DO
            thisNode2: LIST OF AttributeType = paramZones.gc.CONS[--DefaultValue--,NIL];
            BEGIN  -- Unmarshal thisNode2.first: AttributeType from
                -- pkt.data[pktLength].
              [thisNode2.first, pktLength] _ Lupine.UnmarshalAtom[pkt,
                  pktLength];
              END;  -- Unmarshal thisNode2.first.
            IF lastNode # NIL
              THEN lastNode _ (lastNode.rest _ thisNode2)
              ELSE lastNode _ (record.keys _ thisNode2);
            listLength _ listLength - 1;
            ENDLOOP;  -- WHILE listLength > 0.
          END;  -- Unmarshal record.keys.
        BEGIN  -- Unmarshal record.indexNames: LIST OF ROPE from pkt.data[pktLength].
          lastNode: LIST OF ROPE _ (record.indexNames _ NIL);
          listLength: Lupine.ListHeader;
          IF pktLength+2 > RpcPrivate.maxDataLength
            THEN pktLength _ Lupine.FinishThisPkt[pkt: pkt, pktLength:
                pktLength];
          listLength _ Lupine.RpcPktDoubleWord[pkt, pktLength]^;
          pktLength _ pktLength + 2;
          WHILE listLength > 0 DO
            thisNode2: LIST OF ROPE = paramZones.gc.CONS[--DefaultValue--,NIL];
            BEGIN  -- Unmarshal thisNode2.first: ROPE from pkt.data[pktLength].
              [thisNode2.first, pktLength] _ Lupine.UnmarshalRope[pkt,
                  pktLength, FALSE];
              END;  -- Unmarshal thisNode2.first.
            IF lastNode # NIL
              THEN lastNode _ (lastNode.rest _ thisNode2)
              ELSE lastNode _ (record.indexNames _ thisNode2);
            listLength _ listLength - 1;
            ENDLOOP;  -- WHILE listLength > 0.
          END;  -- Unmarshal record.indexNames.
        BEGIN  -- Unmarshal record.logs: LIST OF LogID from pkt.data[pktLength].
          lastNode: LIST OF LogID _ (record.logs _ NIL);
          listLength: Lupine.ListHeader;
          IF pktLength+2 > RpcPrivate.maxDataLength
            THEN pktLength _ Lupine.FinishThisPkt[pkt: pkt, pktLength:
                pktLength];
          listLength _ Lupine.RpcPktDoubleWord[pkt, pktLength]^;
          pktLength _ pktLength + 2;
          WHILE listLength > 0 DO
            thisNode2: LIST OF LogID = paramZones.gc.CONS[--DefaultValue--,NIL];
            BEGIN
            IF pktLength+1 > RpcPrivate.maxDataLength
              THEN pktLength _ Lupine.FinishThisPkt[pkt: pkt, pktLength:
                  pktLength];
            thisNode2.first _ pkt.data[pktLength];  pktLength _ pktLength+1;
            END;
            IF lastNode # NIL
              THEN lastNode _ (lastNode.rest _ thisNode2)
              ELSE lastNode _ (record.logs _ thisNode2);
            listLength _ listLength - 1;
            ENDLOOP;  -- WHILE listLength > 0.
          END;  -- Unmarshal record.logs.
        BEGIN  -- Unmarshal record.logNames: LIST OF ROPE from pkt.data[pktLength].
          lastNode: LIST OF ROPE _ (record.logNames _ NIL);
          listLength: Lupine.ListHeader;
          IF pktLength+2 > RpcPrivate.maxDataLength
            THEN pktLength _ Lupine.FinishThisPkt[pkt: pkt, pktLength:
                pktLength];
          listLength _ Lupine.RpcPktDoubleWord[pkt, pktLength]^;
          pktLength _ pktLength + 2;
          WHILE listLength > 0 DO
            thisNode2: LIST OF ROPE = paramZones.gc.CONS[--DefaultValue--,NIL];
            BEGIN  -- Unmarshal thisNode2.first: ROPE from pkt.data[pktLength].
              [thisNode2.first, pktLength] _ Lupine.UnmarshalRope[pkt,
                  pktLength, FALSE];
              END;  -- Unmarshal thisNode2.first.
            IF lastNode # NIL
              THEN lastNode _ (lastNode.rest _ thisNode2)
              ELSE lastNode _ (record.logNames _ thisNode2);
            listLength _ listLength - 1;
            ENDLOOP;  -- WHILE listLength > 0.
          END;  -- Unmarshal record.logNames.
        END;  -- OPEN record: info.
        END;  -- Unmarshal info.
      Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RETURN[info];
      END;  -- UNWIND.
    END;  -- Describe.

  ReadEntry: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB, key: AttributeType,
      value: AttributeValue]
    RETURNS [entry: Entry, others: BOOLEAN] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ ReadEntry, db (1):
        OpenDB];
    ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [
        others (0): BOOLEAN];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
          conv];
      argPkt^ _ [db: db];
      BEGIN  -- Marshal key: AttributeType to pkt.data[pktLength].
        pktLength _ Lupine.MarshalAtom[key, pkt, pktLength];
        END;  -- Marshal key.
      BEGIN  -- Marshal value: AttributeValue to pkt.data[pktLength].
        pktLength _ Lupine.MarshalRope[value, pkt, pktLength, FALSE];
        END;  -- Marshal value.
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 254, signalHandler: ClientDispatcher];
      pktLength _ 1;
      BEGIN  -- OnePkt.
        -- Move statics from pkt now.
        [others: others] _ resPkt^;
      BEGIN  -- Unmarshal entry: Entry from pkt.data[pktLength].
        lastNode: Entry _ (entry _ NIL);
        listLength: Lupine.ListHeader;
        IF pktLength+2 > RpcPrivate.maxDataLength
          THEN pktLength _ Lupine.FinishThisPkt[pkt: pkt, pktLength:
              pktLength];
        listLength _ Lupine.RpcPktDoubleWord[pkt, pktLength]^;
        pktLength _ pktLength + 2;
        WHILE listLength > 0 DO
          thisNode1: Entry = paramZones.gc.CONS[--DefaultValue--,NIL];
          BEGIN  -- Unmarshal thisNode1.first: Attribute from pkt.data[pktLength].
            BEGIN OPEN record: thisNode1.first;
            BEGIN  -- Unmarshal record.type: AttributeType from pkt.data[pktLength].
              [record.type, pktLength] _ Lupine.UnmarshalAtom[pkt,
                  pktLength];
              END;  -- Unmarshal record.type.
            BEGIN  -- Unmarshal record.value: AttributeValue from pkt.data[pktLength].
              [record.value, pktLength] _ Lupine.UnmarshalRope[pkt,
                  pktLength, FALSE];
              END;  -- Unmarshal record.value.
            END;  -- OPEN record: thisNode1.first.
            END;  -- Unmarshal thisNode1.first.
          IF lastNode # NIL
            THEN lastNode _ (lastNode.rest _ thisNode1)
            ELSE lastNode _ (entry _ thisNode1);
          listLength _ listLength - 1;
          ENDLOOP;  -- WHILE listLength > 0.
        END;  -- Unmarshal entry.
      Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
RETURN[entry, others];
      END;  -- OnePkt.
      END;  -- UNWIND.
    END;  -- ReadEntry.

  EnumerateEntries: PUBLIC SAFE PROCEDURE [db: OpenDB, key: AttributeType,
      start: AttributeValue, end: AttributeValue, proc: EntryProc] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ EnumerateEntries,
        db (1): OpenDB];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface];
      argPkt^ _ [db: db];
      BEGIN  -- Marshal key: AttributeType to pkt.data[pktLength].
        pktLength _ Lupine.MarshalAtom[key, pkt, pktLength];
        END;  -- Marshal key.
      BEGIN  -- Marshal start: AttributeValue to pkt.data[pktLength].
        pktLength _ Lupine.MarshalRope[start, pkt, pktLength, FALSE];
        END;  -- Marshal start.
      BEGIN  -- Marshal end: AttributeValue to pkt.data[pktLength].
        pktLength _ Lupine.MarshalRope[end, pkt, pktLength, FALSE];
        END;  -- Marshal end.
-- ##### Error: Cannot YET marshal transfer (e.g., procedure) parameter.
    -- Identifier or type = EntryProc. --  Lupine.TranslationError;
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 0, signalHandler: ClientDispatcher];
      Lupine.CheckPktLength[pkt: pkt, pktLength: 0];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RETURN[];
      END;  -- UNWIND.
    END;  -- EnumerateEntries.

  GenerateEntries: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB, key:
      AttributeType, start: AttributeValue, end: AttributeValue]
    RETURNS [cursor: Cursor] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ GenerateEntries,
        db (1): OpenDB];
    ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [
        cursor (0): Cursor];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
          conv];
      argPkt^ _ [db: db];
      BEGIN  -- Marshal key: AttributeType to pkt.data[pktLength].
        pktLength _ Lupine.MarshalAtom[key, pkt, pktLength];
        END;  -- Marshal key.
      BEGIN  -- Marshal start: AttributeValue to pkt.data[pktLength].
        pktLength _ Lupine.MarshalRope[start, pkt, pktLength, FALSE];
        END;  -- Marshal start.
      BEGIN  -- Marshal end: AttributeValue to pkt.data[pktLength].
        pktLength _ Lupine.MarshalRope[end, pkt, pktLength, FALSE];
        END;  -- Marshal end.
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 2, signalHandler: ClientDispatcher];
      [cursor: cursor] _ resPkt^;
      Lupine.CheckPktLength[pkt: pkt, pktLength: 2];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RETURN[cursor];
      END;  -- UNWIND.
    END;  -- GenerateEntries.

  NextEntry: PUBLIC SAFE PROCEDURE [conv: Conv, cursor: Cursor, dir:
      CursorDirection]
    RETURNS [entry: Entry] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ NextEntry, cursor
        (1): Cursor, dir (3): CursorDirection];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 4;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
          conv];
      argPkt^ _ [cursor: cursor, dir: dir];
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 254, signalHandler: ClientDispatcher];
      pktLength _ 0;
      BEGIN  -- Unmarshal entry: Entry from pkt.data[pktLength].
        lastNode: Entry _ (entry _ NIL);
        listLength: Lupine.ListHeader;
        IF pktLength+2 > RpcPrivate.maxDataLength
          THEN pktLength _ Lupine.FinishThisPkt[pkt: pkt, pktLength:
              pktLength];
        listLength _ Lupine.RpcPktDoubleWord[pkt, pktLength]^;
        pktLength _ pktLength + 2;
        WHILE listLength > 0 DO
          thisNode1: Entry = paramZones.gc.CONS[--DefaultValue--,NIL];
          BEGIN  -- Unmarshal thisNode1.first: Attribute from pkt.data[pktLength].
            BEGIN OPEN record: thisNode1.first;
            BEGIN  -- Unmarshal record.type: AttributeType from pkt.data[pktLength].
              [record.type, pktLength] _ Lupine.UnmarshalAtom[pkt,
                  pktLength];
              END;  -- Unmarshal record.type.
            BEGIN  -- Unmarshal record.value: AttributeValue from pkt.data[pktLength].
              [record.value, pktLength] _ Lupine.UnmarshalRope[pkt,
                  pktLength, FALSE];
              END;  -- Unmarshal record.value.
            END;  -- OPEN record: thisNode1.first.
            END;  -- Unmarshal thisNode1.first.
          IF lastNode # NIL
            THEN lastNode _ (lastNode.rest _ thisNode1)
            ELSE lastNode _ (entry _ thisNode1);
          listLength _ listLength - 1;
          ENDLOOP;  -- WHILE listLength > 0.
        END;  -- Unmarshal entry.
      Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RETURN[entry];
      END;  -- UNWIND.
    END;  -- NextEntry.

  EndGenerate: PUBLIC SAFE PROCEDURE [conv: Conv, cursor: Cursor] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ EndGenerate, cursor
        (1): Cursor];
    pktBuffer: ARRAY [1..RpcPrivate.pktOverhead+3] OF WORD;
    pkt: RpcPrivate.StubPkt = RpcPrivate.GetStubPkt[space: @pktBuffer];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
        conv];
    argPkt^ _ [cursor: cursor];
    [returnLength: , lastPkt: lastPkt] _
      RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
          maxReturnLength: 0, signalHandler: ClientDispatcher];
    Lupine.CheckPktLength[pkt: pkt, pktLength: 0];
    RETURN[];
    END;  -- EndGenerate.

  WriteEntry: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB, entry:
      Entry, log: LogID, replace: BOOLEAN] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ WriteEntry, db (1):
        OpenDB, log (3): LogID, replace (4): BOOLEAN];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 5;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
          conv];
      argPkt^ _ [db: db, log: log, replace: replace];
      BEGIN  -- Marshal entry: Entry to pkt.data[pktLength].
        thisNode1: Entry;
        listLength: Lupine.ListHeader _ 0;
        FOR thisNode1 _ entry, thisNode1.rest UNTIL thisNode1 = NIL
            DO
          listLength _ listLength + 1;  ENDLOOP;
        IF pktLength+2 > RpcPrivate.maxDataLength
          THEN pktLength _ Lupine.StartNextPkt[pkt: pkt, pktLength:
              pktLength];
        Lupine.RpcPktDoubleWord[pkt, pktLength]^ _ listLength;
        pktLength _ pktLength + 2;
        FOR thisNode1 _ entry, thisNode1.rest UNTIL thisNode1 = NIL
            DO
          BEGIN  -- Marshal thisNode1.first: Attribute to pkt.data[pktLength].
            BEGIN OPEN record: thisNode1.first;
            BEGIN  -- Marshal record.type: AttributeType to pkt.data[pktLength].
              pktLength _ Lupine.MarshalAtom[record.type, pkt, pktLength];
              END;  -- Marshal record.type.
            BEGIN  -- Marshal record.value: AttributeValue to pkt.data[pktLength].
              pktLength _ Lupine.MarshalRope[record.value, pkt, pktLength,
                  FALSE];
              END;  -- Marshal record.value.
            END;  -- OPEN record: thisNode1.first.
            END;  -- Marshal thisNode1.first.
          ENDLOOP;  -- FOR thisNode1.
        END;  -- Marshal entry.
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 0, signalHandler: ClientDispatcher];
      Lupine.CheckPktLength[pkt: pkt, pktLength: 0];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RETURN[];
      END;  -- UNWIND.
    END;  -- WriteEntry.

  DeleteEntry: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB, key:
      AttributeType, value: AttributeValue] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ DeleteEntry, db
        (1): OpenDB];
    pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.Alloc[RpcPrivate.pktOverhead+254]];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    BEGIN ENABLE UNWIND => RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
          conv];
      argPkt^ _ [db: db];
      BEGIN  -- Marshal key: AttributeType to pkt.data[pktLength].
        pktLength _ Lupine.MarshalAtom[key, pkt, pktLength];
        END;  -- Marshal key.
      BEGIN  -- Marshal value: AttributeValue to pkt.data[pktLength].
        pktLength _ Lupine.MarshalRope[value, pkt, pktLength, FALSE];
        END;  -- Marshal value.
      [returnLength: , lastPkt: lastPkt] _
        RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
            maxReturnLength: 0, signalHandler: ClientDispatcher];
      Lupine.CheckPktLength[pkt: pkt, pktLength: 0];
      RpcPrivate.DeAlloc[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
      RETURN[];
      END;  -- UNWIND.
    END;  -- DeleteEntry.

  Close: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ Close, db (1): OpenDB];
    pktBuffer: ARRAY [1..RpcPrivate.pktOverhead+3] OF WORD;
    pkt: RpcPrivate.StubPkt = RpcPrivate.GetStubPkt[space: @pktBuffer];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
        conv];
    argPkt^ _ [db: db];
    [returnLength: , lastPkt: lastPkt] _
      RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
          maxReturnLength: 0, signalHandler: ClientDispatcher];
    Lupine.CheckPktLength[pkt: pkt, pktLength: 0];
    RETURN[];
    END;  -- Close.

  BuildIndices: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ BuildIndices, db
        (1): OpenDB];
    pktBuffer: ARRAY [1..RpcPrivate.pktOverhead+3] OF WORD;
    pkt: RpcPrivate.StubPkt = RpcPrivate.GetStubPkt[space: @pktBuffer];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
        conv];
    argPkt^ _ [db: db];
    [returnLength: , lastPkt: lastPkt] _
      RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
          maxReturnLength: 0, signalHandler: ClientDispatcher];
    Lupine.CheckPktLength[pkt: pkt, pktLength: 0];
    RETURN[];
    END;  -- BuildIndices.

  CompactLogs: PUBLIC SAFE PROCEDURE [conv: Conv, db: OpenDB] =
    TRUSTED BEGIN
    ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
        transferIndex (0): RpcControl.ProcedureIndex _ CompactLogs, db
        (1): OpenDB];
    pktBuffer: ARRAY [1..RpcPrivate.pktOverhead+3] OF WORD;
    pkt: RpcPrivate.StubPkt = RpcPrivate.GetStubPkt[space: @pktBuffer];
    argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0];
    pktLength: RpcPrivate.DataLength _ 3;
    lastPkt: BOOLEAN;
    RpcPrivate.StartCall[callPkt: pkt, interface: myInterface, localConversation:
        conv];
    argPkt^ _ [db: db];
    [returnLength: , lastPkt: lastPkt] _
      RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
          maxReturnLength: 0, signalHandler: ClientDispatcher];
    Lupine.CheckPktLength[pkt: pkt, pktLength: 0];
    RETURN[];
    END;  -- CompactLogs.


-- Remote public signals and errors.

  Error: PUBLIC ERROR [ec: ErrorCode, explanation: ROPE] = CODE;


-- Public signal and error dispatcher.

  ClientDispatcher: --PROCEDURE [pkt: RPCPkt, callLength: DataLength,
      -- lastPkt: BOOLEAN, localConversation: Conversation] RETURNS [returnLength:
      -- DataLength]-- RpcPrivate.Dispatcher =
    BEGIN

    SELECT LOOPHOLE[pkt.data[0], RpcControl.SignalIndex] FROM
      Error => RETURN[
        ErrorStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt,
            localConversation: localConversation]];
      ENDCASE => RETURN[Lupine.DispatchingError[]];

    END;  -- ClientDispatcher


-- Public signal and error dispatcher stubs.

  ErrorStub: --ERROR [ec: ErrorCode, explanation: ROPE]-- RpcPrivate.Dispatcher
      =
    INLINE BEGIN
    ec: ErrorCode;
    explanation: ROPE;
    pktLength: RpcPrivate.DataLength _ 1;
    BEGIN  -- Unmarshal ec: ErrorCode from pkt.data[pktLength].
      [ec, pktLength] _ Lupine.UnmarshalAtom[pkt, pktLength];
      END;  -- Unmarshal ec.
    BEGIN  -- Unmarshal explanation: ROPE from pkt.data[pktLength].
      [explanation, pktLength] _ Lupine.UnmarshalRope[pkt, pktLength,
          FALSE];
      END;  -- Unmarshal explanation.
    Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength];
    ERROR Error[ec, explanation];
    END;  -- ErrorStub.


-- Marshall/Unmarshal procedures.


-- No module initialization.

END.  -- LoganBerryRpcClientImpl.