aboutsummaryrefslogtreecommitdiffstats
path: root/src/ragel/smtp_ip.rl
blob: ed10c95b57ae86838d158b382c1bb1ee3f9e1798 (plain)
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
%%{
  machine smtp_ip;

  # Parses IPv4/IPv6 address
  # Source: https://tools.ietf.org/html/rfc5321#section-4.1.3
  # Dependencies: none
  # Required actions:
  #  - IP4_start
  #  - IP4_end
  #  - IP6_start
  #  - IP6_end
  #  - Domain_addr_start
  #  - Domain_addr_end

  Snum           = digit{1,3};
  IPv4_addr = (Snum ("."  Snum){3});
  IPv4_address_literal  = IPv4_addr >IP4_start %IP4_end;
  IPv6_hex       = xdigit{1,4};
  IPv6_full      = IPv6_hex (":" IPv6_hex){7};
  IPv6_comp      = (IPv6_hex (":" IPv6_hex){0,5})? "::"
                  (IPv6_hex (":" IPv6_hex){0,5})?;
  IPv6v4_full    = IPv6_hex (":" IPv6_hex){5} ":" IPv4_address_literal;
  IPv6v4_comp    = (IPv6_hex (":" IPv6_hex){0,3})? "::"
                  (IPv6_hex (":" IPv6_hex){0,3} ":")?
                  IPv4_address_literal;
  IPv6_simple    = IPv6_full | IPv6_comp;
  IPv6_addr      = IPv6_simple | IPv6v4_full | IPv6v4_comp;
  IPv6_address_literal  = "IPv6:" %IP6_start IPv6_addr %IP6_end;

  General_address_literal  = Standardized_tag ":" dcontent+;
  address_literal  = "[" ( IPv4_address_literal |
                    IPv6_address_literal |
                    General_address_literal ) >Domain_addr_start %Domain_addr_end "]";
  non_conformant_address_literal = IPv4_address_literal >Domain_addr_start %Domain_addr_end;

}%%