/** * Lists all files (or directories) in directory `dirname`. Only relative pathnames should be * used. The files are parameter files used in defining digital nets. For example, calling * `listDir("")` will give the list of the main data directory in SSJ, while calling * `listDir("Edel/OOA2")` will give the list of all files in directory `Edel/OOA2`. */ public static String listDir(String dirname) throws IOException { return DigitalNetFromFile.listDir(dirname); }