Mercurial > urweb
view caching-tests/test.ur @ 2267:e5b7b066bf1b
Factor out SQL simplification.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Wed, 14 Oct 2015 20:40:57 -0400 |
parents | 200a7ed4343b |
children | f7bc7c11a656 |
line wrap: on
line source
table tab : {Id : int, Val : int} PRIMARY KEY Id 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 = dml (UPDATE tab SET Val = Val * (Id + 2) / Val - 3 WHERE Id = {[id]} OR Id = {[id - 1]} OR Id = {[id + 1]}); return <xml><body> Changed {[id]}! </body></xml> val flush17 = dml (UPDATE tab SET Val = Val * (Id + 2) / Val - 3 WHERE Id = 17); return <xml><body> Changed specifically 17! </body></xml> (* fun flush id = *) (* res <- oneOrNoRows (SELECT tab.Val *) (* FROM tab *) (* WHERE tab.Id = {[id]}); *) (* (case res of *) (* None => dml (INSERT INTO tab (Id, Val) *) (* VALUES ({[id]}, 0)) *) (* | Some row => dml (UPDATE tab *) (* SET Val = {[row.Tab.Val + 1]} *) (* WHERE Id = {[id]} OR Id = {[id + 1]})); *) (* return <xml><body> *) (* {case res of *) (* None => <xml>Initialized {[id]}!</xml> *) (* | Some row => <xml>Incremented {[id]}!</xml>} *) (* </body></xml> *)