Mercurial > urweb
annotate tests/subform.ur @ 1218:48d2ca496d2c
Path conditions, used to track implicit flows
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 10 Apr 2010 13:02:15 -0400 |
| parents | 8ce31c052dce |
| children |
| rev | line source |
|---|---|
| adamc@756 | 1 fun handler r = return <xml><body> |
| adamc@756 | 2 {[r.A]}, {[r.Sub.A]}, {[r.Sub.B]}, {[r.Sub.Sub]}, {[r.C]} |
| adamc@756 | 3 </body></xml> |
| adamc@756 | 4 |
| adamc@756 | 5 fun main () = return <xml><body> |
| adamc@756 | 6 <form> |
| adamc@756 | 7 <textbox{#A}/><br/> |
| adamc@756 | 8 <subform{#Sub}> |
| adamc@756 | 9 <textbox{#A}/><br/> |
| adamc@756 | 10 <textbox{#B}/><br/> |
| adamc@756 | 11 <textbox{#Sub}/><br/> |
| adamc@756 | 12 </subform> |
| adamc@756 | 13 <textbox{#C}/><br/> |
| adamc@756 | 14 <submit action={handler}/> |
| adamc@756 | 15 </form> |
| adamc@756 | 16 </body></xml> |