Mercurial > urweb
annotate tests/policy.ur @ 1200:5eac14322548
Generated basic dummy Iflow conditions
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 04 Apr 2010 14:37:19 -0400 |
| parents | c316ca3c9ec6 |
| children | 8793fd48968c |
| rev | line source |
|---|---|
| adamc@1200 | 1 table fruit : { Id : int, Nam : string, Weight : float, Secret : string } |
| adamc@1199 | 2 |
| adamc@1200 | 3 policy query_policy (SELECT fruit.Id, fruit.Nam, fruit.Weight FROM fruit) |
| adamc@1200 | 4 |
| adamc@1200 | 5 fun main () = |
| adamc@1200 | 6 xml <- queryX (SELECT fruit.Nam |
| adamc@1200 | 7 FROM fruit |
| adamc@1200 | 8 ORDER BY fruit.Nam) |
| adamc@1200 | 9 (fn x => <xml><li>{[x.Fruit.Nam]}</li></xml>); |
| adamc@1200 | 10 |
| adamc@1200 | 11 return <xml><body> |
| adamc@1200 | 12 {xml} |
| adamc@1200 | 13 </body></xml> |