Mercurial > openid
annotate tests/utest.ur @ 32:90b8ce9be9f5
Change some field names and update utest
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 21 Apr 2011 13:24:55 -0400 |
parents | 35d06874bec4 |
children | df258dbf4739 |
rev | line source |
---|---|
adam@19 | 1 style inputs |
adam@19 | 2 |
adam@19 | 3 structure U = OpenidUser.Make(struct |
adam@19 | 4 con cols = [Nam = string] |
adam@19 | 5 |
adam@19 | 6 val sessionLifetime = 3600 |
adam@19 | 7 val afterLogout = bless "/main" |
adam@19 | 8 val secureCookies = False |
adam@19 | 9 val association = Openid.Stateful {AssociationType = Openid.HMAC_SHA256, |
adam@19 | 10 AssociationSessionType = Openid.NoEncryption} |
adam@19 | 11 val realm = None |
adam@19 | 12 |
adam@19 | 13 val creationState = |
adam@19 | 14 n <- source ""; |
adam@19 | 15 return {Nam = n} |
adam@19 | 16 |
adam@19 | 17 fun render r = <xml> |
adam@19 | 18 <tr> <th class={inputs}>Name:</th> <td><ctextbox source={r.Nam}/></td> </tr> |
adam@19 | 19 </xml> |
adam@19 | 20 |
adam@21 | 21 fun ready _ = return True |
adam@21 | 22 |
adam@19 | 23 fun tabulate r = |
adam@19 | 24 n <- signal r.Nam; |
adam@19 | 25 return {Nam = n} |
adam@19 | 26 |
adam@29 | 27 fun choose _ r = return (OpenidUser.Success r) |
adam@19 | 28 |
adam@19 | 29 val formClass = inputs |
adam@23 | 30 |
adam@23 | 31 val fakeId = None |
adam@32 | 32 |
adam@32 | 33 val ctlDisplay = {User = {Status = <xml>Status</xml>, Logout = <xml>Log Out</xml>}, |
adam@32 | 34 Guest = {Status = <xml>Status</xml>, Signup = <xml>Sign Up</xml>}} |
adam@19 | 35 end) |
adam@19 | 36 |
adam@19 | 37 fun wrap title body = |
adam@19 | 38 userStuff <- U.main wrap; |
adam@19 | 39 return <xml><head> |
adam@19 | 40 <title>{[title]}</title> |
adam@19 | 41 </head><body> |
adam@25 | 42 {userStuff.Status}<br/> |
adam@25 | 43 {userStuff.Other} |
adam@19 | 44 |
adam@19 | 45 <h1>{[title]}</h1> |
adam@19 | 46 |
adam@19 | 47 {body} |
adam@19 | 48 </body></xml> |
adam@19 | 49 |
adam@19 | 50 fun main () = |
adam@19 | 51 whoami <- U.current; |
adam@19 | 52 wrap "Main page" (case whoami of |
adam@19 | 53 None => <xml>I don't think you're logged in.</xml> |
adam@19 | 54 | Some whoami => <xml>Apparently you are <b>{[whoami]}</b>!</xml>) |