| java.lang.Object nice.tools.util.System
System | public class System (Code) | | Communication with the system environment.
version: $Date: 2004/02/28 14:23:42 $ author: Daniel Bonniot |
date | public static String date(long date)(Code) | | Format dates.
|
getFile | public static File getFile(String file)(Code) | | Return a file from a string describing it.
Performs ~ expansion (~ -> user.home property).
|
prettyPrint | public static String prettyPrint(File f)(Code) | | Return a string to nicely display the file.
If the file lies in the user home directory
(as indicated by the user.home system property),
replace this prefix with "~".
Eg:
/udir/bonniot/Nice/stdlib/nice/lang/package.nicei
is pretty printed as:
~/Nice/stdlib/nice/lang/package.nicei
|
|
|