diff options
Diffstat (limited to 'users')
-rw-r--r-- | users/Profpatsch/netstring/default.nix | 58 | ||||
-rw-r--r-- | users/Profpatsch/netstring/tests.nix | 45 |
2 files changed, 103 insertions, 0 deletions
diff --git a/users/Profpatsch/netstring/default.nix b/users/Profpatsch/netstring/default.nix new file mode 100644 index 000000000000..35345978a318 --- /dev/null +++ b/users/Profpatsch/netstring/default.nix @@ -0,0 +1,58 @@ +{ lib, pkgs, depot, ... }: +let + toNetstring = s: + "${toString (builtins.stringLength s)}:${s},"; + + toNetstringKeyVal = attrs: + lib.concatStrings + (lib.mapAttrsToList + (k: v: toNetstring (toNetstring k + toNetstring v)) + attrs); + + python-netstring = depot.users.Profpatsch.writers.python3Lib { + name = "netstring"; + } '' + def read_netstring(bytes): + (int_length, rest) = bytes.split(sep=b':', maxsplit=1) + val = rest[:int(int_length)] + # has to end on a , + assert(rest[len(val)] == ord(',')) + return (val, rest[len(val) + 1:]) + + def read_netstring_key_val(bytes): + (keyvalnet, rest) = read_netstring(bytes) + (key, valnet) = read_netstring(keyvalnet) + (val, nothing) = read_netstring(valnet) + assert(nothing == b"") + return (key, val, rest) + + def read_netstring_key_val_list(bytes): + rest = bytes + res = {} + while rest != b"": + (key, val, r) = read_netstring_key_val(rest) + rest = r + res[key] = val + return res + ''; + + tests = import ./tests.nix { + inherit + depot + pkgs + lib + python-netstring + toNetstring + toNetstringKeyVal + ; + }; + +in { + inherit + toNetstring + toNetstringKeyVal + python-netstring + tests + ; + +} diff --git a/users/Profpatsch/netstring/tests.nix b/users/Profpatsch/netstring/tests.nix new file mode 100644 index 000000000000..26853e13eebe --- /dev/null +++ b/users/Profpatsch/netstring/tests.nix @@ -0,0 +1,45 @@ +{ depot, lib, pkgs, python-netstring, toNetstring, toNetstringKeyVal }: + +let + imports = { + inherit (depot.users.Profpatsch) + writers + ; + }; + + python-netstring-test = imports.writers.python3 "python-netstring" { + libraries = p: [ + python-netstring + ]; + } '' + import netstring + + def assEq(left, right): + assert left == right, "{} /= {}".format(str(left), str(right)) + + assEq( + netstring.read_netstring(b"""${toNetstring "hi!"}"""), + (b"hi!", b"") + ) + + assEq( + netstring.read_netstring_key_val( + b"""${toNetstringKeyVal { foo = "42"; }}""" + ), + (b'foo', b'42', b"") + ) + + assEq( + netstring.read_netstring_key_val_list( + b"""${toNetstringKeyVal { foo = "42"; bar = "hi"; }}""" + ), + { b'foo': b'42', b'bar': b'hi' } + ) + + ''; + +in { + inherit + python-netstring-test + ; +} |