module VariableLengthQuantityTests open FsUnit.Xunit open Xunit open VariableLengthQuantity [] let ``Zero`` () = encode [0x0u] |> should equal [0x0uy] [] let ``Arbitrary single byte`` () = encode [0x40u] |> should equal [0x40uy] [] let ``Asymmetric single byte`` () = encode [0x53u] |> should equal [0x53uy] [] let ``Largest single byte`` () = encode [0x7fu] |> should equal [0x7fuy] [] let ``Smallest double byte`` () = encode [0x80u] |> should equal [0x81uy; 0x0uy] [] let ``Arbitrary double byte`` () = encode [0x2000u] |> should equal [0xc0uy; 0x0uy] [] let ``Asymmetric double byte`` () = encode [0xadu] |> should equal [0x81uy; 0x2duy] [] let ``Largest double byte`` () = encode [0x3fffu] |> should equal [0xffuy; 0x7fuy] [] let ``Smallest triple byte`` () = encode [0x4000u] |> should equal [0x81uy; 0x80uy; 0x0uy] [] let ``Arbitrary triple byte`` () = encode [0x100000u] |> should equal [0xc0uy; 0x80uy; 0x0uy] [] let ``Asymmetric triple byte`` () = encode [0x1d59cu] |> should equal [0x87uy; 0xabuy; 0x1cuy] [] let ``Largest triple byte`` () = encode [0x1fffffu] |> should equal [0xffuy; 0xffuy; 0x7fuy] [] let ``Smallest quadruple byte`` () = encode [0x200000u] |> should equal [0x81uy; 0x80uy; 0x80uy; 0x0uy] [] let ``Arbitrary quadruple byte`` () = encode [0x8000000u] |> should equal [0xc0uy; 0x80uy; 0x80uy; 0x0uy] [] let ``Asymmetric quadruple byte`` () = encode [0x357704u] |> should equal [0x81uy; 0xd5uy; 0xeeuy; 0x4uy] [] let ``Largest quadruple byte`` () = encode [0xfffffffu] |> should equal [0xffuy; 0xffuy; 0xffuy; 0x7fuy] [] let ``Smallest quintuple byte`` () = encode [0x10000000u] |> should equal [0x81uy; 0x80uy; 0x80uy; 0x80uy; 0x0uy] [] let ``Arbitrary quintuple byte`` () = encode [0xff000000u] |> should equal [0x8fuy; 0xf8uy; 0x80uy; 0x80uy; 0x0uy] [] let ``Asymmetric quintuple byte`` () = encode [0x86656105u] |> should equal [0x88uy; 0xb3uy; 0x95uy; 0xc2uy; 0x5uy] [] let ``Maximum 32-bit integer input`` () = encode [0xffffffffu] |> should equal [0x8fuy; 0xffuy; 0xffuy; 0xffuy; 0x7fuy] [] let ``Two single-byte values`` () = encode [0x40u; 0x7fu] |> should equal [0x40uy; 0x7fuy] [] let ``Two multi-byte values`` () = encode [0x4000u; 0x123456u] |> should equal [0x81uy; 0x80uy; 0x0uy; 0xc8uy; 0xe8uy; 0x56uy] [] let ``Many multi-byte values`` () = encode [0x2000u; 0x123456u; 0xfffffffu; 0x0u; 0x3fffu; 0x4000u] |> should equal [0xc0uy; 0x0uy; 0xc8uy; 0xe8uy; 0x56uy; 0xffuy; 0xffuy; 0xffuy; 0x7fuy; 0x0uy; 0xffuy; 0x7fuy; 0x81uy; 0x80uy; 0x0uy] [] let ``One byte`` () = decode [0x7fuy] |> should equal (Some [0x7fu]) [] let ``Two bytes`` () = decode [0xc0uy; 0x0uy] |> should equal (Some [0x2000u]) [] let ``Three bytes`` () = decode [0xffuy; 0xffuy; 0x7fuy] |> should equal (Some [0x1fffffu]) [] let ``Four bytes`` () = decode [0x81uy; 0x80uy; 0x80uy; 0x0uy] |> should equal (Some [0x200000u]) [] let ``Maximum 32-bit integer`` () = decode [0x8fuy; 0xffuy; 0xffuy; 0xffuy; 0x7fuy] |> should equal (Some [0xffffffffu]) [] let ``Incomplete sequence causes error`` () = decode [0xffuy] |> should equal None [] let ``Incomplete sequence causes error, even if value is zero`` () = decode [0x80uy] |> should equal None [] let ``Multiple values`` () = decode [0xc0uy; 0x0uy; 0xc8uy; 0xe8uy; 0x56uy; 0xffuy; 0xffuy; 0xffuy; 0x7fuy; 0x0uy; 0xffuy; 0x7fuy; 0x81uy; 0x80uy; 0x0uy] |> should equal (Some [0x2000u; 0x123456u; 0xfffffffu; 0x0u; 0x3fffu; 0x4000u])