annotate caching-tests/test.ur @ 2237:e79ef5792c8b

Fix bug in redundancy checking and use finer formula for UPDATE statements.
author Ziv Scully <ziv@mit.edu>
date Sun, 05 Jul 2015 23:57:28 -0700
parents fab8c1f131a5
children 7f92d70a326e
rev   line source
ziv@2213 1 table tab : {Id : int, Val : int} PRIMARY KEY Id
ziv@2203 2
ziv@2213 3 fun cache id =
ziv@2225 4 res <- oneOrNoRows (SELECT tab.Val
ziv@2225 5 FROM tab
ziv@2225 6 WHERE tab.Id = {[id]});
ziv@2204 7 return <xml><body>
ziv@2213 8 Reading {[id]}.
ziv@2204 9 {case res of
ziv@2213 10 None => <xml>?</xml>
ziv@2213 11 | Some row => <xml>{[row.Tab.Val]}</xml>}
ziv@2204 12 </body></xml>
ziv@2203 13
ziv@2235 14
ziv@2213 15 fun flush id =
ziv@2235 16 dml (UPDATE tab
ziv@2235 17 SET Val = 42
ziv@2236 18 WHERE Id = {[id]} OR Id = {[id - 1]} OR Id = {[id + 1]});
ziv@2204 19 return <xml><body>
ziv@2235 20 Changed {[id]}!
ziv@2204 21 </body></xml>
ziv@2234 22
ziv@2235 23 (* fun flush id = *)
ziv@2235 24 (* res <- oneOrNoRows (SELECT tab.Val *)
ziv@2235 25 (* FROM tab *)
ziv@2235 26 (* WHERE tab.Id = {[id]}); *)
ziv@2235 27 (* (case res of *)
ziv@2235 28 (* None => dml (INSERT INTO tab (Id, Val) *)
ziv@2235 29 (* VALUES ({[id]}, 0)) *)
ziv@2235 30 (* | Some row => dml (UPDATE tab *)
ziv@2235 31 (* SET Val = {[row.Tab.Val + 1]} *)
ziv@2235 32 (* WHERE Id = {[id]} OR Id = {[id + 1]})); *)
ziv@2235 33 (* return <xml><body> *)
ziv@2235 34 (* {case res of *)
ziv@2235 35 (* None => <xml>Initialized {[id]}!</xml> *)
ziv@2235 36 (* | Some row => <xml>Incremented {[id]}!</xml>} *)
ziv@2235 37 (* </body></xml> *)