module Test_Dns_Zone =

let lns = Dns_Zone.lns

(* RFC 1034 ยง6 *)

test lns get "

EDU.  IN SOA SRI-NIC.ARPA. HOSTMASTER.SRI-NIC.ARPA. (

                        870729 ;serial

                        1800 ;refresh every 30 minutes

                        300 ;retry every 5 minutes

                        604800 ;expire after a week

                        86400 ;minimum of a day

                        )

                NS SRI-NIC.ARPA.

                NS C.ISI.EDU.

UCI 172800 NS ICS.UCI

                172800 NS ROME.UCI

ICS.UCI 172800 A 192.5.19.1

ROME.UCI 172800 A 192.5.19.31

ISI 172800 NS VAXA.ISI

                172800 NS A.ISI

                172800 NS VENERA.ISI.EDU.

VAXA.ISI 172800 A 10.2.0.27

                172800 A 128.9.0.33

VENERA.ISI.EDU. 172800 A 10.1.0.52

                172800 A 128.9.0.32

A.ISI 172800 A 26.3.0.103

UDEL.EDU.  172800 NS LOUIE.UDEL.EDU.

                172800 NS UMN-REI-UC.ARPA.

LOUIE.UDEL.EDU. 172800 A 10.0.0.96

                172800 A 192.5.39.3

YALE.EDU.  172800 NS YALE.ARPA.

YALE.EDU.  172800 NS YALE-BULLDOG.ARPA.

MIT.EDU.  43200 NS XX.LCS.MIT.EDU.

                  43200 NS ACHILLES.MIT.EDU.

XX.LCS.MIT.EDU.  43200 A 10.0.0.44

ACHILLES.MIT.EDU. 43200 A 18.72.0.8

" =

  { "EDU."

    { "1"

      { "class" = "IN" }

      { "type" = "SOA" }

      { "mname" = "SRI-NIC.ARPA." }

      { "rname" = "HOSTMASTER.SRI-NIC.ARPA." }

      { "serial" = "870729" }

      { "refresh" = "1800" }

      { "retry" = "300" }

      { "expiry" = "604800" }

      { "minimum" = "86400" }

    }

    { "2" { "type" = "NS" } { "rdata" = "SRI-NIC.ARPA." } }

    { "3" { "type" = "NS" } { "rdata" = "C.ISI.EDU." } }

  }

  { "UCI"

    { "1" { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "ICS.UCI" } }

    { "2" { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "ROME.UCI" } }

  }

  { "ICS.UCI"

    { "1" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "192.5.19.1" } }

  }

  { "ROME.UCI"

    { "1" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "192.5.19.31" } }

  }

  { "ISI"

    { "1" { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "VAXA.ISI" } }

    { "2" { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "A.ISI" } }

    { "3"

      { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "VENERA.ISI.EDU." }

    }

  }

  { "VAXA.ISI"

    { "1" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "10.2.0.27" } }

    { "2" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "128.9.0.33" } }

  }

  { "VENERA.ISI.EDU."

    { "1" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "10.1.0.52" } }

    { "2" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "128.9.0.32" } }

  }

  { "A.ISI"

    { "1" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "26.3.0.103" } }

  }

  { "UDEL.EDU."

    { "1"

      { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "LOUIE.UDEL.EDU." }

    }

    { "2"

      { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "UMN-REI-UC.ARPA." }

    }

  }

  { "LOUIE.UDEL.EDU."

    { "1" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "10.0.0.96" } }

    { "2" { "ttl" = "172800" } { "type" = "A" } { "rdata" = "192.5.39.3" } }

  }

  { "YALE.EDU."

    { "1" { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "YALE.ARPA." } }

  }

  { "YALE.EDU."

    { "1"

      { "ttl" = "172800" } { "type" = "NS" } { "rdata" = "YALE-BULLDOG.ARPA." }

    }

  }

  { "MIT.EDU."

    { "1"

      { "ttl" = "43200" } { "type" = "NS" } { "rdata" = "XX.LCS.MIT.EDU." }

    }

    { "2"

      { "ttl" = "43200" } { "type" = "NS" } { "rdata" = "ACHILLES.MIT.EDU." }

    }

  }

  { "XX.LCS.MIT.EDU."

    { "1" { "ttl" = "43200" } { "type" = "A" } { "rdata" = "10.0.0.44" } }

  }

  { "ACHILLES.MIT.EDU."

    { "1" { "ttl" = "43200" } { "type" = "A" } { "rdata" = "18.72.0.8" } }

  }

(* RFC 1035 ยง5.3 *)

test lns get "

@   IN  SOA     VENERA      Action\.domains (

                                 20     ; SERIAL

                                 7200   ; REFRESH

                                 600    ; RETRY

                                 3600000; EXPIRE

                                 60)    ; MINIMUM

        NS      A.ISI.EDU.

        NS      VENERA

        NS      VAXA

        MX      10      VENERA

        MX      20      VAXA

A       A       26.3.0.103

VENERA  A       10.1.0.52

        A       128.9.0.32

VAXA    A       10.2.0.27

        A       128.9.0.33

" =

  { "@"

    { "1"

      { "class" = "IN" }

      { "type" = "SOA" }

      { "mname" = "VENERA" }

      { "rname" = "Action\\.domains" }

      { "serial" = "20" }

      { "refresh" = "7200" }

      { "retry" = "600" }

      { "expiry" = "3600000" }

      { "minimum" = "60" }

    }

    { "2" { "type" = "NS" } { "rdata" = "A.ISI.EDU." } }

    { "3" { "type" = "NS" } { "rdata" = "VENERA" } }

    { "4" { "type" = "NS" } { "rdata" = "VAXA" } }

    { "5" { "type" = "MX" } { "priority" = "10" } { "exchange" = "VENERA" } }

    { "6" { "type" = "MX" } { "priority" = "20" } { "exchange" = "VAXA" } }

  }

  { "A" { "1" { "type" = "A" } { "rdata" = "26.3.0.103" } } }

  { "VENERA"

    { "1" { "type" = "A" } { "rdata" = "10.1.0.52" } }

    { "2" { "type" = "A" } { "rdata" = "128.9.0.32" } }

  }

  { "VAXA"

    { "1" { "type" = "A" } { "rdata" = "10.2.0.27" } }

    { "2" { "type" = "A" } { "rdata" = "128.9.0.33" } }

  }

(* RFC 2782 *)

test lns get "

$ORIGIN example.com.

@               SOA server.example.com. root.example.com. (

                    1995032001 3600 3600 604800 86400 )

                NS  server.example.com.

                NS  ns1.ip-provider.net.

                NS  ns2.ip-provider.net.

; foobar - use old-slow-box or new-fast-box if either is

; available, make three quarters of the logins go to

; new-fast-box.

_foobar._tcp    SRV 0 1 9 old-slow-box.example.com.

                 SRV 0 3 9 new-fast-box.example.com.

; if neither old-slow-box or new-fast-box is up, switch to

; using the sysdmin's box and the server

                 SRV 1 0 9 sysadmins-box.example.com.

                 SRV 1 0 9 server.example.com.

server           A   172.30.79.10

old-slow-box     A   172.30.79.11

sysadmins-box    A   172.30.79.12

new-fast-box     A   172.30.79.13

; NO other services are supported

*._tcp          SRV  0 0 0 .

*._udp          SRV  0 0 0 .

" =

  { "$ORIGIN" = "example.com." }

  { "@"

    { "1"

      { "type" = "SOA" }

      { "mname" = "server.example.com." }

      { "rname" = "root.example.com." }

      { "serial" = "1995032001" }

      { "refresh" = "3600" }

      { "retry" = "3600" }

      { "expiry" = "604800" }

      { "minimum" = "86400" }

    }

    { "2" { "type" = "NS" } { "rdata" = "server.example.com." } }

    { "3" { "type" = "NS" } { "rdata" = "ns1.ip-provider.net." } }

    { "4" { "type" = "NS" } { "rdata" = "ns2.ip-provider.net." } }

  }

  { "_foobar._tcp"

    { "1"

      { "type" = "SRV" }

      { "priority" = "0" }

      { "weight" = "1" }

      { "port" = "9" }

      { "target" = "old-slow-box.example.com." }

    }

    { "2"

      { "type" = "SRV" }

      { "priority" = "0" }

      { "weight" = "3" }

      { "port" = "9" }

      { "target" = "new-fast-box.example.com." }

    }

    { "3"

      { "type" = "SRV" }

      { "priority" = "1" }

      { "weight" = "0" }

      { "port" = "9" }

      { "target" = "sysadmins-box.example.com." }

    }

    { "4"

      { "type" = "SRV" }

      { "priority" = "1" }

      { "weight" = "0" }

      { "port" = "9" }

      { "target" = "server.example.com." }

    }

  }

  { "server" { "1" { "type" = "A" } { "rdata" = "172.30.79.10" } } }

  { "old-slow-box" { "1" { "type" = "A" } { "rdata" = "172.30.79.11" } } }

  { "sysadmins-box" { "1" { "type" = "A" } { "rdata" = "172.30.79.12" } } }

  { "new-fast-box" { "1" { "type" = "A" } { "rdata" = "172.30.79.13" } } }

  { "*._tcp"

    { "1"

      { "type" = "SRV" }

      { "priority" = "0" }

      { "weight" = "0" }

      { "port" = "0" }

      { "target" = "." }

    }

  }

  { "*._udp"

    { "1"

      { "type" = "SRV" }

      { "priority" = "0" }

      { "weight" = "0" }

      { "port" = "0" }

      { "target" = "." }

    }

  }

(* RFC 3403 ยง6.2 *)

test lns get "

$ORIGIN 2.1.2.1.5.5.5.0.7.7.1.e164.arpa.

 IN NAPTR 100 10 \"u\" \"sip+E2U\"  \"!^.*$!sip:information@foo.se!i\"     .

 IN NAPTR 102 10 \"u\" \"smtp+E2U\" \"!^.*$!mailto:information@foo.se!i\"  .

" =

  { "$ORIGIN" = "2.1.2.1.5.5.5.0.7.7.1.e164.arpa." }

  { "@"

    { "1"

      { "class" = "IN" }

      { "type" = "NAPTR" }

      { "order" = "100" }

      { "preference" = "10" }

      { "flags" = "\"u\"" }

      { "service" = "\"sip+E2U\"" }

      { "regexp" = "\"!^.*$!sip:information@foo.se!i\"" }

      { "replacement" = "." }

    }

    { "2"

      { "class" = "IN" }

      { "type" = "NAPTR" }

      { "order" = "102" }

      { "preference" = "10" }

      { "flags" = "\"u\"" }

      { "service" = "\"smtp+E2U\"" }

      { "regexp" = "\"!^.*$!mailto:information@foo.se!i\"" }

      { "replacement" = "." }

    }

  }

(* SOA record on a single line *)

test lns get "

$ORIGIN example.com.

@ IN SOA ns root.example.com. (1 2 3 4 5)

" =

  { "$ORIGIN" = "example.com." }

  { "@"

    { "1"

      { "class" = "IN" }

      { "type" = "SOA" }

      { "mname" = "ns" }

      { "rname" = "root.example.com." }

      { "serial" = "1" }

      { "refresh" = "2" }

      { "retry" = "3" }

      { "expiry" = "4" }

      { "minimum" = "5" }

    }

  }

(* Different ordering of TTL and class *)

test lns get "

$ORIGIN example.com.

foo 1D IN A 10.1.2.3

bar IN 2W A 10.4.5.6

" =

  { "$ORIGIN" = "example.com." }

  { "foo"

    { "1"

      { "ttl" = "1D" }

      { "class" = "IN" }

      { "type" = "A" }

      { "rdata" = "10.1.2.3" }

    }

  }

  { "bar"

    { "1"

      { "class" = "IN" }

      { "ttl" = "2W" }

      { "type" = "A" }

      { "rdata" = "10.4.5.6" }

    }

  }

(* Escaping *)

test lns get "

$ORIGIN example.com.

foo TXT abc\\\\def\\\"ghi

bar TXT \"ab cd\\\\ef\\\"gh\"

" =

  { "$ORIGIN" = "example.com." }

  { "foo" { "1" { "type" = "TXT" } { "rdata" = "abc\\\\def\\\"ghi" } } }

  { "bar" { "1" { "type" = "TXT" } { "rdata" = "\"ab cd\\\\ef\\\"gh\"" } } }

(* Whitespace at the end of the line *)

test lns get "

$ORIGIN example.com. \n@ IN SOA ns root.example.com. (1 2 3 4 5) \t

foo 1D IN A 10.1.2.3\t

" =

  { "$ORIGIN" = "example.com." }

  { "@"

    { "1"

      { "class" = "IN" }

      { "type" = "SOA" }

      { "mname" = "ns" }

      { "rname" = "root.example.com." }

      { "serial" = "1" }

      { "refresh" = "2" }

      { "retry" = "3" }

      { "expiry" = "4" }

      { "minimum" = "5" }

    }

  }

  { "foo"

    { "1"

      { "ttl" = "1D" }

      { "class" = "IN" }

      { "type" = "A" }

      { "rdata" = "10.1.2.3" }

    }

  }