static public void init()
{
AuthTicket_Req = PoirotMain.Nondet.AuthTicket_Req();
AuthTicket_Req.permissions = PoirotMain.Nondet.Permissions();
AuthTicket_Req.permissions.permissionSet = PoirotMain.Nondet.HashSet();
AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init();
RS = new For_vProgram();
}
static public void init()
{
SignInIdP_Req = new AuthenticationRequest(); // PoirotMain.Nondet.AuthenticationRequest();
((AuthenticationRequest)SignInIdP_Req).Realm = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).IdPSessionSecret = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).return_to = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).SymT = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).identity = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).realm = PoirotMain.Nondet.String();
AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init();
RP = new For_vProgram();
}
static public void init()
{
AuthTicket_Req = PoirotMain.Nondet.AuthTicket_Req();
AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init();
RS = new For_vProgram();
}
static public void init()
{
SignInIdP_Req = PoirotMain.Nondet.AuthenticationRequest();
AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init();
RP = new For_vProgram();
}
