uri_authority.pony

 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
class val URIAuthority is (Stringable & Equatable[URIAuthority])
  """
  A parsed URI authority component (RFC 3986 section 3.2).

  Format: `[userinfo@]host[:port]`

  The host may be empty — this occurs in URIs like `file:///path` where
  the authority is present (indicated by `//`) but contains no host.
  IP-literals (IPv6 and IPvFuture) include their brackets in the host
  string (e.g., `[::1]`).
  """
  let userinfo: (String | None)
  let host: String
  let port: (U16 | None)

  new val create(
    userinfo': (String | None),
    host': String,
    port': (U16 | None))
  =>
    """
    Build an authority from pre-encoded components.

    The `userinfo` and `host` strings must already be percent-encoded —
    no encoding is applied here. Most callers will obtain a
    `URIAuthority` from `ParseURI` or `ParseURIAuthority`.
    """
    userinfo = userinfo'
    host = host'
    port = port'

  fun string(): String iso^ =>
    """
    Reconstruct the authority string in `[userinfo@]host[:port]` format.
    """
    let out = recover iso String end
    match userinfo
    | let u: String => out.append(u); out.push('@')
    end
    out.append(host)
    match port
    | let p: U16 => out.push(':'); out.append(p.string())
    end
    out

  fun eq(that: URIAuthority box): Bool =>
    """
    Structural equality on all authority components.
    """
    let userinfo_eq =
      match (userinfo, that.userinfo)
      | (None, None) => true
      | (let a: String, let b: String) => a == b
      else
        false
      end
    let port_eq =
      match (port, that.port)
      | (None, None) => true
      | (let a: U16, let b: U16) => a == b
      else
        false
      end
    userinfo_eq and (host == that.host) and port_eq