blob: 578d59b33ff95d367cc95033723bf6991adaf17b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
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> *)
|
