Lines Matching refs:filePath

175         $filePath = $this->saveMizarContent($mizarData);
177         $_SESSION['source_filepath'] = $filePath;
207         $filePath = $this->createTempFile($content);
210         $_SESSION['view_filepath'] = $filePath;
291         $filePath = $textDir . DIRECTORY_SEPARATOR . $mizarData['fileName'];
292         file_put_contents($filePath, $mizarData['content']);
293         return $filePath;
340     private function streamSourceOutput($filePath)  argument
352         [$proc, $pipes] = $this->openProcess($exe, [$filePath], $workPath);
361         $errFilename = str_replace('.miz', '.err', $filePath);
365     private function streamViewCompileOutput($filePath)  argument
375         [$proc, $pipes] = $this->openProcess($makeenv, [$filePath], $workPath);
383         $errFilename = str_replace('.miz', '.err', $filePath);
389         $rel = 'TEXT' . DIRECTORY_SEPARATOR . basename($filePath);