DIRECTORY CrRPC, CHNameP2V0, AuthenticationP14V2, MailTransportP17V5, BulkDataP0V1, Rope; InbasketP18V2: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; AccessProblem: TYPE ~ MACHINE DEPENDENT { accessRightsInsufficient(0), accessRightsIndeterminate(1), noSuchInbasket(2), inbasketIndeterminate(3), wrongService(4)}; LogoffType: TYPE ~ PROC [h: CrRPC.Handle, session: Session]; Logoff: LogoffType; BodyPartStatusChangeSequence: TYPE ~ REF BodyPartStatusChangeSequenceObject; BodyPartStatusChangeSequenceObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF BodyPartStatusChange ]; MailCheckType: TYPE ~ PROC [h: CrRPC.Handle, session: Session] RETURNS [state: State]; MailCheck: MailCheckType; AuthenticationErrorType: TYPE ~ ERROR [problem: AuthenticationP14V2.Problem]; AuthenticationError: AuthenticationErrorType; ServiceProblem: TYPE ~ MACHINE DEPENDENT { cannotAuthenticate(0), serviceFull(1), serviceUnavailable(2)}; Range: TYPE ~ RECORD [ low: CARD32, high: CARD32]; SessionErrorType: TYPE ~ ERROR [problem: SessionProblem]; SessionError: SessionErrorType; TransferErrorType: TYPE ~ ERROR [problem: TransferProblem]; TransferError: TransferErrorType; BodyPartsStatus: TYPE ~ REF BodyPartsStatusObject; BodyPartsStatusObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF BOOLEAN ]; RetrieveBodyPartsType: TYPE ~ PROC [h: CrRPC.Handle, message: CARD32, bodyParts: BodyPartSequence, contents: CrRPC.BulkDataSink, session: Session]; RetrieveBodyParts: RetrieveBodyPartsType; ChangeBodyPartsStatusType: TYPE ~ PROC [h: CrRPC.Handle, index: CARD32, setStatusTo: BodyPartStatusChangeSequence, session: Session] RETURNS [deleted: BOOLEAN]; ChangeBodyPartsStatus: ChangeBodyPartsStatusType; Credentials: TYPE ~ AuthenticationP14V2.Credentials; GetSizeType: TYPE ~ PROC [h: CrRPC.Handle, inbasket: CHNameP2V0.ThreePartName, credentials: AuthenticationP14V2.Credentials, verifier: AuthenticationP14V2.SeqWords] RETURNS [sizeInBytes: CARD32]; GetSize: GetSizeType; WhichOne: TYPE ~ MACHINE DEPENDENT { this(0), next(1)}; BodyPartStatusChange: TYPE ~ RECORD [ bodyPartIndex: CARD16, deleteable: Del]; BodyPartIndex: TYPE ~ CARD16; InbasketInUseType: TYPE ~ ERROR [user: CHNameP2V0.ThreePartName]; InbasketInUse: InbasketInUseType; RetrieveEnvelopesType: TYPE ~ PROC [h: CrRPC.Handle, last: CARD32, whichMsg: WhichOne, session: Session] RETURNS [transportEnvelope: MailTransportP17V5.Envelope, status: Status, next: CARD32]; RetrieveEnvelopes: RetrieveEnvelopesType; BodyPartSequence: TYPE ~ REF BodyPartSequenceObject; BodyPartSequenceObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF CARD16 ]; ServiceErrorType: TYPE ~ ERROR [problem: ServiceProblem]; ServiceError: ServiceErrorType; nullIndex: CARD32 ~ 0; ChangeMessageStatusType: TYPE ~ PROC [h: CrRPC.Handle, range: Range, changeUserDefinedStatus: BOOLEAN, newUserDefinedStatus: CARD16, session: Session]; ChangeMessageStatus: ChangeMessageStatusType; Name: TYPE ~ CHNameP2V0.ThreePartName; Verifier: TYPE ~ AuthenticationP14V2.SeqWords; OtherProblem: TYPE ~ MACHINE DEPENDENT { cantExpedite(0), malformedMessage(1), invalidOperation(2), last(65535)}; TransferProblem: TYPE ~ MACHINE DEPENDENT { aborted(0)}; Session: TYPE ~ RECORD [ token: Two, verifier: AuthenticationP14V2.SeqWords]; IndexErrorType: TYPE ~ ERROR [problem: IndexProblem]; IndexError: IndexErrorType; LogonType: TYPE ~ PROC [h: CrRPC.Handle, inbasket: CHNameP2V0.ThreePartName, credentials: AuthenticationP14V2.Credentials, verifier: AuthenticationP14V2.SeqWords] RETURNS [session: Session, state: State, anchor: Anchor]; Logon: LogonType; DeleteType: TYPE ~ PROC [h: CrRPC.Handle, range: Range, session: Session]; Delete: DeleteType; MessageStatus: TYPE ~ RECORD [ userDefinedStatus: CARD16, existenceOfMessage: Exist]; IndexProblem: TYPE ~ MACHINE DEPENDENT { invalidIndex(0), invalidBodyPartIndex(1)}; Anchor: TYPE ~ PACKED ARRAY [0..5) OF CARD16; MailPollType: TYPE ~ PROC [h: CrRPC.Handle, inbasket: CHNameP2V0.ThreePartName, credentials: AuthenticationP14V2.Credentials, verifier: AuthenticationP14V2.SeqWords] RETURNS [state: State]; MailPoll: MailPollType; Index: TYPE ~ CARD32; OtherErrorType: TYPE ~ ERROR [problem: OtherProblem]; OtherError: OtherErrorType; Del: TYPE ~ MACHINE DEPENDENT { true(0), noChange(1)}; Exist: TYPE ~ MACHINE DEPENDENT { new(0), known(1)}; State: TYPE ~ RECORD [ new: CARD16, total: CARD16]; Two: TYPE ~ PACKED ARRAY [0..2) OF CARD16; SessionProblem: TYPE ~ MACHINE DEPENDENT { tokenInvalid(0)}; Status: TYPE ~ RECORD [ messageStatus: MessageStatus, bodyPartsStatus: BodyPartsStatus]; AccessErrorType: TYPE ~ ERROR [problem: AccessProblem]; AccessError: AccessErrorType; }... ^ InbasketP18V2.mesa Copyright Σ 1991, 1992 by Xerox Corporation. All rights reserved. ΚΏ–(cedarcode) style•NewlineDelimiter ™™Jšœ Οeœ7™BJ™—IcodešΟk ˜ K˜K˜ K˜K˜K˜ K˜K˜KšΟn œžœž œ˜$K˜Kšžœžœžœ˜K˜K˜Kšœžœžœž œ|˜£K˜Kšœ žœžœ%˜K˜K˜Kšœžœžœ%žœ˜VKšŸ œ˜K˜Kšœžœžœ(˜MKšŸœ˜-K˜Kšœžœžœž œA˜iK˜Kšœžœžœ˜Kšœžœ˜ Kšœžœ˜K˜Kšœžœžœ˜9KšŸ œ˜K˜Kšœžœžœ˜;KšŸ œ˜!K˜Kšœžœžœ˜2Kš œžœžœž œžœ˜8Kš œžœžœ žœžœž˜1K˜K˜KšœžœžœžœO˜“KšŸœ˜)K˜Kš œžœžœžœ?žœ žœ˜ KšŸœ˜1K˜Kšœ žœ#˜4K˜Kš œ žœžœžœžœ˜ΓKšŸœ˜K˜Kšœ žœžœž œ˜7K˜Kšœžœžœ˜%Kšœžœ˜K˜K˜Kšœžœžœ˜K˜Kšœžœžœ"˜AKšŸ œ˜!K˜Kš œžœžœžœ(žœHžœ˜ΐKšŸœ˜)K˜Kšœžœžœ˜4Kš œžœžœž œžœ˜9Kš œžœžœ žœžœž˜0K˜K˜Kšœžœžœ˜9KšŸ œ˜K˜Kšœ žœ˜K˜Kš œžœžœ:žœžœ˜—KšŸœ˜-K˜Kšœžœ˜&K˜Kšœ žœ ˜.K˜Kšœžœžœž œK˜qK˜Kšœžœžœž œ˜8K˜Kšœ žœžœ˜K˜ K˜(K˜Kšœžœžœ˜5KšŸ œ˜K˜Kšœ žœžœžœ2˜άKšŸœ ˜K˜Kšœ žœžœ3˜JKšŸœ ˜K˜Kšœžœžœ˜Kšœžœ˜K˜K˜Kšœžœžœž œ-˜SK˜Kš œžœžœžœžœžœ˜-K˜Kšœžœžœžœ˜½KšŸœ˜K˜Kšœžœžœ˜K˜Kšœžœžœ˜5KšŸ œ˜K˜Kšœžœžœž œ˜6K˜Kšœžœžœž œ˜4K˜Kšœžœžœ˜Kšœžœ˜ Kšœžœ˜K˜Kš œžœžœžœžœžœ˜*K˜Kšœžœžœž œ˜