[server] Add msg-key to use relative filepath, especially in tests.

src/plugins/server/kernel_main.ml

@@ -90,10 +90,15 @@ struct
 
   let to_json p =
     let path = Filepath.(Normalized.to_pretty_string p.pos_path) in
+    let file =
+      if Server_parameters.has_relative_filepath ()
+      then path
+      else (p.Filepath.pos_path :> string)
+    in
     `Assoc [
       "dir"  , `String (Filename.dirname path) ;
       "base" , `String (Filename.basename path) ;
-      "file" , `String (p.Filepath.pos_path :> string) ;
+      "file" , `String file ;
       "line" , `Int p.Filepath.pos_lnum ;
     ]
 

src/plugins/server/server_parameters.ml

@@ -73,3 +73,10 @@ let wkind = register_warn_category "inconsistent-kind"
 let wname = register_warn_category "invalid-name"
 
 (* -------------------------------------------------------------------------- *)
+(* --- Filepath Normalization                                             --- *)
+(* -------------------------------------------------------------------------- *)
+
+let use_relative_filepath = register_category "use-relative-filepath"
+let has_relative_filepath () = is_debug_key_enabled use_relative_filepath
+
+(* -------------------------------------------------------------------------- *)

src/plugins/server/server_parameters.mli

@@ -32,4 +32,6 @@ val wpage : warn_category (** Inconsistent page warning *)
 val wkind : warn_category (** Inconsistent category warning *)
 val wname : warn_category (** Invalid name warning *)
 
+val has_relative_filepath: unit -> bool
+
 (**************************************************************************)

src/plugins/server/tests/batch/oracle/ast_services.out.json

@@ -11,8 +11,7 @@
           "sloc": {
             "dir": "tests/batch",
             "base": "ast_services.i",
-            "file":
-              "/home/michele/work/frama-c/src/plugins/server/tests/batch/ast_services.i",
+            "file": "tests/batch/ast_services.i",
             "line": 2
           }
         },
@@ -24,8 +23,7 @@
           "sloc": {
             "dir": "tests/batch",
             "base": "ast_services.i",
-            "file":
-              "/home/michele/work/frama-c/src/plugins/server/tests/batch/ast_services.i",
+            "file": "tests/batch/ast_services.i",
             "line": 1
           }
         }

src/plugins/server/tests/batch/test_config

 LOG: @PTEST_NAME@.out.json
-OPT: -no-autoload-plugins -load-module server -check -server-batch @PTEST_DIR@/@PTEST_NAME@.json -server-batch-output-dir @PTEST_RESULT@
+OPT: -no-autoload-plugins -load-module server -check -server-batch @PTEST_DIR@/@PTEST_NAME@.json -server-batch-output-dir @PTEST_RESULT@ -server-msg-key use-relative-filepath