Mercurial > openid

annotate tests/utest.ur @ 32:90b8ce9be9f5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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>)