Salve a tutti!
Qualcuno sa dirmi come faccio ad estrarre informazioni (quali formato del file, data di creazione, data di ultima modifica, ...) da un file?
Grazie a tutti anticipatamente![]()
Salve a tutti!
Qualcuno sa dirmi come faccio ad estrarre informazioni (quali formato del file, data di creazione, data di ultima modifica, ...) da un file?
Grazie a tutti anticipatamente![]()
Potresti usare la classe file:
http://java.sun.com/j2se/1.4.2/docs/...a/io/File.html
per sapere la data c'è lastModified(), per il formato dovresti vedere l'estensione, basta convertire in stringa e usare il metodo endsWith().
![]()
Imparare è un'esperienza, tutto il resto è solo informazione. (Albert Einstein)
Grazie infinite per la risposta![]()
Per caso sai anche come fare per ottenere la data di creazione del file?
Grazie ancora![]()
Per quello non ricordo niente e non ho visto niente nella doc, o mi è sfuggito o non è implementato. Una cosa da tenere conto è che Java non deve dipendere dal sistema operativo, probabilmente questo dato è memorizzato in modo diverso da OS a OS e bisognerebbe utilizzare qualche altra soluzione, la più drastica sono metodi nativi, da evitare il più possibile.Originariamente inviato da cecho
Grazie infinite per la risposta![]()
Per caso sai anche come fare per ottenere la data di creazione del file?
Grazie ancora![]()
Se qualcuno sa una soluzione più java-like e quindi portabile...
![]()
Imparare è un'esperienza, tutto il resto è solo informazione. (Albert Einstein)
Grazie infinite ugualmente!
Sei stato gentilissimo!![]()
A presto![]()