/** * Returns a path for a dump file. This file may or may not exist. * * @return string */ public function generateDumpFilePath() { return $this->options->getTmp() . DIRECTORY_SEPARATOR . $this->options->getExportFile()->getGzipFilename(); }