code_location = $code_location; $this->message = $message; $this->origin_location = $origin_location; } public function getMessage() : string { return $this->message . ($this->origin_location ? ', derived from expression at ' . $this->origin_location->getShortSummary() : ''); } }