Coverage Report - org.webslinger.servlet.HttpHeaders
 
Classes in this File Line Coverage Branch Coverage Complexity
HttpHeaders
N/A
N/A
0
HttpHeaders$1
0%
0/13
N/A
0
 
 1  
 package org.webslinger.servlet;
 2  
 
 3  
 import java.io.Serializable;
 4  
 import java.util.Date;
 5  
 import java.util.Enumeration;
 6  
 import java.security.Principal;
 7  
 import javax.servlet.http.Cookie;
 8  
 import javax.servlet.http.HttpSession;
 9  
 
 10  
 public interface HttpHeaders extends Serializable {
 11  
     void addDateHeader(String name, long date);
 12  
     void addHeader(String name, String value);
 13  
     void addIntHeader(String name, int value);
 14  
     boolean containsHeader(String name);
 15  
     long getDateHeader(String name);
 16  
     String getHeader(String name);
 17  
     Enumeration<String> getHeaderNames();
 18  
     Enumeration<String> getHeaders(String name);
 19  
     int getIntHeader(String name);
 20  
     void setDateHeader(String name, long date);
 21  
     void setHeader(String name, String value);
 22  
     void setIntHeader(String name, int value);
 23  
 
 24  0
     public static final HttpHeaders EMPTY_HEADERS = new HttpHeaders() {
 25  
         public void addDateHeader(String name, long date) {
 26  0
         }
 27  
 
 28  
         public void addHeader(String name, String value) {
 29  0
         }
 30  
 
 31  
         public void addIntHeader(String name, int value) {
 32  0
         }
 33  
 
 34  
         public boolean containsHeader(String name) {
 35  0
             return false;
 36  
         }
 37  
 
 38  
         public long getDateHeader(String name) {
 39  0
             return -1;
 40  
         }
 41  
 
 42  
         public String getHeader(String name) {
 43  0
             return null;
 44  
         }
 45  
 
 46  
         public Enumeration<String> getHeaderNames() {
 47  0
             return null;
 48  
         }
 49  
 
 50  
         public Enumeration<String> getHeaders(String name) {
 51  0
             return null;
 52  
         }
 53  
 
 54  
         public int getIntHeader(String name) {
 55  0
             return -1;
 56  
         }
 57  
 
 58  
         public void setDateHeader(String name, long date) {
 59  0
         }
 60  
 
 61  
         public void setHeader(String name, String value) {
 62  0
         }
 63  
 
 64  
         public void setIntHeader(String name, int value) {
 65  0
         }
 66  
     };
 67  
 }