Filename Functions

Function

Split a filename into its separate parts.

Syntax

string filedir(string file);
string fileext(string file);
string filename(string file);
string filesetext(string file, string newext);

Returns

filedir returns the directory of file.
fileext returns the extension of file.
filename returns the file name of file (including the extension).
filesetext returns file with the extension set to newext.

Example

if (board) board(B) {
  output(filesetext(B.name, ".out")) {
    ...
    }
  }