-- Copyright (C) 1986 by Xerox Corporation. All rights reserved.
-- Stub file was translated on September 13, 1986 12:10:43 pm PDT by Lupine of February 22, 1986 5:15:54 pm PST
-- Source interface RemoteFingerOps came from file RemoteFingerOps.bcd, which was created on September 13, 1986 12:10:19 pm PDT with version stamp 210#207#22632575164 from source of September 12, 1986 3:05:03 pm PDT.
-- The RPC stub modules for RemoteFingerOps are:
-- RemoteFingerOpsRpcControl.mesa;
-- RemoteFingerOpsRpcClientImpl.mesa;
-- RemoteFingerOpsRpcBinderImpl.mesa;
-- RemoteFingerOpsRpcServerImpl.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
FingerLog,
RemoteFingerOps,
RemoteFingerOpsRpcControl USING [InterfaceRecord, InterMdsCallsOnly,
LupineProtocolVersion, ProcedureIndex, SignalIndex],
RPC --USING SOME OF [InterfaceName, standardZones, Zones]--,
RPCLupine --USING SOME OF [Alloc, Call, DataLength, DeAlloc, Dispatcher,
-- GetPkt, GetStubPkt, ImportHandle, ImportInterface, maxDataLength,
-- maxPrincipalLength, maxShortStringLength, pktOverhead, ReceiveExtraPkt,
-- SendPrelimPkt, StartCall, StartSignal, StubPkt, UnimportInterface]--,
RPCLupineExtras --USING SOME OF [ImportInterfaceWithHost, noHost,
-- RPCHost]--,
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]--,
Rope --USING SOME OF [InlineFlatten, Length, NewText, Text]--,
VM --USING SOME OF [AddressForPageNumber, PageCount, PageNumber,
-- PageNumberForAddress, PagesForWords]--;
RemoteFingerOpsRpcClientImpl: MONITOR
IMPORTS RpcPrivate: RPCLupine, RpcPrivateExtras: RPCLupineExtras,
Lupine: LupineRuntime, Atom, PrincOpsUtils, Rope
EXPORTS RemoteFingerOps, RemoteFingerOpsRpcControl
SHARES RemoteFingerOps, RemoteFingerOpsRpcControl, Rope
= BEGIN OPEN RemoteFingerOps, RpcControl: RemoteFingerOpsRpcControl,
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,
hostHint: RpcPrivateExtras.RPCHost←RpcPrivateExtras.noHost
] =
TRUSTED BEGIN ENABLE UNWIND => NULL;
IsNull: PROCEDURE [string: Rope.ROPE] RETURNS [BOOLEAN] =
INLINE {RETURN[string.Length[] = 0]};
myInterface ← RpcPrivateExtras.ImportInterfaceWithHost [
interface: [
type: IF ~IsNull[interfaceName.type]
THEN interfaceName.type ELSE "RemoteFingerOps~210#207#22632575164",
instance: interfaceName.instance,
version: interfaceName.version ],
localOnly: RpcControl.InterMdsCallsOnly,
stubProtocol: RpcControl.LupineProtocolVersion,
hostHint: hostHint ];
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.
PlayLog: PUBLIC SAFE PROCEDURE [items: LIST OF FingerLog.LogEntry]
RETURNS [success: BOOLEAN] =
TRUSTED BEGIN
ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [
transferIndex (0): RpcControl.ProcedureIndex ← PlayLog];
ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [
success (0): BOOLEAN];
pkt: RpcPrivate.RPCPkt = RpcPrivate.GetPkt[space: RpcPrivate.AllocInline[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];
argPkt.transferIndex ← PlayLog;
BEGIN -- Marshal items: LIST OF FingerLog.LogEntry to pkt.data[pktLength].
thisNode1: LIST OF FingerLog.LogEntry;
listLength: Lupine.ListHeader ← 0;
FOR thisNode1 ← items, 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 ← items, thisNode1.rest UNTIL thisNode1 = NIL
DO
BEGIN -- Marshal thisNode1.first: FingerLog.LogEntry to
-- pkt.data[pktLength].
IF pktLength+1 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt: pkt, pktLength:
pktLength];
pkt.data[pktLength] ← thisNode1.first=NIL; pktLength ←
pktLength+1;
IF thisNode1.first # NIL THEN
BEGIN -- Marshal thisNode1.first↑: FingerLog.LogEntryObject
-- to pkt.data[pktLength].
pktLength ← Lupine.CopyToPkt[pkt: pkt, pktLength: pktLength,
dataAdr: LOOPHOLE[thisNode1.first], dataLength: SIZE[FingerLog.LogEntryObject],
alwaysOnePkt: FALSE];
BEGIN OPEN record: thisNode1.first↑;
WITH variant: record SELECT FROM
StateChange =>
BEGIN -- Marshal variant: RECORD [event: FingerOps.StateChange,
-- user: Rope.ROPE, time: BasicTime.GMT, machine:
-- Rope.ROPE] to pkt.data[pktLength].
BEGIN OPEN record: variant;
BEGIN -- Marshal record.user: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.user=NIL; pktLength
← pktLength+1;
IF record.user # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.user];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.user # NIL.
END; -- Marshal record.user.
BEGIN -- Marshal record.machine: Rope.ROPE to
-- pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.machine=NIL;
pktLength ← pktLength+1;
IF record.machine # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.machine];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.machine # NIL.
END; -- Marshal record.machine.
END; -- OPEN record: variant.
END; -- Marshal variant.
UserPropChange =>
BEGIN -- Marshal variant: RECORD [user: Rope.ROPE,
-- name: Rope.ROPE, val: Rope.ROPE, time: BasicTime.GMT]
-- to pkt.data[pktLength].
BEGIN OPEN record: variant;
BEGIN -- Marshal record.user: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.user=NIL; pktLength
← pktLength+1;
IF record.user # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.user];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.user # NIL.
END; -- Marshal record.user.
BEGIN -- Marshal record.name: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.name=NIL; pktLength
← pktLength+1;
IF record.name # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.name];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.name # NIL.
END; -- Marshal record.name.
BEGIN -- Marshal record.val: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.val=NIL; pktLength
← pktLength+1;
IF record.val # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.val];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.val # NIL.
END; -- Marshal record.val.
END; -- OPEN record: variant.
END; -- Marshal variant.
MachinePropChange =>
BEGIN -- Marshal variant: RECORD [machine: Rope.ROPE,
-- name: Rope.ROPE, val: Rope.ROPE] to pkt.data[pktLength].
BEGIN OPEN record: variant;
BEGIN -- Marshal record.machine: Rope.ROPE to
-- pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.machine=NIL;
pktLength ← pktLength+1;
IF record.machine # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.machine];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.machine # NIL.
END; -- Marshal record.machine.
BEGIN -- Marshal record.name: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.name=NIL; pktLength
← pktLength+1;
IF record.name # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.name];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.name # NIL.
END; -- Marshal record.name.
BEGIN -- Marshal record.val: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.val=NIL; pktLength
← pktLength+1;
IF record.val # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.val];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.val # NIL.
END; -- Marshal record.val.
END; -- OPEN record: variant.
END; -- Marshal variant.
AddMachineProp =>
BEGIN -- Marshal variant: RECORD [name: Rope.ROPE,
-- version: INT] to pkt.data[pktLength].
BEGIN OPEN record: variant;
BEGIN -- Marshal record.name: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.name=NIL; pktLength
← pktLength+1;
IF record.name # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.name];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.name # NIL.
END; -- Marshal record.name.
END; -- OPEN record: variant.
END; -- Marshal variant.
AddUserProp =>
BEGIN -- Marshal variant: RECORD [name: Rope.ROPE,
-- version: INT] to pkt.data[pktLength].
BEGIN OPEN record: variant;
BEGIN -- Marshal record.name: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.name=NIL; pktLength
← pktLength+1;
IF record.name # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.name];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.name # NIL.
END; -- Marshal record.name.
END; -- OPEN record: variant.
END; -- Marshal variant.
DeleteUserProp =>
BEGIN -- Marshal variant: RECORD [name: Rope.ROPE,
-- version: INT] to pkt.data[pktLength].
BEGIN OPEN record: variant;
BEGIN -- Marshal record.name: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.name=NIL; pktLength
← pktLength+1;
IF record.name # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.name];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.name # NIL.
END; -- Marshal record.name.
END; -- OPEN record: variant.
END; -- Marshal variant.
DeleteMachineProp =>
BEGIN -- Marshal variant: RECORD [name: Rope.ROPE,
-- version: INT] to pkt.data[pktLength].
BEGIN OPEN record: variant;
BEGIN -- Marshal record.name: Rope.ROPE to pkt.data[pktLength].
IF pktLength+2 > RpcPrivate.maxDataLength
THEN pktLength ← Lupine.StartNextPkt[pkt:
pkt, pktLength: pktLength];
pkt.data[pktLength] ← record.name=NIL; pktLength
← pktLength+1;
IF record.name # NIL
THEN BEGIN
textRope: Rope.Text = Rope.InlineFlatten[r:
record.name];
pkt.data[pktLength] ← textRope.length;
pktLength ← pktLength+1;
pktLength ← Lupine.CopyToPkt[pkt: pkt,
pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]],
dataLength: Lupine.WordsForChars[textRope.length],
alwaysOnePkt: FALSE];
END; -- IF record.name # NIL.
END; -- Marshal record.name.
END; -- OPEN record: variant.
END; -- Marshal variant.
ENDCASE => NULL; -- WITH variant: record.
END; -- OPEN record: thisNode1.first↑.
END; -- Marshal thisNode1.first↑.
END; -- Marshal thisNode1.first.
ENDLOOP; -- FOR thisNode1.
END; -- Marshal items.
[returnLength: , lastPkt: lastPkt] ←
RpcPrivate.Call[ pkt: pkt, callLength: pktLength,
maxReturnLength: 1, signalHandler: ClientDispatcher];
[success: success] ← resPkt↑;
Lupine.CheckPktLength[pkt: pkt, pktLength: 1];
RpcPrivate.DeAllocInline[LOOPHOLE[pkt], RpcPrivate.pktOverhead+254];
RETURN[success];
END; -- UNWIND.
END; -- PlayLog.
-- Remote public signals and errors.
-- 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
ENDCASE => RETURN[Lupine.DispatchingError[]];
END; -- ClientDispatcher
-- Public signal and error dispatcher stubs.
-- No module initialization.
END. -- RemoteFingerOpsRpcClientImpl.