module Mail grammar EnvelopeFrom include RFC2822 # The exact character sequence of "From"; # # a single Space character (0x20); # # the email address of the message sender (as obtained from the # message envelope or other authoritative source), conformant # with the "addr-spec" syntax from RFC 2822; # # a single Space character; # # a timestamp indicating the UTC date and time when the message # was originally received, conformant with the syntax of the # traditional UNIX 'ctime' output sans timezone (note that the # use of UTC precludes the need for a timezone indicator); # Thu Nov 24 18:22:48 1986 # # an end-of-line marker. rule primary addr_spec ctime_date end rule ctime_date day_name " "+ month_name " "+ day " " time_of_day " " year end end end