Mercurial > urweb
annotate tests/data_attr.ur @ 2029:dfa35ca83d92
'sql_injectable_prim' instance for 'url'
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 15 Jun 2014 10:48:53 -0400 |
| parents | 93ff76058825 |
| children | 6be31671911b |
| rev | line source |
|---|---|
| adam@2008 | 1 fun dynd r = return <xml><body> |
| adam@2008 | 2 <div data={data_attr r.Attr r.Value}>How about that?</div> |
| adam@2008 | 3 </body></xml> |
| adam@2008 | 4 |
| adam@2008 | 5 fun main () : transaction page = |
| adam@2008 | 6 s <- source <xml/>; |
| adam@2008 | 7 a <- source ""; |
| adam@2008 | 8 v <- source ""; |
| adam@2008 | 9 return <xml><body> |
| adam@2008 | 10 <div data-foo="hi" data-bar="bye" data-baz="why">Whoa there, cowboy!</div> |
| adam@2008 | 11 |
| adam@2008 | 12 <hr/> |
| adam@2008 | 13 |
| adam@2008 | 14 <form> |
| adam@2008 | 15 <textbox{#Attr}/> = <textbox{#Value}/> |
| adam@2008 | 16 <submit action={dynd}/> |
| adam@2008 | 17 </form> |
| adam@2008 | 18 |
| adam@2008 | 19 <hr/> |
| adam@2008 | 20 |
| adam@2008 | 21 <ctextbox source={a}/> = <ctextbox source={v}/> |
| adam@2008 | 22 <button onclick={fn _ => |
| adam@2008 | 23 a <- get a; v <- get v; set s <xml><div data={data_attr a v}>OHO!</div></xml>}/> |
| adam@2008 | 24 <hr/> |
| adam@2008 | 25 <dyn signal={signal s}/> |
| adam@2008 | 26 </body></xml> |