PageRenderTime 48ms CodeModel.GetById 15ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-5-pre1/org/gjt/sp/jedit/bsh/commands/pathToFile.bsh

#
Unknown | 10 lines | 8 code | 2 blank | 0 comment | 0 complexity | a4bbb23178f5dafc1884b42bafa327a3 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. /**
  2. Create a File object corresponding to the specified file path name, taking
  3. into account the bsh current working directory (bsh.cwd)
  4. */
  5. bsh.help.pathToFile = "usage: File pathToFile( String )";
  6. File pathToFile( String filename ) {
  7. return this.interpreter.pathToFile( filename );
  8. }