Home
last modified time | relevance | path

Searched refs:getMizarErrorMessages (Results 1 – 3 of 3) sorted by relevance

/plugin/mizarproofchecker/
Daction.php349 private function getMizarErrorMessages($mizarMsgFile) function in action_plugin_mizarproofchecker
391 … 'message' => $this->getMizarErrorMessages($mizarMsgFilePath)[$errorCode] ?? 'Unknown error'
/plugin/mizarveifiabledocs/
Daction.php349 private function getMizarErrorMessages($mizarMsgFile) function in action_plugin_mizarverifiabledocs
391 … 'message' => $this->getMizarErrorMessages($mizarMsgFilePath)[$errorCode] ?? 'Unknown error'
/plugin/mizarverifiabledocs/
Daction.php404 private function getMizarErrorMessages($mizarMsgFile) function in action_plugin_mizarverifiabledocs
428 … 'message' => $this->getMizarErrorMessages($mizarMsgFilePath)[$code] ?? 'Unknown error'