currentFileName -- the current source file

Synopsis

• Usage:

  currentFileName

• Outputs:

  • a string, the name of the current source file

Description

i1 : currentFileName

o1 = stdio

See also

• currentLineNumber -- current line number of the current input file