Fix linter annotations for special editors

When the sql string to lint isa changed, the result positions
need to be adjusted accordingly.

Signed-off-by: Maximilian Krög <maxi_kroeg@web.de>

js/src/database/events.js

@@ -334,8 +334,7 @@ const DatabaseEvents = {
                  *                 the Definition textarea.
                  */
                 var $elm = $('textarea[name=item_definition]').last();
-                var linterOptions = {};
-                linterOptions.eventEditor = true;
+                var linterOptions = {editorType: 'event'};
                 that.syntaxHiglighter = Functions.getSqlEditor($elm, {}, 'both', linterOptions);
             } else {
                 Functions.ajaxShowMessage(data.error, false);

js/src/database/routines.js

@@ -347,8 +347,7 @@ const DatabaseRoutines = {
                  *                 the Definition textarea.
                  */
                 var $elm = $('textarea[name=item_definition]').last();
-                var linterOptions = {};
-                linterOptions.routineEditor = true;
+                var linterOptions = {editorType: 'routine'};
                 that.syntaxHiglighter = Functions.getSqlEditor($elm, {}, 'both', linterOptions);
 
                 // Execute item-specific code

js/src/database/triggers.js

@@ -339,8 +339,7 @@ const DatabaseTriggers = {
                  *                 the Definition textarea.
                  */
                 var $elm = $('textarea[name=item_definition]').last();
-                var linterOptions = {};
-                linterOptions.triggerEditor = true;
+                var linterOptions = {editorType: 'trigger'};
                 that.syntaxHiglighter = Functions.getSqlEditor($elm, {}, 'both', linterOptions);
             } else {
                 Functions.ajaxShowMessage(data.error, false);

libraries/classes/Controllers/LintController.php

@@ -10,52 +10,59 @@
 use PhpMyAdmin\Core;
 use PhpMyAdmin\Linter;
 
+use function is_array;
+use function is_string;
 use function json_encode;
 
 /**
  * Represents the interface between the linter and the query editor.
  */
 class LintController extends AbstractController
 {
+    public const EDITOR_SQL_PREFIX = [
+        'event' => "DELIMITER $$ CREATE EVENT `a` ON SCHEDULE EVERY MINUTE DO\n",
+        'routine' => "DELIMITER $$ CREATE PROCEDURE `a`()\n",
+        'trigger' => "DELIMITER $$ CREATE TRIGGER `a` AFTER INSERT ON `b` FOR EACH ROW\n",
+    ];
+
     public function __invoke(): void
     {
-        $params = [
-            'sql_query' => $_POST['sql_query'] ?? null,
-            'options' => $_POST['options'] ?? null,
-        ];
+        $sqlQueryParam = $_POST['sql_query'] ?? null;
+        $options = $_POST['options'] ?? null;
 
         /**
          * The SQL query to be analyzed.
          *
-         * This does not need to be checked again XSS or MySQL injections because it is
+         * This does not need to be checked against XSS or MySQL injections because it is
          * never executed, just parsed.
          *
          * The client, which will receive the JSON response will decode the message and
          * and any HTML fragments that are displayed to the user will be encoded anyway.
-         *
-         * @var string
          */
-        $sqlQuery = ! empty($params['sql_query']) ? $params['sql_query'] : '';
+        $sqlQuery = is_string($sqlQueryParam) ? $sqlQueryParam : '';
 
-        $this->response->setAjax(true);
+        $editorType = is_array($options) ? ($options['editorType'] ?? null) : null;
+        $prefix = is_string($editorType) ? self::EDITOR_SQL_PREFIX[$editorType] ?? '' : '';
 
-        // Disabling standard response.
-        $this->response->disable();
-
-        Core::headerJSON();
+        $lints = Linter::lint($prefix . $sqlQuery);
+        if ($prefix !== '') {
+            // Adjust positions to account for prefix
+            foreach ($lints as &$lint) {
+                if ($lint['fromLine'] === 0) {
+                    continue;
+                }
 
-        if (! empty($params['options'])) {
-            $options = $params['options'];
-
-            if (! empty($options['routineEditor'])) {
-                $sqlQuery = "DELIMITER $$\nCREATE PROCEDURE `a`() " . $sqlQuery;
-            } elseif (! empty($options['triggerEditor'])) {
-                $sqlQuery = "DELIMITER $$\nCREATE TRIGGER `a` AFTER INSERT ON `b` FOR EACH ROW " . $sqlQuery;
-            } elseif (! empty($options['eventEditor'])) {
-                $sqlQuery = "DELIMITER $$\nCREATE EVENT `a` ON SCHEDULE EVERY MINUTE DO " . $sqlQuery;
+                $lint['fromLine'] -= 1;
+                $lint['toLine'] -= 1;
             }
+
+            unset($lint);
         }
 
-        echo json_encode(Linter::lint($sqlQuery));
+        $this->response->setAjax(true);
+        // Disabling standard response.
+        $this->response->disable();
+        Core::headerJSON();
+        echo json_encode($lints);
     }
 }

libraries/classes/Linter.php

@@ -29,7 +29,8 @@ class Linter
      *
      * @param string|UtfString $str String to be analyzed.
      *
-     * @return array
+     * @return array<int,int>
+     * @psalm-return list<int>
      */
     public static function getLines($str)
     {
@@ -72,8 +73,10 @@ public static function getLines($str)
      *
      * @param array $lines The starting position of each line.
      * @param int   $pos   The absolute position
+     * @psalm-param list<int> $lines
      *
      * @return array
+     * @psalm-return array{int, int}
      */
     public static function findLineNumberAndColumn(array $lines, $pos)
     {
@@ -98,6 +101,14 @@ public static function findLineNumberAndColumn(array $lines, $pos)
      * @param string $query The query to be checked.
      *
      * @return array
+     * @psalm-return list<array{
+     *   message: string,
+     *   fromLine: int,
+     *   fromColumn: int,
+     *   toLine: int,
+     *   toColumn: int,
+     *   severity: string,
+     * }>
      */
     public static function lint($query)
     {
@@ -132,8 +143,6 @@ public static function lint($query)
 
         /**
          * The response containing of all errors.
-         *
-         * @var array
          */
         $response = [];