Mercurial > urweb
annotate tests/policy2.ur @ 1905:cd1cfecc8c72
Remove autogenerated config.h.in from version control
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
.hgignore | 1 +
include/urweb/config.h.in | 104 ----------------------------------------------
2 files changed, 1 insertion(+), 104 deletions(-)
delete mode 100644 include/urweb/config.h.in
| author | Anders Kaseorg <andersk@mit.edu> |
|---|---|
| date | Fri, 22 Nov 2013 09:36:14 -0500 |
| parents | d5ecceb7d1a1 |
| children |
| rev | line source |
|---|---|
| adamc@1236 | 1 type fruit = int |
| adamc@1236 | 2 table fruit : { Id : fruit, Nam : string, Weight : float, Secret : string } |
| adamc@1236 | 3 PRIMARY KEY Id, |
| adamc@1236 | 4 CONSTRAINT Nam UNIQUE Nam |
| adamc@1236 | 5 |
| adamc@1236 | 6 (* Everyone may knows IDs and names. *) |
| adamc@1236 | 7 policy sendClient (SELECT fruit.Id, fruit.Nam |
| adamc@1236 | 8 FROM fruit) |
| adamc@1236 | 9 |
| adamc@1236 | 10 (* The weight is sensitive information; you must know the secret. *) |
| adamc@1236 | 11 policy sendClient (SELECT fruit.Weight, fruit.Secret |
| adamc@1236 | 12 FROM fruit |
| adamc@1236 | 13 WHERE known(fruit.Secret)) |
| adamc@1236 | 14 |
| adamc@1236 | 15 fun main () = |
| adamc@1236 | 16 x1 <- queryX (SELECT fruit.Id, fruit.Nam |
| adamc@1236 | 17 FROM fruit |
| adamc@1236 | 18 WHERE fruit.Nam = "apple") |
| adamc@1236 | 19 (fn x => <xml><li>{[x.Fruit.Id]}: {[x.Fruit.Nam]}</li></xml>); |
| adamc@1236 | 20 return <xml><body> |
| adamc@1236 | 21 <ul>{x1}</ul> |
| adamc@1236 | 22 </body></xml> |