Current section

Files

Jump to
gen_smtp src smtp_rfc822_parse.erl
Raw

src/smtp_rfc822_parse.erl

-module(smtp_rfc822_parse).
-export([parse/1, parse_and_scan/1, format_error/1]).
-file("/home/arjan/erl/r16b01/lib/parsetools-2.0.9/include/yeccpre.hrl", 0).
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 1996-2013. All Rights Reserved.
%%
%% The contents of this file are subject to the Erlang Public License,
%% Version 1.1, (the "License"); you may not use this file except in
%% compliance with the License. You should have received a copy of the
%% Erlang Public License along with this software. If not, it can be
%% retrieved online at http://www.erlang.org/.
%%
%% Software distributed under the License is distributed on an "AS IS"
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
%% the License for the specific language governing rights and limitations
%% under the License.
%%
%% %CopyrightEnd%
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The parser generator will insert appropriate declarations before this line.%
-type yecc_ret() :: {'error', _} | {'ok', _}.
-spec parse(Tokens :: list()) -> yecc_ret().
parse(Tokens) ->
yeccpars0(Tokens, {no_func, no_line}, 0, [], []).
-spec parse_and_scan({function() | {atom(), atom()}, [_]}
| {atom(), atom(), [_]}) -> yecc_ret().
parse_and_scan({F, A}) ->
yeccpars0([], {{F, A}, no_line}, 0, [], []);
parse_and_scan({M, F, A}) ->
Arity = length(A),
yeccpars0([], {{fun M:F/Arity, A}, no_line}, 0, [], []).
-spec format_error(any()) -> [char() | list()].
format_error(Message) ->
case io_lib:deep_char_list(Message) of
true ->
Message;
_ ->
io_lib:write(Message)
end.
%% To be used in grammar files to throw an error message to the parser
%% toplevel. Doesn't have to be exported!
-compile({nowarn_unused_function, return_error/2}).
-spec return_error(integer(), any()) -> no_return().
return_error(Line, Message) ->
throw({error, {Line, ?MODULE, Message}}).
-define(CODE_VERSION, "1.4").
yeccpars0(Tokens, Tzr, State, States, Vstack) ->
try yeccpars1(Tokens, Tzr, State, States, Vstack)
catch
error: Error ->
Stacktrace = erlang:get_stacktrace(),
try yecc_error_type(Error, Stacktrace) of
Desc ->
erlang:raise(error, {yecc_bug, ?CODE_VERSION, Desc},
Stacktrace)
catch _:_ -> erlang:raise(error, Error, Stacktrace)
end;
%% Probably thrown from return_error/2:
throw: {error, {_Line, ?MODULE, _M}} = Error ->
Error
end.
yecc_error_type(function_clause, [{?MODULE,F,ArityOrArgs,_} | _]) ->
case atom_to_list(F) of
"yeccgoto_" ++ SymbolL ->
{ok,[{atom,_,Symbol}],_} = erl_scan:string(SymbolL),
State = case ArityOrArgs of
[S,_,_,_,_,_,_] -> S;
_ -> state_is_unknown
end,
{Symbol, State, missing_in_goto_table}
end.
yeccpars1([Token | Tokens], Tzr, State, States, Vstack) ->
yeccpars2(State, element(1, Token), States, Vstack, Token, Tokens, Tzr);
yeccpars1([], {{F, A},_Line}, State, States, Vstack) ->
case apply(F, A) of
{ok, Tokens, Endline} ->
yeccpars1(Tokens, {{F, A}, Endline}, State, States, Vstack);
{eof, Endline} ->
yeccpars1([], {no_func, Endline}, State, States, Vstack);
{error, Descriptor, _Endline} ->
{error, Descriptor}
end;
yeccpars1([], {no_func, no_line}, State, States, Vstack) ->
Line = 999999,
yeccpars2(State, '$end', States, Vstack, yecc_end(Line), [],
{no_func, Line});
yeccpars1([], {no_func, Endline}, State, States, Vstack) ->
yeccpars2(State, '$end', States, Vstack, yecc_end(Endline), [],
{no_func, Endline}).
%% yeccpars1/7 is called from generated code.
%%
%% When using the {includefile, Includefile} option, make sure that
%% yeccpars1/7 can be found by parsing the file without following
%% include directives. yecc will otherwise assume that an old
%% yeccpre.hrl is included (one which defines yeccpars1/5).
yeccpars1(State1, State, States, Vstack, Token0, [Token | Tokens], Tzr) ->
yeccpars2(State, element(1, Token), [State1 | States],
[Token0 | Vstack], Token, Tokens, Tzr);
yeccpars1(State1, State, States, Vstack, Token0, [], {{_F,_A}, _Line}=Tzr) ->
yeccpars1([], Tzr, State, [State1 | States], [Token0 | Vstack]);
yeccpars1(State1, State, States, Vstack, Token0, [], {no_func, no_line}) ->
Line = yecctoken_end_location(Token0),
yeccpars2(State, '$end', [State1 | States], [Token0 | Vstack],
yecc_end(Line), [], {no_func, Line});
yeccpars1(State1, State, States, Vstack, Token0, [], {no_func, Line}) ->
yeccpars2(State, '$end', [State1 | States], [Token0 | Vstack],
yecc_end(Line), [], {no_func, Line}).
%% For internal use only.
yecc_end({Line,_Column}) ->
{'$end', Line};
yecc_end(Line) ->
{'$end', Line}.
yecctoken_end_location(Token) ->
try
{text, Str} = erl_scan:token_info(Token, text),
{line, Line} = erl_scan:token_info(Token, line),
Parts = re:split(Str, "\n"),
Dline = length(Parts) - 1,
Yline = Line + Dline,
case erl_scan:token_info(Token, column) of
{column, Column} ->
Col = byte_size(lists:last(Parts)),
{Yline, Col + if Dline =:= 0 -> Column; true -> 1 end};
undefined ->
Yline
end
catch _:_ ->
yecctoken_location(Token)
end.
-compile({nowarn_unused_function, yeccerror/1}).
yeccerror(Token) ->
Text = yecctoken_to_string(Token),
Location = yecctoken_location(Token),
{error, {Location, ?MODULE, ["syntax error before: ", Text]}}.
-compile({nowarn_unused_function, yecctoken_to_string/1}).
yecctoken_to_string(Token) ->
case catch erl_scan:token_info(Token, text) of
{text, Txt} -> Txt;
_ -> yecctoken2string(Token)
end.
yecctoken_location(Token) ->
case catch erl_scan:token_info(Token, location) of
{location, Loc} -> Loc;
_ -> element(2, Token)
end.
-compile({nowarn_unused_function, yecctoken2string/1}).
yecctoken2string({atom, _, A}) -> io_lib:write(A);
yecctoken2string({integer,_,N}) -> io_lib:write(N);
yecctoken2string({float,_,F}) -> io_lib:write(F);
yecctoken2string({char,_,C}) -> io_lib:write_char(C);
yecctoken2string({var,_,V}) -> io_lib:format("~s", [V]);
yecctoken2string({string,_,S}) -> io_lib:write_string(S);
yecctoken2string({reserved_symbol, _, A}) -> io_lib:write(A);
yecctoken2string({_Cat, _, Val}) -> io_lib:format("~p",[Val]);
yecctoken2string({dot, _}) -> "'.'";
yecctoken2string({'$end', _}) ->
[];
yecctoken2string({Other, _}) when is_atom(Other) ->
io_lib:write(Other);
yecctoken2string(Other) ->
io_lib:write(Other).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.erl", 188).
yeccpars2(0=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_0(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(1=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_1(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(2=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_2(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(3=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_3(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(4=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_4(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(5=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_5(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(6=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_6(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(7=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_7(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(8=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_8(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(9=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_9(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(10=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_10(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(11=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_11(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(12=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_12(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(13=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_13(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(14=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_14(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(15=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_6(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(16=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_16(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(17=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_17(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(Other, _, _, _, _, _, _) ->
erlang:error({yecc_bug,"1.4",{missing_state_in_action_table, Other}}).
yeccpars2_0(S, '<', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 6, Ss, Stack, T, Ts, Tzr);
yeccpars2_0(S, string, Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 7, Ss, Stack, T, Ts, Tzr);
yeccpars2_0(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_0_(Stack),
yeccpars2_4(4, Cat, [0 | Ss], NewStack, T, Ts, Tzr).
yeccpars2_1(S, '<', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_1(_, _, _, _, T, _, _) ->
yeccerror(T).
yeccpars2_2(S, string, Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr);
yeccpars2_2(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccgoto_names(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr).
yeccpars2_3(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_3_(Stack),
yeccgoto_address(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
yeccpars2_4(_S, '$end', _Ss, Stack, _T, _Ts, _Tzr) ->
{ok, hd(Stack)};
yeccpars2_4(_, _, _, _, T, _, _) ->
yeccerror(T).
yeccpars2_5(S, ',', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 11, Ss, Stack, T, Ts, Tzr);
yeccpars2_5(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_5_(Stack),
yeccgoto_addresses(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
yeccpars2_6(S, string, Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 9, Ss, Stack, T, Ts, Tzr);
yeccpars2_6(_, _, _, _, T, _, _) ->
yeccerror(T).
yeccpars2_7(_S, '$end', Ss, Stack, T, Ts, Tzr) ->
NewStack = 'yeccpars2_7_$end'(Stack),
yeccgoto_email(hd(Ss), '$end', Ss, NewStack, T, Ts, Tzr);
yeccpars2_7(_S, ',', Ss, Stack, T, Ts, Tzr) ->
NewStack = 'yeccpars2_7_,'(Stack),
yeccgoto_email(hd(Ss), ',', Ss, NewStack, T, Ts, Tzr);
yeccpars2_7(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_7_(Stack),
yeccgoto_name(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
yeccpars2_8(S, '>', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 10, Ss, Stack, T, Ts, Tzr);
yeccpars2_8(_, _, _, _, T, _, _) ->
yeccerror(T).
yeccpars2_9(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_9_(Stack),
yeccgoto_email(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
yeccpars2_10(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_|Nss] = Ss,
NewStack = yeccpars2_10_(Stack),
yeccgoto_address(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
yeccpars2_11(S, '<', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 6, Ss, Stack, T, Ts, Tzr);
yeccpars2_11(S, string, Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 7, Ss, Stack, T, Ts, Tzr);
yeccpars2_11(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_11_(Stack),
yeccpars2_12(_S, Cat, [11 | Ss], NewStack, T, Ts, Tzr).
yeccpars2_12(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_|Nss] = Ss,
NewStack = yeccpars2_12_(Stack),
yeccgoto_addresses(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_|Nss] = Ss,
NewStack = yeccpars2_13_(Stack),
yeccgoto_names(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
yeccpars2_14(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_14_(Stack),
yeccgoto_name(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
%% yeccpars2_15: see yeccpars2_6
yeccpars2_16(S, '>', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 17, Ss, Stack, T, Ts, Tzr);
yeccpars2_16(_, _, _, _, T, _, _) ->
yeccerror(T).
yeccpars2_17(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_|Nss] = Ss,
NewStack = yeccpars2_17_(Stack),
yeccgoto_address(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
yeccgoto_address(0, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_5(5, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_address(11, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_5(5, Cat, Ss, Stack, T, Ts, Tzr).
yeccgoto_addresses(0, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_4(4, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_addresses(11=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_12(_S, Cat, Ss, Stack, T, Ts, Tzr).
yeccgoto_email(0=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_3(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_email(6, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_8(8, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_email(11=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_3(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_email(15, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_16(16, Cat, Ss, Stack, T, Ts, Tzr).
yeccgoto_name(0, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_2(2, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_name(2, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_2(2, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_name(11, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_2(2, Cat, Ss, Stack, T, Ts, Tzr).
yeccgoto_names(0, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_1(1, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_names(2=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_names(11, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_1(1, Cat, Ss, Stack, T, Ts, Tzr).
-compile({inline,yeccpars2_0_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 16).
yeccpars2_0_(__Stack0) ->
[begin
[ ]
end | __Stack0].
-compile({inline,yeccpars2_3_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 18).
yeccpars2_3_(__Stack0) ->
[__1 | __Stack] = __Stack0,
[begin
{ undefined , __1 }
end | __Stack].
-compile({inline,yeccpars2_5_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 14).
yeccpars2_5_(__Stack0) ->
[__1 | __Stack] = __Stack0,
[begin
[ __1 ]
end | __Stack].
-compile({inline,'yeccpars2_7_$end'/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 22).
'yeccpars2_7_$end'(__Stack0) ->
[__1 | __Stack] = __Stack0,
[begin
element ( 3 , __1 )
end | __Stack].
-compile({inline,'yeccpars2_7_,'/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 22).
'yeccpars2_7_,'(__Stack0) ->
[__1 | __Stack] = __Stack0,
[begin
element ( 3 , __1 )
end | __Stack].
-compile({inline,yeccpars2_7_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 25).
yeccpars2_7_(__Stack0) ->
[__1 | __Stack] = __Stack0,
[begin
element ( 3 , __1 )
end | __Stack].
-compile({inline,yeccpars2_9_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 22).
yeccpars2_9_(__Stack0) ->
[__1 | __Stack] = __Stack0,
[begin
element ( 3 , __1 )
end | __Stack].
-compile({inline,yeccpars2_10_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 19).
yeccpars2_10_(__Stack0) ->
[__3,__2,__1 | __Stack] = __Stack0,
[begin
{ undefined , __2 }
end | __Stack].
-compile({inline,yeccpars2_11_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 16).
yeccpars2_11_(__Stack0) ->
[begin
[ ]
end | __Stack0].
-compile({inline,yeccpars2_12_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 15).
yeccpars2_12_(__Stack0) ->
[__3,__2,__1 | __Stack] = __Stack0,
[begin
[ __1 | __3 ]
end | __Stack].
-compile({inline,yeccpars2_13_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 24).
yeccpars2_13_(__Stack0) ->
[__2,__1 | __Stack] = __Stack0,
[begin
[ __1 , " " | __2 ]
end | __Stack].
-compile({inline,yeccpars2_14_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 25).
yeccpars2_14_(__Stack0) ->
[__1 | __Stack] = __Stack0,
[begin
element ( 3 , __1 )
end | __Stack].
-compile({inline,yeccpars2_17_/1}).
-file("/home/arjan/devel/erl/gen_smtp/_build/test/lib/gen_smtp/src/smtp_rfc822_parse.yrl", 20).
yeccpars2_17_(__Stack0) ->
[__4,__3,__2,__1 | __Stack] = __Stack0,
[begin
{ lists : flatten ( __1 ) , __3 }
end | __Stack].