Mercurial > urweb
annotate tests/policy2.ur @ 2062:795b5b75453c
Add 'role' data attribute.
Note, that 'role' attribute is a part of reach ARIA API described here:
http://www.w3.org/TR/wai-aria/
Among 'role', it defines lots of aria-* attributes
author | Sergey Mironov <grrwlf@gmail.com> |
---|---|
date | Mon, 07 Jul 2014 10:05:04 +0400 |
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> |