// *******************************************
 class DirectoryEntry {
  protected INode inode;
  public INode get_inode() { return inode;   }
  public void set_inode(INode new_inode) { inode = new_inode;   }
  protected FileName filename;
  public FileName get_filename() { return filename;   }
  public void set_filename(FileName new_filename) { filename = new_filename;   }
  public DirectoryEntry() { super();   }
  public DirectoryEntry(INode inode, FileName filename) {
    super();
    set_inode(inode);
    set_filename(filename);
    }
  void traverse_maxSize(IntegerRef m){   
    inode.traverse_maxSize(m);
  }
}