GeoPubby  Version 0.1.0.0
RequestParamHandler.WrappedRequest Class Reference
Inheritance diagram for RequestParamHandler.WrappedRequest:
Collaboration diagram for RequestParamHandler.WrappedRequest:

Public Member Functions

String getHeader (String name)
 
Enumeration getHeaderNames ()
 
Enumeration getHeaders (String name)
 

Package Functions

 WrappedRequest ()
 

Constructor & Destructor Documentation

◆ WrappedRequest()

WrappedRequest ( )
package
131  {
132  super(request);
133  setAttribute(ATTRIBUTE_NAME_IS_HANDLED, "true");
134  }
final HttpServletRequest request
Definition: RequestParamHandler.java:103
static final String ATTRIBUTE_NAME_IS_HANDLED
Definition: RequestParamHandler.java:20

References RequestParamHandler.ATTRIBUTE_NAME_IS_HANDLED, and RequestParamHandler.request.

Member Function Documentation

◆ getHeader()

String getHeader ( String  name)
136  {
137  if ("accept".equals(name.toLowerCase())) {
138  return (String) mimeTypes.get(requestedType);
139  }
140  return super.getHeader(name);
141  }
final String requestedType
Definition: RequestParamHandler.java:104
static final Map< String, String > mimeTypes
Definition: RequestParamHandler.java:22

References RequestParamHandler.mimeTypes, and RequestParamHandler.requestedType.

◆ getHeaderNames()

Enumeration getHeaderNames ( )
143  {
144  final Enumeration realHeaders = super.getHeaderNames();
145  return new Enumeration() {
146  private String prefetched = null;
147  public boolean hasMoreElements() {
148  while (prefetched == null && realHeaders.hasMoreElements()) {
149  String next = (String) realHeaders.nextElement();
150  if (!"accept".equals(next.toLowerCase())) {
151  prefetched = next;
152  }
153  }
154  return (prefetched != null);
155  }
156  public Object nextElement() {
157  return prefetched;
158  }
159  };
160  }

◆ getHeaders()

Enumeration getHeaders ( String  name)
162  {
163  if ("accept".equals(name.toLowerCase())) {
164  Vector<Object> v = new Vector<Object>();
165  v.add(getHeader(name));
166  return v.elements();
167  }
168  return super.getHeaders(name);
169  }
String getHeader(String name)
Definition: RequestParamHandler.java:136