*/
public void testGeneratedAccessEventSession() throws Exception {
root = loadAndInfer(UserRoles.class);
Session session = assertHasSession(root, "target session");
Frame target = assertHasFrame(session, "target");
// access event in the session
Event event = target.getOnAccess();
assertGenerated(event);
// check permissions operation contained in the session, not the page
ActivityOperation pageOp = assertHasActivityOperation(target, "permissions check");
assertGenerated(pageOp);
// connected
ECARule run = assertHasECARule(target, event, pageOp, "run");
assertGenerated(run);
// a failure wire connecting the op to the login page
Session loginSession = assertHasSession(root, "role-based login handler for target session login");
Frame login = assertHasFrame(loginSession, "login");
ECARule fail = assertHasECARule(root, pageOp, login, "fail");
assertGenerated(fail);
}