<> <> <> DIRECTORY DriverTypes USING [DeviceType], NSAddress USING [HostNumber, NetworkNumber], BufferDefs USING [Buffer]; SpecialCommunication: DEFINITIONS = BEGIN OPEN NSAddress; <> RoutersFunction: TYPE = {vanillaRouting, interNetworkRouting}; <> <> PhysicalMedium: TYPE = DriverTypes.DeviceType; <> <> SetRouterFunction: PROCEDURE [newFunction: RoutersFunction, numberINRBuffers: CARDINAL _ 20] RETURNS [oldFunction: RoutersFunction]; <> GetRouterFunction: PROCEDURE RETURNS [RoutersFunction]; <> <> <> <> <> SetNetworkID: PROCEDURE [ physicalOrder: CARDINAL, medium: PhysicalMedium, newNetID: NetworkNumber] RETURNS [oldNetID: NetworkNumber]; GetNetworkID: PROCEDURE [physicalOrder: CARDINAL, medium: PhysicalMedium] RETURNS [NetworkNumber]; NetworkNonExistent: ERROR; <> <> <> <> SpyProc: TYPE = PROCEDURE [b: BufferDefs.Buffer] RETURNS [BOOLEAN]; <> <> SetSpyProc: PROCEDURE [spy: SpyProc _ NIL]; -- NIL is normal/default value. <> <> SetEthernetListener: PROCEDURE [ physicalOrder: CARDINAL, newHostNumber: NSAddress.HostNumber] RETURNS [success: BOOLEAN]; SetEthernetOneListener: PROCEDURE [ physicalOrder: CARDINAL, newHostNumber: CARDINAL] RETURNS [success: BOOLEAN]; SetEthernetCollectGarbageToo: PROCEDURE [ physicalOrder: CARDINAL, collectGarbage: BOOLEAN] RETURNS [success: BOOLEAN]; SetEthernetOneCollectGarbageToo: PROCEDURE [ physicalOrder: CARDINAL, collectGarbage: BOOLEAN] RETURNS [success: BOOLEAN]; END.