2 using System.Collections.Generic;
\r
4 using vmw.@internal.io;
\r
9 namespace Mainsoft.Web.Hosting
\r
11 class ServletResourceLoader : IResourceLoader
\r
13 ServletContext _context;
\r
15 public ServletResourceLoader (ServletContext context) {
\r
19 public URL getResource (String resourceName) {
\r
20 if (resourceName == null)
\r
21 throw new ArgumentNullException ("resourceName");
\r
23 if (!resourceName.StartsWith ("/"))
\r
24 resourceName = "/" + resourceName;
\r
26 return _context.getResource (resourceName);
\r
29 public InputStream getResourceAsStream (String resourceName) {
\r
30 if (resourceName == null)
\r
31 throw new ArgumentNullException ("resourceName");
\r
33 if (!resourceName.StartsWith ("/"))
\r
34 resourceName = "/" + resourceName;
\r
36 return _context.getResourceAsStream (resourceName);
\r
39 public java.util.Set getResourcePaths (String path) {
\r
41 throw new ArgumentNullException ("path");
\r
43 if (!path.StartsWith ("/"))
\r
46 return _context.getResourcePaths (path);
\r