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() { AuthTicket_Req = PoirotMain.Nondet.AuthTicket_Req(); AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init(); RS = new For_vProgram(); }