diff options
author | Hans Bolinder <[email protected]> | 2014-06-30 10:08:41 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-01-15 12:18:47 +0100 |
commit | d18d8f4ba327a1c99d7812efb450b445558b154c (patch) | |
tree | cff94c1a86a6f9b38ec15d3e6870a3dbc5375323 /lib/parsetools | |
parent | 82a3d164aa74b8df9aec89586c9805e47c82e348 (diff) | |
download | otp-d18d8f4ba327a1c99d7812efb450b445558b154c.tar.gz otp-d18d8f4ba327a1c99d7812efb450b445558b154c.tar.bz2 otp-d18d8f4ba327a1c99d7812efb450b445558b154c.zip |
Let Leex use the new -dialyzer attribute
Diffstat (limited to 'lib/parsetools')
-rw-r--r-- | lib/parsetools/include/leexinc.hrl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/parsetools/include/leexinc.hrl b/lib/parsetools/include/leexinc.hrl index 938aef58f9..2657fdcfaa 100644 --- a/lib/parsetools/include/leexinc.hrl +++ b/lib/parsetools/include/leexinc.hrl @@ -44,6 +44,8 @@ string(Ics0, L0, Tcs, Ts) -> %% Test for and remove the end token wrapper. Push back characters %% are prepended to RestChars. +-dialyzer({nowarn_function, string_cont/4}). + string_cont(Rest, Line, {token,T}, Ts) -> string(Rest, Line, Rest, [T|Ts]); string_cont(Rest, Line, {token,T,Push}, Ts) -> @@ -113,6 +115,8 @@ token(S0, Ics0, L0, Tcs, Tlen0, Tline, A0, Alen0) -> %% If we have a token or error then return done, else if we have a %% skip_token then continue. +-dialyzer({nowarn_function, token_cont/3}). + token_cont(Rest, Line, {token,T}) -> {done,{ok,T,Line},Rest}; token_cont(Rest, Line, {token,T,Push}) -> @@ -187,6 +191,8 @@ tokens(S0, Ics0, L0, Tcs, Tlen0, Tline, Ts, A0, Alen0) -> %% a token then save it and continue, else if we have a skip_token %% just continue. +-dialyzer({nowarn_function, tokens_cont/4}). + tokens_cont(Rest, Line, {token,T}, Ts) -> tokens(yystate(), Rest, Line, Rest, 0, Line, [T|Ts], reject, 0); tokens_cont(Rest, Line, {token,T,Push}, Ts) -> @@ -238,6 +244,8 @@ skip_tokens(S0, Ics0, L0, Tcs, Tlen0, Tline, Error, A0, Alen0) -> %% Skip tokens until we have an end_token or error then return done %% with the original rror. +-dialyzer({nowarn_function, skip_cont/4}). + skip_cont(Rest, Line, {token,_T}, Error) -> skip_tokens(yystate(), Rest, Line, Rest, 0, Line, Error, reject, 0); skip_cont(Rest, Line, {token,_T,Push}, Error) -> |