aboutsummaryrefslogtreecommitdiffhomepage
path: root/caching-tests
diff options
context:
space:
mode:
Diffstat (limited to 'caching-tests')
-rw-r--r--caching-tests/test.dbbin0 -> 5120 bytes
-rw-r--r--caching-tests/test.sql16
-rw-r--r--caching-tests/test.ur74
-rw-r--r--caching-tests/test.urp8
-rw-r--r--caching-tests/test.urs8
5 files changed, 106 insertions, 0 deletions
diff --git a/caching-tests/test.db b/caching-tests/test.db
new file mode 100644
index 00000000..a4661341
--- /dev/null
+++ b/caching-tests/test.db
Binary files differ
diff --git a/caching-tests/test.sql b/caching-tests/test.sql
new file mode 100644
index 00000000..7ade7278
--- /dev/null
+++ b/caching-tests/test.sql
@@ -0,0 +1,16 @@
+CREATE TABLE uw_Test_foo01(uw_id int8 NOT NULL, uw_bar text NOT NULL,
+ PRIMARY KEY (uw_id)
+
+ );
+
+ CREATE TABLE uw_Test_foo10(uw_id int8 NOT NULL, uw_bar text NOT NULL,
+ PRIMARY KEY (uw_id)
+
+ );
+
+ CREATE TABLE uw_Test_tab(uw_id int8 NOT NULL, uw_val int8 NOT NULL,
+ PRIMARY KEY (uw_id)
+
+ );
+
+ \ No newline at end of file
diff --git a/caching-tests/test.ur b/caching-tests/test.ur
new file mode 100644
index 00000000..931612bc
--- /dev/null
+++ b/caching-tests/test.ur
@@ -0,0 +1,74 @@
+table foo01 : {Id : int, Bar : string} PRIMARY KEY Id
+table foo10 : {Id : int, Bar : string} PRIMARY KEY Id
+table tab : {Id : int, Val : int} PRIMARY KEY Id
+
+fun cache01 () =
+ res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 43);
+ return <xml><body>
+ Reading 1.
+ {case res of
+ None => <xml>?</xml>
+ | Some row => <xml>{[row.Foo01.Bar]}</xml>}
+ </body></xml>
+
+fun cache10 () =
+ res <- queryX (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42)
+ (fn row => <xml>{[row.Foo10.Bar]}</xml>);
+ return <xml><body>
+ Reading 2.
+ {res}
+ </body></xml>
+
+fun cache11 () =
+ res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42);
+ bla <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42);
+ return <xml><body>
+ Reading 1 and 2.
+ {case res of
+ None => <xml>?</xml>
+ | Some row => <xml>{[row.Foo01.Bar]}</xml>}
+ {case bla of
+ None => <xml>?</xml>
+ | Some row => <xml>{[row.Foo10.Bar]}</xml>}
+ </body></xml>
+
+fun flush01 () =
+ dml (INSERT INTO foo01 (Id, Bar) VALUES (42, "baz01"));
+ (* dml (UPDATE foo01 SET Bar = "baz01" WHERE Id = 42); *)
+ return <xml><body>
+ Flushed 1!
+ </body></xml>
+
+fun flush10 () =
+ dml (UPDATE foo10 SET Bar = "baz10" WHERE Id = 42);
+ return <xml><body>
+ Flushed 2!
+ </body></xml>
+
+fun flush11 () =
+ dml (UPDATE foo01 SET Bar = "baz11" WHERE Id = 42);
+ dml (UPDATE foo10 SET Bar = "baz11" WHERE Id = 42);
+ return <xml><body>
+ Flushed 1 and 2!
+ </body></xml>
+
+fun cache id =
+ res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]});
+ return <xml><body>
+ Reading {[id]}.
+ {case res of
+ None => <xml>?</xml>
+ | Some row => <xml>{[row.Tab.Val]}</xml>}
+ </body></xml>
+
+fun flush id =
+ res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]});
+ dml (case res of
+ None => (INSERT INTO tab (Id, Val) VALUES ({[id]}, 0))
+ | Some row => (UPDATE tab SET Val = {[row.Tab.Val + 1]} WHERE Id = {[id]}));
+ return <xml><body>
+ (* Flushed {[id]}! *)
+ {case res of
+ None => <xml>Initialized {[id]}!</xml>
+ | Some row => <xml>Incremented {[id]}!</xml>}
+ </body></xml>
diff --git a/caching-tests/test.urp b/caching-tests/test.urp
new file mode 100644
index 00000000..7ac469f9
--- /dev/null
+++ b/caching-tests/test.urp
@@ -0,0 +1,8 @@
+database test.db
+sql test.sql
+safeGet Test/flush01
+safeGet Test/flush10
+safeGet Test/flush11
+safeGet Test/flush
+
+test
diff --git a/caching-tests/test.urs b/caching-tests/test.urs
new file mode 100644
index 00000000..ace4ba28
--- /dev/null
+++ b/caching-tests/test.urs
@@ -0,0 +1,8 @@
+val cache01 : unit -> transaction page
+val cache10 : unit -> transaction page
+val cache11 : unit -> transaction page
+val flush01 : unit -> transaction page
+val flush10 : unit -> transaction page
+val flush11 : unit -> transaction page
+val cache : int -> transaction page
+val flush : int -> transaction page