View Javadoc

1   // $Id: DefaultFileWrapper.java,v 1.2 2004/06/20 17:41:56 powerpete Exp $
2   // [JMP, 18.06.2004] created this file.
3   package org.jface.jplog.ftp;
4   
5   import java.io.File;
6   import java.util.Date;
7   
8   /***
9    * @author <a href="mailto:powerpete@users.sf.net">Moritz Petersen</a>
10   * @version $Id: DefaultFileWrapper.java,v 1.2 2004/06/20 17:41:56 powerpete Exp $
11   */
12  class DefaultFileWrapper extends FileWrapper
13  {
14  
15      private final File file;
16  
17      public DefaultFileWrapper(File file)
18      {
19          this.file = file;
20      }
21  
22      public String getName()
23      {
24          return file.getName();
25      }
26  
27      public Date getDate()
28      {
29          return new Date(file.lastModified());
30      }
31  
32      public long getSize()
33      {
34          return file.length();
35      }
36  
37      public boolean isDirectory()
38      {
39          return file.isDirectory();
40      }
41  
42  }