Lines Matching refs:filePath
175 $filePath = $this->saveMizarContent($mizarData);
177 $_SESSION['source_filepath'] = $filePath;
207 $filePath = $this->createTempFile($content);
210 $_SESSION['view_filepath'] = $filePath;
290 $filePath = $textDir . DIRECTORY_SEPARATOR . $mizarData['fileName'];
291 file_put_contents($filePath, $mizarData['content']);
292 return $filePath;
339 private function streamSourceOutput($filePath) argument
351 [$proc, $pipes] = $this->openProcess($exe, [$filePath], $workPath);
360 $errFilename = str_replace('.miz', '.err', $filePath);
364 private function streamViewCompileOutput($filePath) argument
374 [$proc, $pipes] = $this->openProcess($makeenv, [$filePath], $workPath);
382 $errFilename = str_replace('.miz', '.err', $filePath);
388 $rel = 'TEXT' . DIRECTORY_SEPARATOR . basename($filePath);