declare namespace org { namespace eclipse { namespace jetty { namespace util { namespace resource { class FileResource extends org.eclipse.jetty.util.resource.Resource { public constructor(arg0: java.net.URL) public constructor(arg0: java.net.URI) public constructor(arg0: java.io.File) public addPath(arg0: java.lang.String | string): org.eclipse.jetty.util.resource.Resource public getAlias(): java.net.URI public exists(): boolean public lastModified(): long public isDirectory(): boolean public length(): long public getName(): string public getFile(): java.io.File public getInputStream(): java.io.InputStream public getReadableByteChannel(): java.nio.channels.ReadableByteChannel public delete(): boolean public renameTo(arg0: org.eclipse.jetty.util.resource.Resource): boolean public list(): java.lang.String[] public equals(arg0: java.lang.Object): boolean public hashCode(): int public copyTo(arg0: java.io.File): void public isContainedIn(arg0: org.eclipse.jetty.util.resource.Resource): boolean public close(): void public getURL(): java.net.URL public getURI(): java.net.URI public toString(): string public static class: java.lang.Class } } } } } }