diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-04-08 09:57:37 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-08 09:57:37 -0400 |
commit | ed25721e17d6798aad7b7a0cea8e5393bb840a91 (patch) | |
tree | e9741860302158a80e4339062e77fd5c7b5cc6cb /tests/policy.ur | |
parent | db36e74c12b26c94ef387d66dc61858f06daa2d8 (diff) |
Change query_policy to sendClient; all arguments passed to SQL predicates are variables
Diffstat (limited to 'tests/policy.ur')
-rw-r--r-- | tests/policy.ur | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/tests/policy.ur b/tests/policy.ur index 40850393..6d4e341e 100644 --- a/tests/policy.ur +++ b/tests/policy.ur @@ -9,18 +9,18 @@ table order : { Id : order, Fruit : fruit, Qty : int, Code : int } CONSTRAINT Fruit FOREIGN KEY Fruit REFERENCES fruit(Id) (* Everyone may knows IDs and names. *) -policy query_policy (SELECT fruit.Id, fruit.Nam - FROM fruit) +policy sendClient (SELECT fruit.Id, fruit.Nam + FROM fruit) (* The weight is sensitive information; you must know the secret. *) -policy query_policy (SELECT fruit.Weight, fruit.Secret - FROM fruit - WHERE known(fruit.Secret)) - -policy query_policy (SELECT order.Id, order.Fruit, order.Qty - FROM order, fruit - WHERE order.Fruit = fruit.Id - AND order.Qty = 13) +policy sendClient (SELECT fruit.Weight, fruit.Secret + FROM fruit + WHERE known(fruit.Secret)) + +policy sendClient (SELECT order.Id, order.Fruit, order.Qty + FROM order, fruit + WHERE order.Fruit = fruit.Id + AND order.Qty = 13) fun fname r = x <- queryX (SELECT fruit.Weight |