InbasketP18V2.mesa

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;

}...