protected String getFileName ( LineParser lp ) { String fileName = lp . getArgs ( ) ; if ( fileName == null ) { fileName = this . lastScript ; } else if ( ! fileName . endsWith ( "." + SCRIPT_FILE_EXTENSION ) ) { fileName += "." + SCRIPT_FILE_EXTENSION ; } return fileName ; }
Returns a file name taken as argument from the line parser with fixed extension