[mod] Rename setting platform to processor

CHANGELOG.md

@@ -1,6 +1,9 @@
+# 0.1.3 (2023-02-27)
+* Rename setting `platform` to `processor`
+
 # 0.1.2 (2023-02-26)
 * update to xqlint 0.2.1
-* add setting platform
+* add setting `platform`
 * common XQlint configuration.
 
 # 0.1.1 (2023-02-24)

package.json

@@ -2,7 +2,7 @@
   "name": "vscode-basex",
   "displayName": "BaseX tools",
   "description": "BaseX tools: XQuery, XML, XPath Tools for Visual Studio Code",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "preview": true,
   "publisher": "quodatum",
   "author": "Andy Bunce (https://github.com/Quodatum)",
@@ -75,7 +75,7 @@
         "order": 1,
         "title": "XQuery UI",
         "properties": {
-          "basexTools.xquery.platform": {
+          "basexTools.xquery.processor": {
             "type": "string",
             "default": "basex",
             "enum": [
@@ -83,10 +83,10 @@
               "none"
             ],
             "enumDescriptions": [
-              "BaseX 9.7.5 ",
+              "Currently targets BaseX 9.7.5 ",
               "no custom libraries"
             ],
-            "description": "XQuery implementation. Determines syntax and core module libraries."
+            "description": "The XQuery processor. Determines syntax and core module libraries."
           },
           "basexTools.xquery.showHovers": {
             "type": "boolean",

src/common/configuration.ts

@@ -46,8 +46,8 @@ export class Configuration {
     static get xqueryExecutionInputSearchPattern(): string {
         return this._getForWindow<string>("xquery.executionInputSearchPattern");
     }
-    static get xqueryPlatform(): string {
-        return this._getForWindow<string>("xquery.platform");
+    static get xqueryProcessor(): string {
+        return this._getForWindow<string>("xquery.processor");
     }
     static xqueryShowHovers(resource: Uri): boolean {
         return this._getForResource<boolean>("xquery.showHovers", resource);

src/common/xqlint.ts

@@ -4,8 +4,8 @@ import { channel } from "../common/logger";
 
 export class factory{
     static XQLint( txt: string) :ext.XQLint{
-    const platform= Configuration.xqueryPlatform;
-    channel.log(platform);
-    return new ext.XQLint(txt, {"platform": platform, "styleCheck": false })
+    const processor= Configuration.xqueryProcessor;
+    channel.log(processor);
+    return new ext.XQLint(txt, {"processor": processor, "styleCheck": false })
   }
 }