<<>>
<<MailTransportP17V5.Mesa>>
<<Copyright Ó 1989, 1991 by Xerox Corporation.  All rights reserved.>>
<<Generated by Willie-sue.pa at February 13, 1989 6:28:31 pm PST>>
<<using Sirocco [2.0] of February 10, 1989 6:26:26 pm PST>>

    DIRECTORY
        CrRPC,
        CHNameP2V0,
        AuthenticationP14V2,
        CHOpsP2V3,
        BulkDataP0V1,
        Rope;

    MailTransportP17V5: CEDAR DEFINITIONS ~ {

        ROPE: TYPE ~ Rope.ROPE;


        BeginRetrievalType: TYPE ~ PROC [h: CrRPC.Handle, deliverySlot: CHNameP2V0.ThreePartName, credentials: 
        AuthenticationP14V2.Credentials, verifier: AuthenticationP14V2.SeqWords] RETURNS [session: Session];
        BeginRetrieval: BeginRetrievalType;

        BPSeq: TYPE ~ REF BPSeqObject;
        BPSeqObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF CARD32
            ];

        TransferProblem: TYPE ~ MACHINE DEPENDENT { aborted(0)};

        InvalidNameList: TYPE ~ REF InvalidNameListObject;
        InvalidNameListObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF InvalidName
            ];

        ServiceErrorType: TYPE ~ ERROR [problem: ServiceProblem];
        ServiceError: ServiceErrorType;

        RetrieveEnvelopeType: TYPE ~ PROC [h: CrRPC.Handle, session: Session] RETURNS [empty: BOOLEAN, envelope: Envelope];
        RetrieveEnvelope: RetrieveEnvelopeType;

        Verifier: TYPE ~ AuthenticationP14V2.SeqWords;

        AccessErrorType: TYPE ~ ERROR [problem: AccessProblem];
        AccessError: AccessErrorType;

        GatewaySpecInfo: TYPE ~ REF GatewaySpecInfoObject;
        GatewaySpecInfoObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF Attribute
            ];

        PostingData: TYPE ~ RECORD [
            recipients: RecipientList,
            contentsType: CARD32,
            contentsSize: CARD32,
            bodyPartTypesSequence: BPSeq];

        Attribute: TYPE ~ RECORD [
            type: ROPE,
            value: ROPE];

        ReportType: TYPE ~ MACHINE DEPENDENT { none(0), nonDeliveryOnly(1), all(2), unknown(65535)};

        MessageID: TYPE ~ ARRAY [0..5) OF CARD16;

        BrokenName: TYPE ~ RECORD [
            given: ROPE,
            initials: ROPE,
            family: ROPE,
            generation: ROPE];

        ServiceProblem: TYPE ~ MACHINE DEPENDENT { cannotAuthenticate(0), serviceFull(1), serviceUnavailable(2), mediumFull(3)};

        AbortRetrievalType: TYPE ~ PROC [h: CrRPC.Handle, session: Session];
        AbortRetrieval: AbortRetrievalType;

        SessionProblem: TYPE ~ MACHINE DEPENDENT { invalidHandle(0), wrongState(1)};

        Recipient: TYPE ~ RECORD [
            name: RName,
            recipientID: CARD16,
            report: ReportType];

        RName: TYPE ~ REF RNameObject;
        RNameObject: TYPE ~ RECORD [
            SELECT type: RNameKind FROM
                xns => [xns: CHNameP2V0.ThreePartName],
                gateway => [gateway: GatewayRecord]
                ENDCASE
            ];

        InvalidReason: TYPE ~ MACHINE DEPENDENT { noSuchRecipient(0), noMailboxForRecipient(1), illegalName(2), noDLsAllowed(3), 
        reportNotAllowed(4)};

        SessionToken: TYPE ~ ARRAY [0..2) OF CARD16;

        OrgUnits: TYPE ~ REF OrgUnitsObject;
        OrgUnitsObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF ROPE
            ];

        InvalidName: TYPE ~ RECORD [
            id: CARD16,
            invalidReason: InvalidReason];

        MailPollType: TYPE ~ PROC [h: CrRPC.Handle, deliverySlot: CHNameP2V0.ThreePartName, credentials: AuthenticationP14V2.Credentials, 
        verifier: AuthenticationP14V2.SeqWords] RETURNS [mailPresent: BOOLEAN];
        MailPoll: MailPollType;

        OptionalEnvItemSeq: TYPE ~ REF OptionalEnvItemSeqObject;
        OptionalEnvItemSeqObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF EnvelopeItem
            ];

        RNameKind: TYPE ~ MACHINE DEPENDENT { xns(0), gateway(1)};

        BeginPostType: TYPE ~ PROC [h: CrRPC.Handle, envelopeData: PostingData, postIfInvalidNames: BOOLEAN, allowDLRecipients: BOOLEAN, 
        optionalEnvelopeData: OptionalEnvItemSeq, credentials: AuthenticationP14V2.Credentials, verifier: 
        AuthenticationP14V2.SeqWords] RETURNS [session: Session, invalidNames: InvalidNameList];
        BeginPost: BeginPostType;

        BodyPartType: TYPE ~ CARD32;

        RetrieveContentType: TYPE ~ PROC [h: CrRPC.Handle, content: CrRPC.BulkDataSink, session: Session];
        RetrieveContent: RetrieveContentType;

        Credentials: TYPE ~ AuthenticationP14V2.Credentials;

        ServerPollType: TYPE ~ PROC [h: CrRPC.Handle] RETURNS [willingness: Willingness, address: CHOpsP2V3.NetworkAddressList, serverName: 
        CHNameP2V0.ThreePartName];
        ServerPoll: ServerPollType;

        Willingness: TYPE ~ REF WillingnessObject;
        WillingnessObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF CARD16
            ];

        SessionErrorType: TYPE ~ ERROR [problem: SessionProblem];
        SessionError: SessionErrorType;

        EnvelopeItem: TYPE ~ RECORD [
            type: CARD32,
            value: Opaque];

        PerChoice: TYPE ~ REF PerChoiceObject;
        PerChoiceObject: TYPE ~ RECORD [
            SELECT type: PerChoiceKind FROM
                whole => [whole: ROPE],
                broken => [broken: BrokenName]
                ENDCASE
            ];

        GatewayRecord: TYPE ~ RECORD [
            country: ROPE,
            adminDomain: ROPE,
            privateDomain: ROPE,
            organization: ROPE,
            organizationalUnits: OrgUnits,
            personal: PerChoice,
            gatewaySpecificInformation: GatewaySpecInfo];

        ContentsType: TYPE ~ CARD32;

        Envelope: TYPE ~ REF EnvelopeObject;
        EnvelopeObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF EnvelopeItem
            ];

        PerChoiceKind: TYPE ~ MACHINE DEPENDENT { whole(0), broken(1)};

        InvalidRecipientsType: TYPE ~ ERROR [nameList: InvalidNameList];
        InvalidRecipients: InvalidRecipientsType;

        EnvelopeItemType: TYPE ~ CARD32;

        RecipientList: TYPE ~ REF RecipientListObject;
        RecipientListObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF Recipient
            ];

        AccessProblem: TYPE ~ MACHINE DEPENDENT { accessRightsInsufficient(0), accessRightsIndeterminate(1), deliverySlotInUse(2), 
        noSuchDeliverySlot(3), deliverySlotIndeterminate(4), wrongService(5)};

        TransferErrorType: TYPE ~ ERROR [problem: TransferProblem];
        TransferError: TransferErrorType;

        EndPostType: TYPE ~ PROC [h: CrRPC.Handle, session: Session, abortPost: BOOLEAN] RETURNS [messageID: MessageID];
        EndPost: EndPostType;

        WillingnessMetric: TYPE ~ CARD16;

        PostOneBodyPartType: TYPE ~ PROC [h: CrRPC.Handle, session: Session, bodyPartType: CARD32, contents: CrRPC.BulkDataSource];
        PostOneBodyPart: PostOneBodyPartType;

        Name: TYPE ~ CHNameP2V0.ThreePartName;

        OtherErrorType: TYPE ~ ERROR [problem: OtherProblem];
        OtherError: OtherErrorType;

        EndRetrievalType: TYPE ~ PROC [h: CrRPC.Handle, session: Session];
        EndRetrieval: EndRetrievalType;

        OtherProblem: TYPE ~ MACHINE DEPENDENT { cantExpedite(0), malformedMessage(1), incorrectContentsSize(2), last(65535)};

        Opaque: TYPE ~ REF OpaqueObject;
        OpaqueObject: TYPE ~ MACHINE DEPENDENT RECORD [
            body: PACKED SEQUENCE length: CARDINAL OF CARD16
            ];

        AuthenticationErrorType: TYPE ~ ERROR [problem: AuthenticationP14V2.Problem];
        AuthenticationError: AuthenticationErrorType;

        Session: TYPE ~ RECORD [
            token: SessionToken,
            verifier: AuthenticationP14V2.SeqWords];

    }...