Searched refs:mizarMsgFilePath (Results 1 – 3 of 3) sorted by relevance
377 private function handleCompilationErrors($errFilename, $mizarMsgFilePath) argument391 … 'message' => $this->getMizarErrorMessages($mizarMsgFilePath)[$errorCode] ?? 'Unknown error'
416 private function handleCompilationErrors($errFilename, $mizarMsgFilePath) argument427 … 'message' => $this->getMizarErrorMessages($mizarMsgFilePath)[$code] ?? 'Unknown error'