addr tests

import net/[Address]
import proof

test("same ip4 addresses", func () {
   ip1 := IP4Address new("1.2.3.4")
   ip2 := IP4Address new("1.2.3.4")
   assert(ip1 == ip2)
   assert(!(ip1 != ip2))
      })

test("different ip4 addresses", func () {
   ip1 := IP4Address new("1.2.3.4")
   ip2 := IP4Address new("1.2.3.5")
   assert(!(ip1 == ip2))
   assert(ip1 != ip2)
      })

test("same ip6 addresses", func () {
   ip1 := IP6Address new("11::ff")
   ip2 := IP6Address new("11::ff")
   assert(ip1 == ip2)
   assert(!(ip1 != ip2))
      })

test("different ip6 addresses", func () {
   ip1 := IP6Address new("22::ff")
   ip2 := IP6Address new("11::ff")
   assert(!(ip1 == ip2))
   assert(ip1 != ip2)
      })

test("ip4 ip6 comparison fail", func () {
   ip1 := IP4Address new("1.2.3.4")
   ip2 := IP6Address new("11::ff")
   assert(!(ip1 == ip2))
   assert(ip1 != ip2)
      })

test("same ip4 sockets", func() {
   ip := IP4Address new("1.2.3.4")
   sa1 := SocketAddressIP4 new(ip ai, 123)
   sa2 := SocketAddressIP4 new(ip ai, 123)
   assert(sa1 == sa2)
   assert(!(sa1 != sa2))
      })

test("different ip4 sockets (port)", func() {
   ip := IP4Address new("1.2.3.4")
   sa1 := SocketAddressIP4 new(ip ai, 123)
   sa2 := SocketAddressIP4 new(ip ai, 321)
   assert(!(sa1 == sa2))
   assert(sa1 != sa2)
      })

test("different ip4 sockets (host)", func() {
   ip1 := IP4Address new("1.2.3.4")
   ip2 := IP4Address new("5.6.7.8")
   sa1 := SocketAddressIP4 new(ip1 ai, 123)
   sa2 := SocketAddressIP4 new(ip2 ai, 123)
   assert(!(sa1 == sa2))
   assert(sa1 != sa2)
      })

test("same ip6 sockets", func() {
   ip := IP6Address new("11::ff")
   sa1 := SocketAddressIP6 new(ip ai, 123)
   sa2 := SocketAddressIP6 new(ip ai, 123)
   assert(sa1 == sa2)
   assert(!(sa1 != sa2))
      })

test("different ip6 sockets (port)", func() {
   ip := IP6Address new("11::ff")
   sa1 := SocketAddressIP6 new(ip ai, 123)
   sa2 := SocketAddressIP6 new(ip ai, 321)
   assert(!(sa1 == sa2))
   assert(sa1 != sa2)
      })

test("different ip6 sockets (host)", func() {
   ip1 := IP6Address new("11::ff")
   ip2 := IP6Address new("ff::11")
   sa1 := SocketAddressIP6 new(ip1 ai, 123)
   sa2 := SocketAddressIP6 new(ip2 ai, 123)
   assert(!(sa1 == sa2))
   assert(sa1 != sa2)
      })

test("ip4 ip6 socket comparison fail", func () {
   ip1 := IP6Address new("11::ff")
   ip2 := IP4Address new("1.2.3.4")
   sa1 := SocketAddressIP6 new(ip1 ai, 123)
   sa2 := SocketAddressIP4 new(ip2 ai, 123)
   assert(!(sa1 == sa2))
   assert(sa1 != sa2)
      })