1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46 package org.melati.util;
47
48 import java.util.Map;
49 import java.util.Enumeration;
50 import java.util.Locale;
51 import javax.servlet.RequestDispatcher;
52 import javax.servlet.http.HttpServletRequest;
53
54
55
56
57
58
59
60
61
62 public class DelegatedHttpServletRequest implements HttpServletRequest {
63
64 protected HttpServletRequest peer;
65
66
67
68
69 public DelegatedHttpServletRequest(HttpServletRequest peer) {
70 this.peer = peer;
71 }
72
73
74
75
76
77
78
79 public HttpServletRequest getDelegate() {
80 return peer;
81 }
82
83
84
85
86
87
88
89
90
91 public String getAuthType() {
92 return peer.getAuthType();
93 }
94
95
96
97 public javax.servlet.http.Cookie[] getCookies() {
98 return peer.getCookies();
99 }
100
101
102
103 public long getDateHeader(String a) {
104 return peer.getDateHeader(a);
105 }
106
107
108
109 public String getHeader(String a) {
110 return peer.getHeader(a);
111 }
112
113
114
115 @SuppressWarnings("unchecked")
116 public java.util.Enumeration<String> getHeaderNames() {
117 return peer.getHeaderNames();
118 }
119
120
121
122 public int getIntHeader(String a) {
123 return peer.getIntHeader(a);
124 }
125
126
127
128 public String getMethod() {
129 return peer.getMethod();
130 }
131
132
133
134 public String getPathInfo() {
135 return peer.getPathInfo();
136 }
137
138
139
140 public String getPathTranslated() {
141 return peer.getPathTranslated();
142 }
143
144
145
146 public String getQueryString() {
147 return peer.getQueryString();
148 }
149
150
151
152 public String getRemoteUser() {
153 return peer.getRemoteUser();
154 }
155
156
157
158 public String getRequestURI() {
159 return peer.getRequestURI();
160 }
161
162
163
164 public String getRequestedSessionId() {
165 return peer.getRequestedSessionId();
166 }
167
168
169
170 public String getServletPath() {
171 return peer.getServletPath();
172 }
173
174
175
176 public javax.servlet.http.HttpSession getSession(boolean a) {
177 return peer.getSession(a);
178 }
179
180
181
182
183 public boolean isRequestedSessionIdValid() {
184 return peer.isRequestedSessionIdValid();
185 }
186
187
188
189 public java.lang.Object getAttribute(String a) {
190 return peer.getAttribute(a);
191 }
192
193
194
195 public String getCharacterEncoding() {
196 return peer.getCharacterEncoding();
197 }
198
199
200
201 public int getContentLength() {
202 return peer.getContentLength();
203 }
204
205
206
207 public String getContentType() {
208 return peer.getContentType();
209 }
210
211
212
213 public javax.servlet.ServletInputStream getInputStream()
214 throws java.io.IOException {
215 return peer.getInputStream();
216 }
217
218
219
220 public String getParameter(String a) {
221 return peer.getParameter(a);
222 }
223
224
225
226 @SuppressWarnings("unchecked")
227 public java.util.Enumeration<String> getParameterNames() {
228 return peer.getParameterNames();
229 }
230
231
232
233 public String[] getParameterValues(String a) {
234 return peer.getParameterValues(a);
235 }
236
237
238
239 public String getProtocol() {
240 return peer.getProtocol();
241 }
242
243
244
245 public java.io.BufferedReader getReader() throws java.io.IOException {
246 return peer.getReader();
247 }
248
249
250
251
252 public String getRemoteAddr() {
253 return peer.getRemoteAddr();
254 }
255
256
257
258 public String getRemoteHost() {
259 return peer.getRemoteHost();
260 }
261
262
263
264 public String getScheme() {
265 return peer.getScheme();
266 }
267
268
269
270 public String getServerName() {
271 return peer.getServerName();
272 }
273
274
275
276 public int getServerPort() {
277 return peer.getServerPort();
278 }
279
280
281
282
283 public boolean isRequestedSessionIdFromCookie() {
284 return peer.isRequestedSessionIdFromCookie();
285 }
286
287
288
289
290
291
292
293
294
295
296 public boolean isRequestedSessionIdFromUrl() {
297 return peer.isRequestedSessionIdFromUrl();
298 }
299
300
301
302
303
304 public String getRealPath(String a) {
305 return peer.getRealPath(a);
306 }
307
308
309
310
311
312
313
314
315 public java.security.Principal getUserPrincipal() {
316 return peer.getUserPrincipal();
317 }
318
319
320
321 public String getContextPath() {
322 return peer.getContextPath();
323 }
324
325
326
327 @SuppressWarnings("unchecked")
328 public java.util.Enumeration<String> getHeaders(String name) {
329 return peer.getHeaders(name);
330 }
331
332
333
334 public javax.servlet.http.HttpSession getSession() {
335 return peer.getSession();
336 }
337
338
339
340 public boolean isRequestedSessionIdFromURL() {
341 return peer.isRequestedSessionIdFromURL();
342 }
343
344
345
346
347
348
349
350
351 public boolean isUserInRole(String a) {
352 return peer.isUserInRole(a);
353 }
354
355
356
357 @SuppressWarnings("unchecked")
358 public Enumeration<String> getAttributeNames() {
359 return peer.getAttributeNames();
360 }
361
362
363
364 public Locale getLocale() {
365 return peer.getLocale();
366 }
367
368
369
370 @SuppressWarnings("unchecked")
371 public Enumeration<Locale> getLocales() {
372 return peer.getLocales();
373 }
374
375
376
377
378 public RequestDispatcher getRequestDispatcher(String arg) {
379 return peer.getRequestDispatcher(arg);
380 }
381
382
383
384 public boolean isSecure() {
385 return peer.isSecure();
386 }
387
388
389
390 public void removeAttribute(String arg) {
391 peer.removeAttribute(arg);
392 }
393
394
395
396 public void setAttribute(String arg1, Object arg2) {
397 peer.setAttribute(arg1, arg2);
398 }
399
400
401
402
403
404
405
406
407 public StringBuffer getRequestURL() {
408 return peer.getRequestURL();
409 }
410
411
412
413
414 public void setCharacterEncoding (String s) throws java.io.UnsupportedEncodingException {
415 peer.setCharacterEncoding(s);
416 }
417
418
419
420
421 @SuppressWarnings("unchecked")
422 public Map<String, String[]> getParameterMap () {
423 return peer.getParameterMap();
424 }
425
426
427
428
429
430
431
432
433 public String getLocalAddr() {
434 return peer.getLocalAddr();
435 }
436
437
438
439
440 public String getLocalName() {
441 return peer.getLocalName();
442 }
443
444
445
446
447 public int getLocalPort() {
448 return peer.getLocalPort();
449 }
450
451
452
453
454 public int getRemotePort() {
455 return peer.getRemotePort();
456 }
457
458
459
460
461 }
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476