Mercurial > urweb

comparison tests/policy.ur @ 1236:d5ecceb7d1a1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Completely redid main Iflow logic; so far, policy and policy2 work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 16:30:46 -0400
parents 7dfa67560916
children
comparison
equal deleted inserted replaced
1235:a7b773f1d053 1236:d5ecceb7d1a1
7 table order : { Id : order, Fruit : fruit, Qty : int, Code : int } 7 table order : { Id : order, Fruit : fruit, Qty : int, Code : int }
8 PRIMARY KEY Id, 8 PRIMARY KEY Id,
9 CONSTRAINT Fruit FOREIGN KEY Fruit REFERENCES fruit(Id) 9 CONSTRAINT Fruit FOREIGN KEY Fruit REFERENCES fruit(Id)
10 10
11 (* Everyone may knows IDs and names. *) 11 (* Everyone may knows IDs and names. *)
12 policy sendClient (SELECT fruit.Id 12 policy sendClient (SELECT fruit.Id, fruit.Nam
13 FROM fruit)
14 policy sendClient (SELECT fruit.Nam
15 FROM fruit) 13 FROM fruit)
16 14
17 (* The weight is sensitive information; you must know the secret. *) 15 (* The weight is sensitive information; you must know the secret. *)
18 policy sendClient (SELECT fruit.Weight, fruit.Secret 16 policy sendClient (SELECT fruit.Weight, fruit.Secret
19 FROM fruit 17 FROM fruit