From 6581c2e808e0b57ba4e8389c2126779bc43ada0a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Mon, 15 Dec 2014 23:04:45 +0200 Subject: Add a property for cow_http_hd:parse_accept_language/1 --- src/cow_http_hd.erl | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) (limited to 'src/cow_http_hd.erl') diff --git a/src/cow_http_hd.erl b/src/cow_http_hd.erl index 441cd1d..1672d2a 100644 --- a/src/cow_http_hd.erl +++ b/src/cow_http_hd.erl @@ -43,6 +43,12 @@ alpha_chars() -> "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ". digit_chars() -> "0123456789". alphanum_chars() -> "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ". +alpha() -> + oneof(alpha_chars()). + +alphanum() -> + oneof(alphanum_chars()). + tchar() -> frequency([ {1, oneof([$!, $#, $$, $%, $&, $', $*, $+, $-, $., $^, $_, $`, $|, $~])}, @@ -600,6 +606,55 @@ language_range_list_sep(<< $\t, R/bits >>, Acc) -> language_range_list_sep(R, Ac language_range_list_sep(<< $,, R/bits >>, Acc) -> language_range_list(R, Acc). -ifdef(TEST). +language_tag() -> + oneof([ + [alpha()], + [alpha(), alpha()], + [alpha(), alpha(), alpha()], + [alpha(), alpha(), alpha(), alpha()], + [alpha(), alpha(), alpha(), alpha(), alpha()], + [alpha(), alpha(), alpha(), alpha(), alpha(), alpha()], + [alpha(), alpha(), alpha(), alpha(), alpha(), alpha(), alpha()], + [alpha(), alpha(), alpha(), alpha(), alpha(), alpha(), alpha(), alpha()] + ]). + +language_subtag() -> + [$-, oneof([ + [alphanum()], + [alphanum(), alphanum()], + [alphanum(), alphanum(), alphanum()], + [alphanum(), alphanum(), alphanum(), alphanum()], + [alphanum(), alphanum(), alphanum(), alphanum(), alphanum()], + [alphanum(), alphanum(), alphanum(), alphanum(), alphanum(), alphanum()], + [alphanum(), alphanum(), alphanum(), alphanum(), alphanum(), alphanum(), alphanum()], + [alphanum(), alphanum(), alphanum(), alphanum(), alphanum(), alphanum(), alphanum(), alphanum()] + ])]. + +language_range() -> + [language_tag(), list(language_subtag())]. + +accept_language() -> + ?LET({R, W}, + {language_range(), weight()}, + {iolist_to_binary(R), W, iolist_to_binary([R, case W of + undefined -> []; + _ -> [<<";q=">>, qvalue_to_iodata(W)] + end])} + ). + +prop_parse_accept_language() -> + ?FORALL(L, + non_empty(list(accept_language())), + begin + << _, AcceptLanguage/binary >> = iolist_to_binary([[$,, A] || {_, _, A} <- L]), + ResL = parse_accept_language(AcceptLanguage), + CheckedL = [begin + ResR =:= ?INLINE_LOWERCASE_BC(R) + andalso (ResW =:= W orelse (W =:= undefined andalso ResW =:= 1000)) + end || {{R, W, _}, {ResR, ResW}} <- lists:zip(L, ResL)], + [true] =:= lists:usort(CheckedL) + end). + parse_accept_language_test_() -> Tests = [ {<<"da, en-gb;q=0.8, en;q=0.7">>, [ -- cgit v1.2.3