Uses of Class
org.joe_e.file.InvalidFilenameException

Packages that use InvalidFilenameException

org.joe_e.file

The filesystem interface.

Uses of InvalidFilenameException in org.joe_e.file

Methods in org.joe_e.file that throw InvalidFilenameException

static void	Filesystem.checkName(java.lang.String name) Vets a filename.
static java.io.File	Filesystem.file(java.io.File folder, java.lang.String child) Produce a File capability for a file contained in a folder.