JMRI: Portable File Access

JMRI uses files for icons, images, panel files, scripts, and lots of other things. References to those are routinely used by various code, and stored in XML files. Some of the files are distributed with JMRI, and some are created outside the JMRI distribution directory by the local user.

In addition, JMRI is a cross-platform application, and we want to be able to move JMRI XML files from one computer to another, even of a different type, and have them still work.

To do this, we've created a system of pseudo-URLs for accessing file locations. Filenames are used internally and stored in XML files with prefixes that identify where the file is to be found in a system independent manner.

If the name

starts with "program:", treat the rest as a relative pathname below the program directory
starts with "preference:", treat the rest as a relative path below the preferences directory
starts with "home:", treat the rest as a relative path below the directory in the user.home property, Java's idea of the user's home directory
starts with "resource:", treat the rest as a pathname relative to the program directory (deprecated; see "program:" above)
starts with "file:", treat the rest as a relative path below the resource directory in the preferences directory (deprecated; see "preference:" above)

Otherwise, treat the name as a relative path below the program directory to provide backward compatibility. In any case, absolute pathnames will work, but won't be cross-platform compatible. The two deprecated cases will automatically be removed when the referencing file is read and rewritten through conversion mechanism described below.

Implementation

The jmri.util.FileUtil class provides translation routines to make this automatic:

static public String getExternalFilename(String pName)
Convert an internal name (with prefixes as above) into an absolute pathname for use on the local computer. There's no guarantee that the file or any enclosing directory is actually present, but the pathname will be syntactically valid on the present computer.: static public String getPortableFilename(File file); static public String getPortableFilename(String filename)
Convert a File or filename string into a string name with the appropriate prefix.

You should call getExternalFilename() before passing the filename to any Java common, and getPortableFilename() whenever you get a file or filename from a Java class. It's OK to call either one multiple times, as they'll just pass through in that case. In particular, call getPortableFilename() before storing to an XML file.