public function getFile() { return $this->getAttribute("filename", "unknown"); }
protected function emitError($msg, Op $op) { echo $msg; echo " "; echo $op->getFile() . ":" . $op->getLine(); echo "\n"; }