import java.awt.*; import java.io.*; import java.util.Date; class DC{ static void checkFile(String dateiName, TextArea meld){ meld.append("Datei: " + dateiName + "\n"); meld.append("Datei Eigenschaften:\n"); File datei = new File(dateiName); if ( ! datei.exists()){ meld.append("Diese Datei existiert gar nicht!\n"); return; } meld.append("Diese Datei kann "); if ( ! datei.canRead()) meld.append("nicht "); meld.append("gelesen werden.\n"); meld.append("Diese Datei kann "); if ( ! datei.canWrite()) meld.append("nicht "); meld.append("geschrieben werden.\n"); meld.append("Diese Datei ist "); if ( ! datei.isFile()) meld.append("k"); meld.append("eine Datei.\n"); meld.append("Diese Datei ist "); if ( ! datei.isDirectory()) meld.append("k"); meld.append("ein Verzeichnis.\n"); meld.append("Diese Datei ist " + datei.length()); meld.append(" Bytes groß.\n"); long lmod = datei.lastModified(); Date d = new Date(lmod); meld.append("Diese Datei wurde zuletzt geändert am: " + d); meld.append(".\n"); String[] dir = datei.list(); if (dir != null){ meld.append("Liste der Verzeichniseinträge zu dieser Datei: \n"); for (int i=0; i < dir.length; i++) meld.append(dir[i]+ "\n"); meld.append("----Ende ------ \n"); } } }