github.com/joomcode/cue@v0.4.4-0.20221111115225-539fe3512047/pkg/net/testdata/gen.txtar (about)

     1  # generated from the original tests.
     2  # Henceforth it may be nicer to group tests into separate files.
     3  -- in.cue --
     4  import "net"
     5  
     6  t1:  net.FQDN & "foo.bar."
     7  t2:  net.FQDN("foo.bararararararararararararararararararararararararararararararararara")
     8  t3:  net.SplitHostPort("[::%lo0]:80")
     9  t4:  net.JoinHostPort("example.com", "80")
    10  t5:  net.JoinHostPort("2001:db8::1", 80)
    11  t6:  net.JoinHostPort([192, 30, 4, 2], 80)
    12  t7:  net.JoinHostPort([192, 30, 4], 80)
    13  t8:  net.IP("23.23.23.23")
    14  t9:  net.IPv4 & "23.23.23.2333"
    15  t10: net.IP("23.23.23.23")
    16  t11: net.IP("2001:db8::1")
    17  t12: net.IPv4("2001:db8::1")
    18  t13: net.IPv4() & "ff02::1:3"
    19  t14: net.LoopbackIP([127, 0, 0, 1])
    20  t15: net.LoopbackIP("127.0.0.1")
    21  t16: net.ToIP4("127.0.0.1")
    22  t17: net.ToIP16("127.0.0.1")
    23  t18: net.IPCIDR("192.168.1.0/24")
    24  t19: net.IPCIDR("2001:db8:a0b:12f0::1/32")
    25  t20: net.IPCIDR("172.16.12.3")
    26  -- out/net --
    27  Errors:
    28  t9: invalid value "23.23.23.2333" (does not satisfy net.IPv4):
    29      ./in.cue:11:6
    30      ./in.cue:11:17
    31  error in call to net.JoinHostPort: invalid host [192, 30, 4]:
    32      ./in.cue:9:6
    33  t13: invalid value "ff02::1:3" (does not satisfy net.IPv4):
    34      ./in.cue:15:6
    35      ./in.cue:15:19
    36  error in call to net.IPCIDR: invalid CIDR address: 172.16.12.3:
    37      ./in.cue:22:6
    38  
    39  Result:
    40  t1: "foo.bar."
    41  t2: false
    42  t3: ["::%lo0", "80"]
    43  t4:  "example.com:80"
    44  t5:  "[2001:db8::1]:80"
    45  t6:  "192.30.4.2:80"
    46  t7:  _|_ // error in call to net.JoinHostPort: invalid host [192, 30, 4]
    47  t8:  true
    48  t9:  _|_ // t9: invalid value "23.23.23.2333" (does not satisfy net.IPv4)
    49  t10: true
    50  t11: true
    51  t12: false
    52  t13: _|_ // t13: invalid value "ff02::1:3" (does not satisfy net.IPv4)
    53  t14: true
    54  t15: true
    55  t16: [127, 0, 0, 1]
    56  t17: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 255, 255, 127, 0, 0, 1]
    57  t18: true
    58  t19: true
    59  t20: _|_ // error in call to net.IPCIDR: invalid CIDR address: 172.16.12.3
    60