1 ptype RFC_822_Message {
4 session Display( in RFC_822_Message contents ) => start opnum = 1 ;
5 session Display( in RFC_822_Message contents,
6 in title docName ) => start opnum = 3 ;
7 session Mail( in RFC_822_Message contents ) => start opnum = 301 ;
8 session Mail( out RFC_822_Message contents ) => start opnum = 321 ;
9 session Mail( out RFC_822_Message contents,
10 in title docname ) => start opnum = 323 ;
11 session Mail( inout RFC_822_Message contents ) => start opnum = 311 ;
12 session Mail( inout RFC_822_Message contents,
13 in title docname ) => start opnum = 313 ;
16 ptype RFC_822_MESSAGE {
19 session Display( in RFC_822_MESSAGE contents ) => start opnum = 1 ;
20 session Display( in RFC_822_MESSAGE contents,
21 in title docName ) => start opnum = 3 ;
22 session Mail( in RFC_822_MESSAGE contents ) => start opnum = 301 ;
23 session Mail( out RFC_822_MESSAGE contents ) => start opnum = 321 ;
24 session Mail( out RFC_822_MESSAGE contents,
25 in title docname ) => start opnum = 323 ;
26 session Mail( inout RFC_822_MESSAGE contents ) => start opnum = 311 ;
27 session Mail( inout RFC_822_MESSAGE contents,
28 in title docname ) => start opnum = 313 ;
34 session Mail( inout ALL contents ) => start opnum = 311 ;
35 session Mail( inout ALL contents,
36 in title docname ) => start opnum = 313 ;