SessionRepositoryFilterTests.java 文件源码

@Test
public void doFilterSessionContext() throws Exception {
    doFilter(new DoInFilter() {
        @Override
        public void doFilter(HttpServletRequest wrappedRequest) {
            HttpSessionContext sessionContext = wrappedRequest.getSession()
                    .getSessionContext();
            assertThat(sessionContext).isNotNull();
            assertThat(sessionContext.getSession("a")).isNull();
            assertThat(sessionContext.getIds()).isNotNull();
            assertThat(sessionContext.getIds().hasMoreElements()).isFalse();

            try {
                sessionContext.getIds().nextElement();
                fail("Expected Exception");
            }
            catch (NoSuchElementException ignored) {
            }
        }
    });
}