Lines Matching refs:filePath

84         $filePath = $this->saveMizarContent($mizarData);
87         $_SESSION['source_filepath'] = $filePath;
106         $filePath = $_SESSION['source_filepath'];
107         $this->streamSourceOutput($filePath);
121         $filePath = $this->createTempFile($content);
124         $_SESSION['view_filepath'] = $filePath;
143         $filePath = $_SESSION['view_filepath'];
144         $this->streamViewCompileOutput($filePath);
179         $filePath = $workPath . "/TEXT/" . $mizarData['fileName'];
180         file_put_contents($filePath, $mizarData['content']);
181         return $filePath;
185     private function streamSourceOutput($filePath)  argument
190         $command = "miz2prel " . escapeshellarg($filePath);
202             $errFilename = str_replace('.miz', '.err', $filePath);
275     private function streamViewCompileOutput($filePath)  argument
282         $errFilename = str_replace('.miz', '.err', $filePath);
283         $command = "makeenv " . escapeshellarg($filePath);
313 …      $verifierCommand = $verifierPath . " -q -l " . escapeshellarg("TEXT/" . basename($filePath));