Coverage Report

Coverage Report - org.webslinger.servlet.HttpSessionIdManager

Classes in this File

 package org.webslinger.servlet;
 
 import javax.servlet.http.HttpServletRequest;
 import javax.servlet.http.HttpServletResponse;
 
 public interface HttpSessionIdManager {
     HttpSessionId extractHttpSessionId(HttpServletRequest[] requestHolder, HttpServletResponse[] responseHolder);
     HttpSessionId createHttpSessionId();
     String encodeURL(String path, HttpSessionId id);
     String encodeRedirectURL(String path, HttpSessionId id);
 }

1		package org.webslinger.servlet;
2
3		import javax.servlet.http.HttpServletRequest;
4		import javax.servlet.http.HttpServletResponse;
5
6		public interface HttpSessionIdManager {
7		HttpSessionId extractHttpSessionId(HttpServletRequest[] requestHolder, HttpServletResponse[] responseHolder);
8		HttpSessionId createHttpSessionId();
9		String encodeURL(String path, HttpSessionId id);
10		String encodeRedirectURL(String path, HttpSessionId id);
11		}