<<>>
-- EnvelopeContentsP0V0ClientImpl.Mesa
-- Copyright Ó 1991 by Xerox Corporation.  All rights reserved.
    -- Copyright (C) 1989 by Xerox Corporation.  All rights reserved.
    -- Generated by Willie-sue.pa at February 13, 1989 6:52:59 pm PST
    --  using Sirocco [2.0] of February 10, 1989 6:26:26 pm PST
    
DIRECTORY
    CrRPC,
    CHNameP2V0,
    MailTransportP17V5,
    EnvelopeFormatP1517V1,
    EnvelopeContentsP0V0;

EnvelopeContentsP0V0ClientImpl: CEDAR PROGRAM
    IMPORTS CrRPC
    EXPORTS EnvelopeContentsP0V0 ~ {
    OPEN EnvelopeContentsP0V0;

GetError: CrRPC.GetErrorProc ~ {
        ERROR CrRPC.Error[h, remoteError, "Unexpected Remote Error"];
        };
    
-- Remote Procedures --
    
    OriginatorFromItem: PUBLIC OriginatorFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc2[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~5 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    OtherRecipientsFromItem: PUBLIC OtherRecipientsFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc3[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~13 , putArgs~PutArgs, getResults~GetResults, 
getError~GetError];
        };
    
    PostmarkFromItem: PUBLIC PostmarkFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value.postedAt Ź UProc2[h, s];
            value.time Ź CrRPC.GetCard32[s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~0 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    TableOfContentsFromItem: PUBLIC TableOfContentsFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc4[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~3 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    ReportFromItem: PUBLIC ReportFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value.originalEnvelope Ź UProc5[h, s];
            value.fateOfThisReport Ź UProc6[h, s];
            value.reportType Ź UProc7[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~6 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    ReturnToNameFromItem: PUBLIC ReturnToNameFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc2[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~7 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    AuthenticationLevelOfSenderFromItem: PUBLIC AuthenticationLevelOfSenderFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź VAL[CrRPC.GetCard16[s]];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~16 , putArgs~PutArgs, getResults~GetResults, 
getError~GetError];
        };
    
    ContentsTypeFromItem: PUBLIC ContentsTypeFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź CrRPC.GetCard32[s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~2 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    TransportOptionsFromItem: PUBLIC TransportOptionsFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value.returnOfContents Ź CrRPC.GetBool[s];
            value.alternateRecipientAllowed Ź CrRPC.GetBool[s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~11 , putArgs~PutArgs, getResults~GetResults, 
getError~GetError];
        };
    
    AddressChangeNoticeFromItem: PUBLIC AddressChangeNoticeFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc2[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~10 , putArgs~PutArgs, getResults~GetResults, 
getError~GetError];
        };
    
    ContentsSizeFromItem: PUBLIC ContentsSizeFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź CrRPC.GetCard32[s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~4 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    MessageIDFromItem: PUBLIC MessageIDFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            FOR i8: CARDINAL IN [0..5) DO
                value[i8] Ź CrRPC.GetCard16[s];
                ENDLOOP;
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~1 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    ConvertedFromItem: PUBLIC ConvertedFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc9[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~15 , putArgs~PutArgs, getResults~GetResults, 
getError~GetError];
        };
    
    PriorityFromItem: PUBLIC PriorityFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź VAL[CrRPC.GetCard16[s]];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~14 , putArgs~PutArgs, getResults~GetResults, 
getError~GetError];
        };
    
    X400SpecificReportInformationFromItem: PUBLIC X400SpecificReportInformationFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc10[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~12 , putArgs~PutArgs, getResults~GetResults, 
getError~GetError];
        };
    
    PreviousRecipientsFromItem: PUBLIC PreviousRecipientsFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value Ź UProc3[h, s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~8 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
    GatewayPostmarkFromItem: PUBLIC GatewayPostmarkFromItemType ~ {
        PutArgs: CrRPC.PutArgsProc ~ {
            MProc1[h, s, item];
            };
        GetResults: CrRPC.GetResultsProc ~ {
            length Ź CrRPC.GetCard16[s];
            value.postedAt Ź UProc2[h, s];
            value.time Ź CrRPC.GetCard32[s];
            };
            
        CrRPC.Call[h~h, remotePgm~0, remotePgmVersion~0, remoteProc~9 , putArgs~PutArgs, getResults~GetResults, getError~GetError];
        };
    
-- Unmarshal / Marshal Procs --
    
    
    UProc4: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.TableOfContents] ~ {
        {
            length12: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[EnvelopeFormatP1517V1.TableOfContentsObject[length12]];
            FOR i11: CARDINAL IN [0..length12) DO
                res.body[i11].type Ź CrRPC.GetCard32[s];
                res.body[i11].sizeInBytes Ź CrRPC.GetCard32[s];
                ENDLOOP;
            };
        };
    
    UProc6: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.Fate] ~ {
        {
            tag13: EnvelopeFormatP1517V1.FateKind ~ VAL[CrRPC.GetCard16[s]];
            SELECT tag13 FROM
                delivered => {
                    temp14: EnvelopeFormatP1517V1.DelType;
                    temp14 Ź VAL[CrRPC.GetCard16[s]];
                    res Ź NEW[EnvelopeFormatP1517V1.FateObject.delivered Ź [delivered[temp14]]] };
                notDelivered => {
                    temp14: EnvelopeFormatP1517V1.NonDelType;
                    temp14.reason Ź VAL[CrRPC.GetCard16[s]];
                    temp14.reportCreationPostmark.postedAt Ź UProc2[h, s];
                    temp14.reportCreationPostmark.time Ź CrRPC.GetCard32[s];
                    res Ź NEW[EnvelopeFormatP1517V1.FateObject.notDelivered Ź [notDelivered[temp14]]] };
                ENDCASE => ERROR;
            };
        };
    
    UProc5: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: MailTransportP17V5.Envelope] ~ {
        {
            length16: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[MailTransportP17V5.EnvelopeObject[length16]];
            FOR i15: CARDINAL IN [0..length16) DO
                res.body[i15].type Ź CrRPC.GetCard32[s];
                res.body[i15].value Ź UProc17[h, s];
                ENDLOOP;
            };
        };
    
    MProc1: PROC [h: CrRPC.Handle, s: CrRPC.STREAM, val: MailTransportP17V5.Opaque] ~ {
        CrRPC.PutCard16[s, val.length];
        FOR i18: CARDINAL IN [0..val.length) DO
            CrRPC.PutCard16[s, val.body[i18]];
            ENDLOOP;
        };
    
    UProc2: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: MailTransportP17V5.RName] ~ {
        {
            tag19: MailTransportP17V5.RNameKind ~ VAL[CrRPC.GetCard16[s]];
            SELECT tag19 FROM
                xns => {
                    temp20: CHNameP2V0.ThreePartName;
                    temp20.organization Ź CrRPC.GetRope[s];
                    temp20.domain Ź CrRPC.GetRope[s];
                    temp20.object Ź CrRPC.GetRope[s];
                    res Ź NEW[MailTransportP17V5.RNameObject.xns Ź [xns[temp20]]] };
                gateway => {
                    temp20: MailTransportP17V5.GatewayRecord;
                    temp20.country Ź CrRPC.GetRope[s];
                    temp20.adminDomain Ź CrRPC.GetRope[s];
                    temp20.privateDomain Ź CrRPC.GetRope[s];
                    temp20.organization Ź CrRPC.GetRope[s];
                    temp20.organizationalUnits Ź UProc21[h, s];
                    temp20.personal Ź UProc22[h, s];
                    temp20.gatewaySpecificInformation Ź UProc23[h, s];
                    res Ź NEW[MailTransportP17V5.RNameObject.gateway Ź [gateway[temp20]]] };
                ENDCASE => ERROR;
            };
        };
    
    UProc21: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: MailTransportP17V5.OrgUnits] ~ {
        {
            length25: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[MailTransportP17V5.OrgUnitsObject[length25]];
            FOR i24: CARDINAL IN [0..length25) DO
                res.body[i24] Ź CrRPC.GetRope[s];
                ENDLOOP;
            };
        };
    
    UProc10: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.X400SpecificReportInformation] ~ {
        {
            length27: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[EnvelopeFormatP1517V1.X400SpecificReportInformationObject[length27]];
            FOR i26: CARDINAL IN [0..length27) DO
                res.body[i26] Ź UProc28[h, s];
                ENDLOOP;
            };
        };
    
    UProc7: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.RepType] ~ {
        {
            tag29: EnvelopeFormatP1517V1.RepTypeKind ~ VAL[CrRPC.GetCard16[s]];
            SELECT tag29 FROM
                dlMember => {
                    temp30: EnvelopeFormatP1517V1.DLMem;
                    temp30.dlName Ź UProc2[h, s];
                    temp30.invalidDLRecipients Ź UProc31[h, s];
                    res Ź NEW[EnvelopeFormatP1517V1.RepTypeObject.dlMember Ź [dlMember[temp30]]] };
                other => {
                    temp30: EnvelopeFormatP1517V1.OtherRep;
                    temp30.succeeded Ź UProc32[h, s];
                    temp30.failed Ź UProc33[h, s];
                    res Ź NEW[EnvelopeFormatP1517V1.RepTypeObject.other Ź [other[temp30]]] };
                ENDCASE => ERROR;
            };
        };
    
    UProc32: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.SucList] ~ {
        {
            length35: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[EnvelopeFormatP1517V1.SucListObject[length35]];
            FOR i34: CARDINAL IN [0..length35) DO
                res.body[i34].recipient.name Ź UProc2[h, s];
                res.body[i34].recipient.recipientID Ź CrRPC.GetCard16[s];
                res.body[i34].recipient.report Ź VAL[CrRPC.GetCard16[s]];
                res.body[i34].when Ź CrRPC.GetCard32[s];
                ENDLOOP;
            };
        };
    
    UProc9: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.Converted] ~ {
        {
            length37: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[EnvelopeFormatP1517V1.ConvertedObject[length37]];
            FOR i36: CARDINAL IN [0..length37) DO
                res.body[i36] Ź VAL[CrRPC.GetCard16[s]];
                ENDLOOP;
            };
        };
    
    UProc3: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: MailTransportP17V5.RecipientList] ~ {
        {
            length39: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[MailTransportP17V5.RecipientListObject[length39]];
            FOR i38: CARDINAL IN [0..length39) DO
                res.body[i38].name Ź UProc2[h, s];
                res.body[i38].recipientID Ź CrRPC.GetCard16[s];
                res.body[i38].report Ź VAL[CrRPC.GetCard16[s]];
                ENDLOOP;
            };
        };
    
    UProc33: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.FailList] ~ {
        {
            length41: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[EnvelopeFormatP1517V1.FailListObject[length41]];
            FOR i40: CARDINAL IN [0..length41) DO
                res.body[i40].recipient.name Ź UProc2[h, s];
                res.body[i40].recipient.recipientID Ź CrRPC.GetCard16[s];
                res.body[i40].recipient.report Ź VAL[CrRPC.GetCard16[s]];
                res.body[i40].reason Ź VAL[CrRPC.GetCard16[s]];
                ENDLOOP;
            };
        };
    
    UProc22: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: MailTransportP17V5.PerChoice] ~ {
        {
            tag42: MailTransportP17V5.PerChoiceKind ~ VAL[CrRPC.GetCard16[s]];
            SELECT tag42 FROM
                whole => {
                    temp43: ROPE;
                    temp43 Ź CrRPC.GetRope[s];
                    res Ź NEW[MailTransportP17V5.PerChoiceObject.whole Ź [whole[temp43]]] };
                broken => {
                    temp43: MailTransportP17V5.BrokenName;
                    temp43.given Ź CrRPC.GetRope[s];
                    temp43.initials Ź CrRPC.GetRope[s];
                    temp43.family Ź CrRPC.GetRope[s];
                    temp43.generation Ź CrRPC.GetRope[s];
                    res Ź NEW[MailTransportP17V5.PerChoiceObject.broken Ź [broken[temp43]]] };
                ENDCASE => ERROR;
            };
        };
    
    UProc23: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: MailTransportP17V5.GatewaySpecInfo] ~ {
        {
            length45: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[MailTransportP17V5.GatewaySpecInfoObject[length45]];
            FOR i44: CARDINAL IN [0..length45) DO
                res.body[i44].type Ź CrRPC.GetRope[s];
                res.body[i44].value Ź CrRPC.GetRope[s];
                ENDLOOP;
            };
        };
    
    UProc17: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: MailTransportP17V5.Opaque] ~ {
        {
            length47: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[MailTransportP17V5.OpaqueObject[length47]];
            FOR i46: CARDINAL IN [0..length47) DO
                res.body[i46] Ź CrRPC.GetCard16[s];
                ENDLOOP;
            };
        };
    
    UProc28: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.X400ReportItem] ~ {
        {
            length49: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[EnvelopeFormatP1517V1.X400ReportItemObject[length49]];
            FOR i48: CARDINAL IN [0..length49) DO
                res.body[i48] Ź CrRPC.GetCard16[s];
                ENDLOOP;
            };
        };
    
    UProc31: PROC [h: CrRPC.Handle, s: CrRPC.STREAM] RETURNS [res: EnvelopeFormatP1517V1.InvalRecip] ~ {
        {
            length51: CARDINAL ~ CrRPC.GetCard16[s];
            res Ź  NEW[EnvelopeFormatP1517V1.InvalRecipObject[length51]];
            FOR i50: CARDINAL IN [0..length51) DO
                res.body[i50].recipient.name Ź UProc2[h, s];
                res.body[i50].recipient.recipientID Ź CrRPC.GetCard16[s];
                res.body[i50].recipient.report Ź VAL[CrRPC.GetCard16[s]];
                res.body[i50].reason Ź VAL[CrRPC.GetCard16[s]];
                ENDLOOP;
            };
        };
    
}...