public LineRenderer renderer(Iterator<File> stream) {
//
List<File> files = Utils.list(stream);
Collections.sort(files);
TableElement table = new TableElement().overflow(Overflow.WRAP).rightCellPadding(1);
SimpleDateFormat format = new SimpleDateFormat("MMM dd HH:mm");
Date date = new Date();
//
for (File file : files) {
String mode = (file.isDirectory() ? "d" : "-")
+ (file.canRead() ? "r" : "-")
+ (file.canWrite() ? "w" : "-")
+ (file.canExecute() ? "x" : "-")
;
String length = Long.toString(file.length());
date.setTime(file.lastModified());
String lastModified = format.format(date);
table.row(
mode,
length,
lastModified,
file.getName()
);
}
//
return table.renderer();
}