Esempio n. 1
0
 /** List all filenames in directory */
 public DirEnt[] list() {
   File[] files = dir.listFiles();
   DirEnt[] ents = new DirEnt[files.length];
   for (int n = 0; n < files.length; n++) ents[n] = new DirEnt(files[n], n);
   return ents;
 }