cde/programs/dtmail/dtmail/dtmail.types

   1 ptype RFC_822_Message {
   2     start "dtmail -t";
   3         handle:
   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 ;
  14 };
  15
  16 ptype RFC_822_MESSAGE {
  17     start "dtmail -t";
  18         handle:
  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 ;
  29 };
  30
  31 ptype MAIL_TYPE {
  32     start "dtmail -t";
  33         handle:
  34     session Mail( inout ALL contents ) => start opnum = 311 ;
  35         session Mail( inout ALL contents,
  36                       in title docname ) => start opnum = 313 ;
  37 };