aboutsummaryrefslogtreecommitdiffstats
path: root/src/dmarc_parser.yrl
blob: 14c375b649463013e0ba0c9d252a24d0ff573d6e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
Nonterminals
    record property_list property optional_semicolon value invalid_property.

Terminals
    key equals semicolon string comma colon mailto.

Rootsymbol record.

record -> property_list optional_semicolon : 
    {Valid, Invalid} = separate_properties('$1'),
    #{valid => maps:from_list(Valid), invalid => maps:from_list(Invalid)}.

optional_semicolon -> semicolon : [].
optional_semicolon -> '$empty' : [].

property_list -> property : ['$1'].
property_list -> property property_list : ['$1' | '$2'].

property -> key equals value semicolon : {valid, {value('$1'), process_value(value('$1'), value_to_list('$3'))}}.
property -> key equals value : {valid, {value('$1'), process_value(value('$1'), value_to_list('$3'))}}.

property -> invalid_property : {invalid, '$1'}.

invalid_property -> string equals value semicolon : {value('$1'), value_to_list('$3')}.
invalid_property -> string equals value : {value('$1'), value_to_list('$3')}.

value -> mailto : '$1'.
value -> mailto comma value : join_values('$1', '$3').

value -> string : '$1'.
value -> string colon value : join_values('$1', '$3').

Expect 2.

Erlang code.

value({_, _, Value}) -> Value.

value_to_list(Value) when is_tuple(Value) ->
    [Value];
value_to_list(Values) when is_list(Values) ->
    Values.

join_values(First, Rest) when is_tuple(Rest) ->
    [First, Rest];
join_values(First, RestList) when is_list(RestList) ->
    [First | RestList].

process_value(Key, Values) when Key =:= rua; Key =:= ruf; Key =:= fo; Key =:= rf ->
    lists:map(fun value/1, Values);
process_value(_Key, [Value]) ->
    value(Value);
process_value(_Key, Values) ->
    [value(V) || V <- Values].

separate_properties(Properties) ->
    separate_properties(Properties, [], []).

separate_properties([], ValidAcc, InvalidAcc) ->
    {lists:reverse(ValidAcc), lists:reverse(InvalidAcc)};
separate_properties([{valid, Property} | Rest], ValidAcc, InvalidAcc) ->
    separate_properties(Rest, [Property | ValidAcc], InvalidAcc);
separate_properties([{invalid, {Key, Values}} | Rest], ValidAcc, InvalidAcc) ->
    ProcessedValues = case Values of
        [SingleValue] -> value(SingleValue);
        MultipleValues -> [value(V) || V <- MultipleValues]
    end,
    separate_properties(Rest, ValidAcc, [{Key, ProcessedValues} | InvalidAcc]).