offset = $offset; $this->line = $line; $this->column = $column; } /** @return string */ public function __toString() { return "{$this->line}:{$this->column}"; } /** * Emit a JSON serialization similar to JS, for testing * @return array */ public function jsonSerialize() { return [ 'offset' => $this->offset, 'line' => $this->line, 'column' => $this->column, ]; } }