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;
}
