1 package de.webman.template.jsp; 2 3 import javax.servlet.*; 4 5 import java.io.InputStream ; 6 import java.io.IOException ; 7 import java.net.URL ; 8 import java.net.MalformedURLException ; 9 import java.util.Enumeration ; 10 11 12 48 49 public class WebManServletContext implements ServletContext { 50 51 52 private String docRoot; 53 54 75 76 public ServletContext getContext(String uripath) 77 { 78 return this; 79 } 80 81 82 public void setDocRoot(String root) 83 { 84 docRoot = root; 85 } 86 87 96 97 public int getMajorVersion() 98 { 99 return 2; 100 } 101 102 109 public java.util.Set getResourcePaths(java.lang.String path) 110 { 111 return null; 112 } 113 114 115 121 public java.lang.String getServletContextName() 122 { 123 return null; 124 } 125 126 140 141 public String getMimeType(String file) 142 { 143 return null; 144 } 145 146 147 148 157 158 public int getMinorVersion() 159 { 160 return 2; 161 } 162 163 164 199 200 public URL getResource(String path) throws MalformedURLException 201 {return null;} 202 203 204 205 206 207 242 243 public InputStream getResourceAsStream(String path) 244 { 245 return null; 246 } 247 248 249 250 251 252 253 277 278 public RequestDispatcher getRequestDispatcher(String urlpath) 279 { 280 return null; 281 } 282 283 284 285 286 287 298 299 public Servlet getServlet(String name) throws ServletException 300 { 301 return null; 302 } 303 304 305 306 307 308 309 322 323 public Enumeration getServlets() 324 { 325 return null; 326 } 327 328 329 330 331 332 333 344 345 public Enumeration getServletNames() 346 { 347 return null; 348 } 349 350 351 352 353 354 355 367 368 public void log(String msg) 369 {} 370 371 372 373 374 375 376 386 387 public void log(Exception exception, String msg) 388 {} 389 390 391 392 393 394 411 412 public void log(String message, Throwable throwable) 413 {} 414 415 416 417 418 419 448 public String getRealPath(String path) 449 { 450 if (docRoot == null) 451 return path; 452 return docRoot + path; 453 } 454 455 456 457 458 476 477 public String getServerInfo() 478 { 479 return "Webman Server"; 480 } 481 482 483 507 508 public Object getAttribute(String name) 509 { 510 return null; 511 } 512 513 514 515 516 529 530 public Enumeration getAttributeNames() 531 { 532 return new java.util.Hashtable ().elements(); 533 534 } 535 536 537 560 561 public void setAttribute(String name, Object object) 562 {} 563 564 565 566 public String getInitParameter(String param) 567 { 568 return ""; 569 } 570 571 public java.util.Enumeration getInitParameterNames() 572 { 573 return new java.util.Hashtable ().elements(); 574 } 575 576 public RequestDispatcher getNamedDispatcher(String name) 577 { 578 return null; 579 } 580 591 592 public void removeAttribute(String name) 593 {} 594 } 595 596 597 | Popular Tags |