static void init() { c = p.NondetChannel1(); pas.Recipient = p.NondetUri(); pas.ReturnTo = p.NondetUri(); pas.ClaimedIdentifier = p.NondetIdentifier(); rp = p.NondetOpenIdRelyingParty1(); pas1.Recipient = p.NondetUri(); pas1.ReturnTo = p.NondetUri(); pas1.ClaimedIdentifier = p.NondetIdentifier(); GlobalState.actualExt = p.NondetClaimsResponse(); GlobalState.claimedExt = p.NondetClaimsResponse(); GlobalState.actualEndPoint = p.NondetIdentifierDiscoveryResult(); GlobalState.claimedEndPoint = p.NondetIdentifierDiscoveryResult(); //Assume we are using email to authenticate identity = Identity.Email; }
static void init() { c = p.NondetChannel1(); Auth_resp.SessionID = auth_req_sessionID; Contract.Assume(Auth_resp.ReturnTo.Authority == auth_req_realm); //This is an assignment, but a property cannot be assigned. Auth_resp.Recipient = p.NondetUri(); Auth_resp.ReturnTo = p.NondetUri(); Auth_resp.ClaimedIdentifier = p.NondetIdentifier(); rp = p.NondetOpenIdRelyingParty1(); SignIn_req.Recipient = p.NondetUri(); SignIn_req.ReturnTo = p.NondetUri(); SignIn_req.ClaimedIdentifier = p.NondetIdentifier(); pas_nondet.Recipient = p.NondetUri(); pas_nondet.ReturnTo = p.NondetUri(); pas_nondet.ClaimedIdentifier = p.NondetIdentifier(); GlobalState.actualExt = p.NondetClaimsResponse(); GlobalState.claimedExt = p.NondetClaimsResponse(); GlobalState.actualEndPoint = p.NondetIdentifierDiscoveryResult(); GlobalState.claimedEndPoint = p.NondetIdentifierDiscoveryResult(); //Assume we are using email to authenticate identity = Identity.Email; }