Added support for aspect-oriented programming.

2 files changed, 46 insertions, 1 deletions

diff --git a/stdlib/source/test/lux/world/net.lux b/stdlib/source/test/lux/world/net.lux
index 9856b8a00..b2c286fc0 100644
--- a/stdlib/source/test/lux/world/net.lux
+++ b/stdlib/source/test/lux/world/net.lux
@@ -20,7 +20,8 @@
   ["[1][0]" uri
    ["[1]/[0]" encoding]
    ["[1]/[0]" scheme]
-   ["[1]/[0]" path]]])
+   ["[1]/[0]" path]
+   ["[1]/[0]" query]]])
 
 (def .public test
   Test
@@ -48,4 +49,5 @@
            /uri/encoding.test
            /uri/scheme.test
            /uri/path.test
+           /uri/query.test
            )))
diff --git a/stdlib/source/test/lux/world/net/uri/query.lux b/stdlib/source/test/lux/world/net/uri/query.lux
new file mode 100644
index 000000000..ecdd3c2c4
--- /dev/null
+++ b/stdlib/source/test/lux/world/net/uri/query.lux
@@ -0,0 +1,43 @@
+(.require
+ [library
+  [lux (.except)
+   [abstract
+    [monad (.only do)]
+    [\\specification
+     ["[0]S" equivalence]
+     ["[0]S" codec]]]
+   [data
+    [collection
+     ["[0]" dictionary]]]
+   [math
+    ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+   [test
+    ["_" property (.only Test)]]]]
+ [\\library
+  ["[0]" /]])
+
+(def .public (random size)
+  (-> Nat (Random /.Query))
+  (when size
+    0 (random#in /.empty)
+    _ (do random.monad
+        [key (random.alphabetic size)
+         value (random.unicode size)
+         query (random (-- size))]
+        (in (dictionary.has key value query)))))
+
+(def .public test
+  Test
+  (<| (_.covering /._)
+      (do [! random.monad]
+        [])
+      (_.for [/.Query])
+      (all _.and
+           (_.for [/.equivalence]
+                  (equivalenceS.spec /.equivalence (..random 2)))
+           (_.for [/.codec]
+                  (codecS.spec /.equivalence /.codec (..random 3)))
+
+           (_.coverage [/.empty]
+             (dictionary.empty? /.empty))
+           )))