@player-tools/typescript-expression-plugin 0.2.2--canary.20.485 → 0.4.0-next.1

package/dist/index.cjs.js

@@ -3,7 +3,9 @@
 var typescriptTemplateLanguageServiceDecorator = require('typescript-template-language-service-decorator');
 var ts = require('typescript/lib/tsserverlibrary');
 var xlrUtils = require('@player-tools/xlr-utils');
+var xlrSdk = require('@player-tools/xlr-sdk');
 var player = require('@player-ui/player');
+var jsoncParser = require('jsonc-parser');
 
 function _interopNamespace(e) {
   if (e && e.__esModule) return e;
@@ -52,6 +54,83 @@ function getTokenAtPosition(node, position) {
     return node;
   }
 }
+function toTSLocation(node) {
+  var _a, _b;
+  const start = (_a = node.location) == null ? void 0 : _a.start.character;
+  const end = (_b = node.location) == null ? void 0 : _b.end.character;
+  if (start === void 0 || end === void 0) {
+    return {
+      start: 0,
+      length: 0
+    };
+  }
+  return {
+    start,
+    length: end - start
+  };
+}
+function convertExprToValue(exprNode) {
+  let val;
+  if (exprNode.type === "Literal") {
+    val = exprNode.value;
+  } else if (exprNode.type === "Object") {
+    val = {};
+    exprNode.attributes.forEach((prop) => {
+      val[convertExprToValue(prop.key)] = convertExprToValue(prop.value);
+    });
+  } else if (exprNode.type === "ArrayExpression") {
+    val = exprNode.elements.map(convertExprToValue);
+  }
+  return val;
+}
+function convertExprToJSONNode(exprNode) {
+  const val = convertExprToValue(exprNode);
+  if (val === void 0) {
+    return void 0;
+  }
+  return jsoncParser.parseTree(JSON.stringify(val));
+}
+
+var __defProp$1 = Object.defineProperty;
+var __defProps$1 = Object.defineProperties;
+var __getOwnPropDescs$1 = Object.getOwnPropertyDescriptors;
+var __getOwnPropSymbols$1 = Object.getOwnPropertySymbols;
+var __hasOwnProp$1 = Object.prototype.hasOwnProperty;
+var __propIsEnum$1 = Object.prototype.propertyIsEnumerable;
+var __defNormalProp$1 = (obj, key, value) => key in obj ? __defProp$1(obj, key, { enumerable: true, configurable: true, writable: true, value }) : obj[key] = value;
+var __spreadValues$1 = (a, b) => {
+  for (var prop in b || (b = {}))
+    if (__hasOwnProp$1.call(b, prop))
+      __defNormalProp$1(a, prop, b[prop]);
+  if (__getOwnPropSymbols$1)
+    for (var prop of __getOwnPropSymbols$1(b)) {
+      if (__propIsEnum$1.call(b, prop))
+        __defNormalProp$1(a, prop, b[prop]);
+    }
+  return a;
+};
+var __spreadProps$1 = (a, b) => __defProps$1(a, __getOwnPropDescs$1(b));
+const toFunction = xlrSdk.simpleTransformGenerator("ref", "Expressions", (exp) => {
+  if (!exp.genericArguments || exp.ref !== "ExpressionHandler") {
+    return exp;
+  }
+  const [args, returnType] = exp.genericArguments;
+  const parameters = (args.type === "tuple" ? args.elementTypes : []).map((elementType, index) => {
+    var _a, _b, _c, _d, _e, _f;
+    return {
+      name: (_c = (_b = (_a = elementType.name) != null ? _a : elementType.type.name) != null ? _b : elementType.type.title) != null ? _c : `arg_${index}`,
+      type: __spreadValues$1({
+        name: (_f = (_e = (_d = elementType.name) != null ? _d : elementType.type.name) != null ? _e : elementType.type.title) != null ? _f : `arg_${index}`
+      }, elementType.type),
+      optional: elementType.optional === true ? elementType.optional : void 0
+    };
+  });
+  return __spreadProps$1(__spreadValues$1({}, exp), {
+    type: "function",
+    parameters,
+    returnType
+  });
+});
 
 var __defProp = Object.defineProperty;
 var __defProps = Object.defineProperties;
@@ -72,59 +151,44 @@ var __spreadValues = (a, b) => {
   return a;
 };
 var __spreadProps = (a, b) => __defProps(a, __getOwnPropDescs(b));
-function reduceExpression(plugins) {
-  const expressions = new Map();
-  plugins.forEach((plugin) => {
-    var _a;
-    const { capabilities } = plugin;
-    const registeredExpressions = (_a = capabilities == null ? void 0 : capabilities.Expressions) != null ? _a : [];
-    registeredExpressions.forEach((exp) => {
-      var _a2;
-      if (exp.type !== "ref" || !exp.genericArguments) {
-        return;
-      }
-      const expName = exp.name;
-      const [args, returnType] = exp.genericArguments;
-      const parameters = (args.type === "tuple" ? args.elementTypes : []).map((elementType) => {
-        var _a3, _b, _c;
-        return {
-          name: (_c = (_b = (_a3 = elementType.name) != null ? _a3 : elementType.type.name) != null ? _b : elementType.type.title) != null ? _c : "",
-          type: elementType.type,
-          optional: elementType.optional === true ? elementType.optional : void 0
-        };
-      });
-      const entry = {
-        name: expName,
-        description: (_a2 = exp.description) != null ? _a2 : "",
-        source: plugin,
-        type: __spreadProps(__spreadValues({}, exp), {
-          type: "function",
-          parameters,
-          returnType
-        })
-      };
-      expressions.set(expName, entry);
-    });
-  });
-  const expList = {
-    entries: expressions
-  };
-  return expList;
-}
 class ExpressionLanguageService {
   constructor(options) {
     this._plugins = [];
     var _a;
     this.logger = options == null ? void 0 : options.logger;
     this._plugins = (_a = options == null ? void 0 : options.plugins) != null ? _a : [];
-    this._expressions = reduceExpression(this._plugins);
+    this.xlr = new xlrSdk.XLRSDK();
+    this._plugins.forEach((p) => {
+      this.xlr.loadDefinitionsFromModule(p, void 0, [toFunction]);
+    });
+    this._expressions = this.reduceExpression();
   }
   setConfig(config) {
     this._plugins = config.plugins;
-    this._expressions = reduceExpression(this._plugins);
+    this.xlr = new xlrSdk.XLRSDK();
+    this._plugins.forEach((p) => {
+      this.xlr.loadDefinitionsFromModule(p, void 0, [toFunction]);
+    });
+    this._expressions = this.reduceExpression();
+  }
+  reduceExpression() {
+    const expressions = new Map();
+    this.xlr.listTypes().forEach((type) => {
+      const typeInfo = this.xlr.getTypeInfo(type.name);
+      const source = this._plugins.find((value) => value.pluginName === (typeInfo == null ? void 0 : typeInfo.plugin));
+      if (type.type === "function" && (typeInfo == null ? void 0 : typeInfo.capability) === "Expressions" && source) {
+        expressions.set(type.name, {
+          name: type.name,
+          description: type.description,
+          type,
+          source
+        });
+      }
+    });
+    return expressions;
   }
   getCompletionsAtPosition(context, position) {
-    var _a, _b, _c, _d;
+    var _a, _b;
     const completionInfo = {
       isGlobalCompletion: false,
       isMemberCompletion: false,
@@ -132,7 +196,7 @@ class ExpressionLanguageService {
       entries: []
     };
     if (context.text.length === 0) {
-      this._expressions.entries.forEach((exp) => {
+      this._expressions.forEach((exp) => {
         completionInfo.entries.push({
           name: exp.name,
           kind: ts__namespace.ScriptElementKind.functionElement,
@@ -146,9 +210,8 @@ class ExpressionLanguageService {
     const line = context.text.split(/\n/g)[position.line];
     const parsed = player.parseExpression(line, { strict: false });
     const token = getTokenAtPosition(parsed, position);
-    (_b = this.logger) == null ? void 0 : _b.log(`Token ${token == null ? void 0 : token.type} ${(_a = token == null ? void 0 : token.error) == null ? void 0 : _a.message}`);
     if ((token == null ? void 0 : token.type) === "Compound" && token.error) {
-      this._expressions.entries.forEach((exp) => {
+      this._expressions.forEach((exp) => {
         completionInfo.entries.push({
           name: exp.name,
           kind: ts__namespace.ScriptElementKind.functionElement,
@@ -160,9 +223,9 @@ class ExpressionLanguageService {
       return completionInfo;
     }
     if ((token == null ? void 0 : token.type) === "Identifier") {
-      const start = (_d = (_c = token.location) == null ? void 0 : _c.start) != null ? _d : { character: 0 };
+      const start = (_b = (_a = token.location) == null ? void 0 : _a.start) != null ? _b : { character: 0 };
       const wordFromStart = line.slice(start.character, position.character);
-      const allCompletions = Array.from(this._expressions.entries.keys()).filter((key) => key.startsWith(wordFromStart));
+      const allCompletions = Array.from(this._expressions.keys()).filter((key) => key.startsWith(wordFromStart));
       allCompletions.forEach((c) => {
         completionInfo.entries.push({
           name: c,
@@ -176,8 +239,8 @@ class ExpressionLanguageService {
     return completionInfo;
   }
   getCompletionEntryDetails(context, position, name) {
-    var _a, _b, _c;
-    const expression = this._expressions.entries.get(name);
+    var _a;
+    const expression = this._expressions.get(name);
     const completionDetails = {
       name,
       kind: ts__namespace.ScriptElementKind.functionElement,
@@ -190,30 +253,107 @@ class ExpressionLanguageService {
       ],
       displayParts: expression ? xlrUtils.createTSDocString(expression.type) : []
     };
-    (_b = this.logger) == null ? void 0 : _b.log(`getCompletionEntryDetails: ${name}`);
-    (_c = this.logger) == null ? void 0 : _c.log(JSON.stringify(completionDetails));
     return completionDetails;
   }
   getQuickInfoAtPosition(context, position) {
-    var _a, _b, _c, _d, _e, _f, _g, _h;
-    (_a = this.logger) == null ? void 0 : _a.log(`getQuickInfoAtPosition: ${context.text}`);
     const parsed = player.parseExpression(context.text, { strict: false });
     const token = getTokenAtPosition(parsed, position);
-    (_b = this.logger) == null ? void 0 : _b.log(`token: ${token == null ? void 0 : token.type}`);
     if ((token == null ? void 0 : token.type) === "Identifier") {
-      const expression = this._expressions.entries.get(token.name);
+      const expression = this._expressions.get(token.name);
       if (expression) {
         const completionDetails = this.getCompletionEntryDetails(context, position, expression.name);
         return __spreadProps(__spreadValues({}, completionDetails), {
-          textSpan: {
-            start: (_d = (_c = token.location) == null ? void 0 : _c.start.character) != null ? _d : 0,
-            length: ((_f = (_e = token.location) == null ? void 0 : _e.end.character) != null ? _f : 0) - ((_h = (_g = token.location) == null ? void 0 : _g.start.character) != null ? _h : 0)
-          }
+          textSpan: toTSLocation(token)
         });
       }
     }
     return void 0;
   }
+  checkNode(context, node, xlrType) {
+    const diagnostics = [];
+    const asJsonNodeValue = convertExprToJSONNode(node);
+    if (asJsonNodeValue) {
+      const xlrDiags = this.xlr.validateByType(xlrType, asJsonNodeValue);
+      xlrDiags.forEach((d) => {
+        diagnostics.push(__spreadProps(__spreadValues({
+          file: context.node.getSourceFile()
+        }, toTSLocation(node)), {
+          messageText: d.message,
+          category: ts__namespace.DiagnosticCategory.Error,
+          code: 1
+        }));
+      });
+    }
+    return diagnostics;
+  }
+  getDiagnosticsForNode(context, node) {
+    const diags = [];
+    if (node.type === "Compound") {
+      node.body.forEach((n) => {
+        diags.push(...this.getDiagnosticsForNode(context, n));
+      });
+    }
+    if (node.type === "CallExpression") {
+      const exprName = node.callTarget.name;
+      const expression = this._expressions.get(exprName);
+      node.args.forEach((n) => {
+        diags.push(...this.getDiagnosticsForNode(context, n));
+      });
+      if (expression) {
+        const expectedArgs = expression.type.parameters;
+        const actualArgs = node.args;
+        actualArgs.forEach((actualArg, index) => {
+          const expectedArg = expectedArgs[index];
+          if (expectedArg) {
+            diags.push(...this.checkNode(context, actualArg, expectedArg.type));
+          }
+        });
+        if (expectedArgs.length > actualArgs.length) {
+          const requiredArgs = expectedArgs.filter((a) => !a.optional);
+          if (actualArgs.length < requiredArgs.length) {
+            diags.push(__spreadProps(__spreadValues({
+              category: ts__namespace.DiagnosticCategory.Error,
+              code: 1,
+              file: context.node.getSourceFile()
+            }, toTSLocation(node.callTarget)), {
+              messageText: `Expected ${requiredArgs.length} argument(s), got ${actualArgs.length}`
+            }));
+          }
+        }
+      } else {
+        diags.push(__spreadProps(__spreadValues({
+          category: ts__namespace.DiagnosticCategory.Error,
+          code: 1,
+          file: context.node.getSourceFile()
+        }, toTSLocation(node.callTarget)), {
+          messageText: `Unknown expression ${exprName}`
+        }));
+      }
+    }
+    return diags;
+  }
+  getSemanticDiagnostics(context) {
+    if (this._plugins.length === 0) {
+      return [];
+    }
+    const parsed = player.parseExpression(context.text.trim(), { strict: false });
+    return this.getDiagnosticsForNode(context, parsed);
+  }
+  getSyntacticDiagnostics(context) {
+    const parsed = player.parseExpression(context.text.trim(), { strict: false });
+    if (parsed.error) {
+      return [
+        __spreadProps(__spreadValues({
+          category: ts__namespace.DiagnosticCategory.Error,
+          code: 1,
+          file: context.node.getSourceFile()
+        }, toTSLocation(parsed)), {
+          messageText: parsed.error.message
+        })
+      ];
+    }
+    return [];
+  }
 }
 
 class LSPLogger {

package/dist/index.esm.js

@@ -1,7 +1,9 @@
 import { decorateWithTemplateLanguageService } from 'typescript-template-language-service-decorator';
 import * as ts from 'typescript/lib/tsserverlibrary';
 import { createTSDocString } from '@player-tools/xlr-utils';
+import { simpleTransformGenerator, XLRSDK } from '@player-tools/xlr-sdk';
 import { parseExpression } from '@player-ui/player';
+import { parseTree } from 'jsonc-parser';
 
 function isInRange(position, location) {
   return position.character >= location.start.character && position.character <= location.end.character;
@@ -30,6 +32,83 @@ function getTokenAtPosition(node, position) {
     return node;
   }
 }
+function toTSLocation(node) {
+  var _a, _b;
+  const start = (_a = node.location) == null ? void 0 : _a.start.character;
+  const end = (_b = node.location) == null ? void 0 : _b.end.character;
+  if (start === void 0 || end === void 0) {
+    return {
+      start: 0,
+      length: 0
+    };
+  }
+  return {
+    start,
+    length: end - start
+  };
+}
+function convertExprToValue(exprNode) {
+  let val;
+  if (exprNode.type === "Literal") {
+    val = exprNode.value;
+  } else if (exprNode.type === "Object") {
+    val = {};
+    exprNode.attributes.forEach((prop) => {
+      val[convertExprToValue(prop.key)] = convertExprToValue(prop.value);
+    });
+  } else if (exprNode.type === "ArrayExpression") {
+    val = exprNode.elements.map(convertExprToValue);
+  }
+  return val;
+}
+function convertExprToJSONNode(exprNode) {
+  const val = convertExprToValue(exprNode);
+  if (val === void 0) {
+    return void 0;
+  }
+  return parseTree(JSON.stringify(val));
+}
+
+var __defProp$1 = Object.defineProperty;
+var __defProps$1 = Object.defineProperties;
+var __getOwnPropDescs$1 = Object.getOwnPropertyDescriptors;
+var __getOwnPropSymbols$1 = Object.getOwnPropertySymbols;
+var __hasOwnProp$1 = Object.prototype.hasOwnProperty;
+var __propIsEnum$1 = Object.prototype.propertyIsEnumerable;
+var __defNormalProp$1 = (obj, key, value) => key in obj ? __defProp$1(obj, key, { enumerable: true, configurable: true, writable: true, value }) : obj[key] = value;
+var __spreadValues$1 = (a, b) => {
+  for (var prop in b || (b = {}))
+    if (__hasOwnProp$1.call(b, prop))
+      __defNormalProp$1(a, prop, b[prop]);
+  if (__getOwnPropSymbols$1)
+    for (var prop of __getOwnPropSymbols$1(b)) {
+      if (__propIsEnum$1.call(b, prop))
+        __defNormalProp$1(a, prop, b[prop]);
+    }
+  return a;
+};
+var __spreadProps$1 = (a, b) => __defProps$1(a, __getOwnPropDescs$1(b));
+const toFunction = simpleTransformGenerator("ref", "Expressions", (exp) => {
+  if (!exp.genericArguments || exp.ref !== "ExpressionHandler") {
+    return exp;
+  }
+  const [args, returnType] = exp.genericArguments;
+  const parameters = (args.type === "tuple" ? args.elementTypes : []).map((elementType, index) => {
+    var _a, _b, _c, _d, _e, _f;
+    return {
+      name: (_c = (_b = (_a = elementType.name) != null ? _a : elementType.type.name) != null ? _b : elementType.type.title) != null ? _c : `arg_${index}`,
+      type: __spreadValues$1({
+        name: (_f = (_e = (_d = elementType.name) != null ? _d : elementType.type.name) != null ? _e : elementType.type.title) != null ? _f : `arg_${index}`
+      }, elementType.type),
+      optional: elementType.optional === true ? elementType.optional : void 0
+    };
+  });
+  return __spreadProps$1(__spreadValues$1({}, exp), {
+    type: "function",
+    parameters,
+    returnType
+  });
+});
 
 var __defProp = Object.defineProperty;
 var __defProps = Object.defineProperties;
@@ -50,59 +129,44 @@ var __spreadValues = (a, b) => {
   return a;
 };
 var __spreadProps = (a, b) => __defProps(a, __getOwnPropDescs(b));
-function reduceExpression(plugins) {
-  const expressions = new Map();
-  plugins.forEach((plugin) => {
-    var _a;
-    const { capabilities } = plugin;
-    const registeredExpressions = (_a = capabilities == null ? void 0 : capabilities.Expressions) != null ? _a : [];
-    registeredExpressions.forEach((exp) => {
-      var _a2;
-      if (exp.type !== "ref" || !exp.genericArguments) {
-        return;
-      }
-      const expName = exp.name;
-      const [args, returnType] = exp.genericArguments;
-      const parameters = (args.type === "tuple" ? args.elementTypes : []).map((elementType) => {
-        var _a3, _b, _c;
-        return {
-          name: (_c = (_b = (_a3 = elementType.name) != null ? _a3 : elementType.type.name) != null ? _b : elementType.type.title) != null ? _c : "",
-          type: elementType.type,
-          optional: elementType.optional === true ? elementType.optional : void 0
-        };
-      });
-      const entry = {
-        name: expName,
-        description: (_a2 = exp.description) != null ? _a2 : "",
-        source: plugin,
-        type: __spreadProps(__spreadValues({}, exp), {
-          type: "function",
-          parameters,
-          returnType
-        })
-      };
-      expressions.set(expName, entry);
-    });
-  });
-  const expList = {
-    entries: expressions
-  };
-  return expList;
-}
 class ExpressionLanguageService {
   constructor(options) {
     this._plugins = [];
     var _a;
     this.logger = options == null ? void 0 : options.logger;
     this._plugins = (_a = options == null ? void 0 : options.plugins) != null ? _a : [];
-    this._expressions = reduceExpression(this._plugins);
+    this.xlr = new XLRSDK();
+    this._plugins.forEach((p) => {
+      this.xlr.loadDefinitionsFromModule(p, void 0, [toFunction]);
+    });
+    this._expressions = this.reduceExpression();
   }
   setConfig(config) {
     this._plugins = config.plugins;
-    this._expressions = reduceExpression(this._plugins);
+    this.xlr = new XLRSDK();
+    this._plugins.forEach((p) => {
+      this.xlr.loadDefinitionsFromModule(p, void 0, [toFunction]);
+    });
+    this._expressions = this.reduceExpression();
+  }
+  reduceExpression() {
+    const expressions = new Map();
+    this.xlr.listTypes().forEach((type) => {
+      const typeInfo = this.xlr.getTypeInfo(type.name);
+      const source = this._plugins.find((value) => value.pluginName === (typeInfo == null ? void 0 : typeInfo.plugin));
+      if (type.type === "function" && (typeInfo == null ? void 0 : typeInfo.capability) === "Expressions" && source) {
+        expressions.set(type.name, {
+          name: type.name,
+          description: type.description,
+          type,
+          source
+        });
+      }
+    });
+    return expressions;
   }
   getCompletionsAtPosition(context, position) {
-    var _a, _b, _c, _d;
+    var _a, _b;
     const completionInfo = {
       isGlobalCompletion: false,
       isMemberCompletion: false,
@@ -110,7 +174,7 @@ class ExpressionLanguageService {
       entries: []
     };
     if (context.text.length === 0) {
-      this._expressions.entries.forEach((exp) => {
+      this._expressions.forEach((exp) => {
         completionInfo.entries.push({
           name: exp.name,
           kind: ts.ScriptElementKind.functionElement,
@@ -124,9 +188,8 @@ class ExpressionLanguageService {
     const line = context.text.split(/\n/g)[position.line];
     const parsed = parseExpression(line, { strict: false });
     const token = getTokenAtPosition(parsed, position);
-    (_b = this.logger) == null ? void 0 : _b.log(`Token ${token == null ? void 0 : token.type} ${(_a = token == null ? void 0 : token.error) == null ? void 0 : _a.message}`);
     if ((token == null ? void 0 : token.type) === "Compound" && token.error) {
-      this._expressions.entries.forEach((exp) => {
+      this._expressions.forEach((exp) => {
         completionInfo.entries.push({
           name: exp.name,
           kind: ts.ScriptElementKind.functionElement,
@@ -138,9 +201,9 @@ class ExpressionLanguageService {
       return completionInfo;
     }
     if ((token == null ? void 0 : token.type) === "Identifier") {
-      const start = (_d = (_c = token.location) == null ? void 0 : _c.start) != null ? _d : { character: 0 };
+      const start = (_b = (_a = token.location) == null ? void 0 : _a.start) != null ? _b : { character: 0 };
       const wordFromStart = line.slice(start.character, position.character);
-      const allCompletions = Array.from(this._expressions.entries.keys()).filter((key) => key.startsWith(wordFromStart));
+      const allCompletions = Array.from(this._expressions.keys()).filter((key) => key.startsWith(wordFromStart));
       allCompletions.forEach((c) => {
         completionInfo.entries.push({
           name: c,
@@ -154,8 +217,8 @@ class ExpressionLanguageService {
     return completionInfo;
   }
   getCompletionEntryDetails(context, position, name) {
-    var _a, _b, _c;
-    const expression = this._expressions.entries.get(name);
+    var _a;
+    const expression = this._expressions.get(name);
     const completionDetails = {
       name,
       kind: ts.ScriptElementKind.functionElement,
@@ -168,30 +231,107 @@ class ExpressionLanguageService {
       ],
       displayParts: expression ? createTSDocString(expression.type) : []
     };
-    (_b = this.logger) == null ? void 0 : _b.log(`getCompletionEntryDetails: ${name}`);
-    (_c = this.logger) == null ? void 0 : _c.log(JSON.stringify(completionDetails));
     return completionDetails;
   }
   getQuickInfoAtPosition(context, position) {
-    var _a, _b, _c, _d, _e, _f, _g, _h;
-    (_a = this.logger) == null ? void 0 : _a.log(`getQuickInfoAtPosition: ${context.text}`);
     const parsed = parseExpression(context.text, { strict: false });
     const token = getTokenAtPosition(parsed, position);
-    (_b = this.logger) == null ? void 0 : _b.log(`token: ${token == null ? void 0 : token.type}`);
     if ((token == null ? void 0 : token.type) === "Identifier") {
-      const expression = this._expressions.entries.get(token.name);
+      const expression = this._expressions.get(token.name);
       if (expression) {
         const completionDetails = this.getCompletionEntryDetails(context, position, expression.name);
         return __spreadProps(__spreadValues({}, completionDetails), {
-          textSpan: {
-            start: (_d = (_c = token.location) == null ? void 0 : _c.start.character) != null ? _d : 0,
-            length: ((_f = (_e = token.location) == null ? void 0 : _e.end.character) != null ? _f : 0) - ((_h = (_g = token.location) == null ? void 0 : _g.start.character) != null ? _h : 0)
-          }
+          textSpan: toTSLocation(token)
         });
       }
     }
     return void 0;
   }
+  checkNode(context, node, xlrType) {
+    const diagnostics = [];
+    const asJsonNodeValue = convertExprToJSONNode(node);
+    if (asJsonNodeValue) {
+      const xlrDiags = this.xlr.validateByType(xlrType, asJsonNodeValue);
+      xlrDiags.forEach((d) => {
+        diagnostics.push(__spreadProps(__spreadValues({
+          file: context.node.getSourceFile()
+        }, toTSLocation(node)), {
+          messageText: d.message,
+          category: ts.DiagnosticCategory.Error,
+          code: 1
+        }));
+      });
+    }
+    return diagnostics;
+  }
+  getDiagnosticsForNode(context, node) {
+    const diags = [];
+    if (node.type === "Compound") {
+      node.body.forEach((n) => {
+        diags.push(...this.getDiagnosticsForNode(context, n));
+      });
+    }
+    if (node.type === "CallExpression") {
+      const exprName = node.callTarget.name;
+      const expression = this._expressions.get(exprName);
+      node.args.forEach((n) => {
+        diags.push(...this.getDiagnosticsForNode(context, n));
+      });
+      if (expression) {
+        const expectedArgs = expression.type.parameters;
+        const actualArgs = node.args;
+        actualArgs.forEach((actualArg, index) => {
+          const expectedArg = expectedArgs[index];
+          if (expectedArg) {
+            diags.push(...this.checkNode(context, actualArg, expectedArg.type));
+          }
+        });
+        if (expectedArgs.length > actualArgs.length) {
+          const requiredArgs = expectedArgs.filter((a) => !a.optional);
+          if (actualArgs.length < requiredArgs.length) {
+            diags.push(__spreadProps(__spreadValues({
+              category: ts.DiagnosticCategory.Error,
+              code: 1,
+              file: context.node.getSourceFile()
+            }, toTSLocation(node.callTarget)), {
+              messageText: `Expected ${requiredArgs.length} argument(s), got ${actualArgs.length}`
+            }));
+          }
+        }
+      } else {
+        diags.push(__spreadProps(__spreadValues({
+          category: ts.DiagnosticCategory.Error,
+          code: 1,
+          file: context.node.getSourceFile()
+        }, toTSLocation(node.callTarget)), {
+          messageText: `Unknown expression ${exprName}`
+        }));
+      }
+    }
+    return diags;
+  }
+  getSemanticDiagnostics(context) {
+    if (this._plugins.length === 0) {
+      return [];
+    }
+    const parsed = parseExpression(context.text.trim(), { strict: false });
+    return this.getDiagnosticsForNode(context, parsed);
+  }
+  getSyntacticDiagnostics(context) {
+    const parsed = parseExpression(context.text.trim(), { strict: false });
+    if (parsed.error) {
+      return [
+        __spreadProps(__spreadValues({
+          category: ts.DiagnosticCategory.Error,
+          code: 1,
+          file: context.node.getSourceFile()
+        }, toTSLocation(parsed)), {
+          messageText: parsed.error.message
+        })
+      ];
+    }
+    return [];
+  }
 }
 
 class LSPLogger {

package/package.json

@@ -1,16 +1,17 @@
 {
   "name": "@player-tools/typescript-expression-plugin",
-  "version": "0.2.2--canary.20.485",
+  "version": "0.4.0-next.1",
   "private": false,
   "publishConfig": {
     "registry": "https://registry.npmjs.org"
   },
   "peerDependencies": {},
   "dependencies": {
-    "@player-tools/xlr": "0.2.2--canary.20.485",
-    "@player-tools/xlr-sdk": "0.2.2--canary.20.485",
-    "@player-tools/xlr-utils": "0.2.2--canary.20.485",
-    "@player-ui/player": "0.3.1--canary.117.4130",
+    "@player-tools/xlr": "0.4.0-next.1",
+    "@player-tools/xlr-sdk": "0.4.0-next.1",
+    "@player-tools/xlr-utils": "0.4.0-next.1",
+    "@player-ui/player": "0.4.0-next.7",
+    "jsonc-parser": "^2.3.1",
     "typescript-template-language-service-decorator": "^2.3.1",
     "@babel/runtime": "7.15.4"
   },

package/src/service.ts

@@ -4,103 +4,102 @@ import type {
   TemplateContext,
   Logger,
 } from 'typescript-template-language-service-decorator';
-import type {
-  FunctionType,
-  TSManifest,
-  FunctionTypeParameters,
-  NodeType,
-} from '@player-tools/xlr';
+import type { FunctionType, TSManifest, NodeType } from '@player-tools/xlr';
 import { createTSDocString } from '@player-tools/xlr-utils';
+import { XLRSDK } from '@player-tools/xlr-sdk';
+import type { ExpressionNode } from '@player-ui/player';
 import { parseExpression } from '@player-ui/player';
-import { getTokenAtPosition } from './utils';
-
-interface ExpEntry {
+import {
+  getTokenAtPosition,
+  toTSLocation,
+  convertExprToJSONNode,
+} from './utils';
+import { toFunction } from './transforms';
+
+interface ExpressionEntry {
+  /**
+   * The name of the expression
+   */
   name: string;
-  description: string;
+  /**
+   * The description of the expression
+   */
+  description?: string;
+  /**
+   * The XLR type of the expression
+   */
   type: FunctionType;
+  /**
+   * The XLR enabled plugin the expression was sourced from
+   */
   source: TSManifest;
 }
 
-interface ExpressionList {
-  entries: Map<string, ExpEntry>;
-}
-
 export interface ExpressionLanguageServiceConfig {
+  /**
+   * The list of XLR enabled plugins to load
+   */
   plugins: Array<TSManifest>;
 }
 
-// TODO: This should move into the xlr/cli package so expressions are converted to functions at build time
-function reduceExpression(plugins: Array<TSManifest>): ExpressionList {
-  // Overlaps in names will be resolved by the last plugin to be loaded
-  // So use a map to ensure no duplicates
-  const expressions = new Map<string, ExpEntry>();
-
-  plugins.forEach((plugin) => {
-    const { capabilities } = plugin;
-    const registeredExpressions = capabilities?.Expressions ?? [];
-
-    registeredExpressions.forEach((exp) => {
-      if (exp.type !== 'ref' || !exp.genericArguments) {
-        return;
-      }
-
-      const expName = exp.name;
-      const [args, returnType] = exp.genericArguments;
-
-      const parameters: Array<FunctionTypeParameters> = (
-        args.type === 'tuple' ? args.elementTypes : []
-      ).map((elementType) => {
-        return {
-          name:
-            elementType.name ??
-            elementType.type.name ??
-            elementType.type.title ??
-            '',
-          type: elementType.type,
-          optional:
-            elementType.optional === true ? elementType.optional : undefined,
-        };
-      });
-
-      const entry: ExpEntry = {
-        name: expName,
-        description: exp.description ?? '',
-        source: plugin,
-        type: {
-          ...exp,
-          type: 'function',
-          parameters,
-          returnType,
-        },
-      };
-
-      expressions.set(expName, entry);
-    });
-  });
-
-  const expList: ExpressionList = {
-    entries: expressions,
-  };
-
-  return expList;
-}
-
+/**
+ * Language server to check Player expression syntax and usage
+ */
 export class ExpressionLanguageService implements TemplateLanguageService {
   private logger?: Logger;
   private _plugins: Array<TSManifest> = [];
-  private _expressions: ExpressionList;
+  private _expressions: Map<string, ExpressionEntry>;
+  private xlr: XLRSDK;
 
   constructor(
     options?: { logger?: Logger } & Partial<ExpressionLanguageServiceConfig>
   ) {
     this.logger = options?.logger;
     this._plugins = options?.plugins ?? [];
-    this._expressions = reduceExpression(this._plugins);
+    this.xlr = new XLRSDK();
+
+    this._plugins.forEach((p) => {
+      this.xlr.loadDefinitionsFromModule(p, undefined, [toFunction]);
+    });
+    this._expressions = this.reduceExpression();
   }
 
   setConfig(config: ExpressionLanguageServiceConfig) {
     this._plugins = config.plugins;
-    this._expressions = reduceExpression(this._plugins);
+    this.xlr = new XLRSDK();
+
+    this._plugins.forEach((p) => {
+      this.xlr.loadDefinitionsFromModule(p, undefined, [toFunction]);
+    });
+    this._expressions = this.reduceExpression();
+  }
+
+  private reduceExpression(): Map<string, ExpressionEntry> {
+    // Overlaps in names will be resolved by the last plugin to be loaded
+    // So use a map to ensure no duplicates
+    const expressions = new Map<string, ExpressionEntry>();
+
+    this.xlr.listTypes().forEach((type) => {
+      const typeInfo = this.xlr.getTypeInfo(type.name);
+      const source = this._plugins.find(
+        (value) => value.pluginName === typeInfo?.plugin
+      );
+
+      if (
+        type.type === 'function' &&
+        typeInfo?.capability === 'Expressions' &&
+        source
+      ) {
+        expressions.set(type.name, {
+          name: type.name,
+          description: type.description,
+          type: type as FunctionType,
+          source,
+        });
+      }
+    });
+
+    return expressions;
   }
 
   getCompletionsAtPosition(
@@ -118,7 +117,7 @@ export class ExpressionLanguageService implements TemplateLanguageService {
       // This happens for the start of an expression (e``)
       // Provide all the completions in this case
 
-      this._expressions.entries.forEach((exp) => {
+      this._expressions.forEach((exp) => {
         completionInfo.entries.push({
           name: exp.name,
           kind: ts.ScriptElementKind.functionElement,
@@ -135,12 +134,10 @@ export class ExpressionLanguageService implements TemplateLanguageService {
     const parsed = parseExpression(line, { strict: false });
     const token = getTokenAtPosition(parsed, position);
 
-    this.logger?.log(`Token ${token?.type} ${token?.error?.message}`);
-
     if (token?.type === 'Compound' && token.error) {
       // We hit the end of the expression, and it's expecting more
       // so provide all the completions
-      this._expressions.entries.forEach((exp) => {
+      this._expressions.forEach((exp) => {
         completionInfo.entries.push({
           name: exp.name,
           kind: ts.ScriptElementKind.functionElement,
@@ -157,9 +154,9 @@ export class ExpressionLanguageService implements TemplateLanguageService {
       // get the relevant start of the identifier
       const start = token.location?.start ?? { character: 0 };
       const wordFromStart = line.slice(start.character, position.character);
-      const allCompletions = Array.from(
-        this._expressions.entries.keys()
-      ).filter((key) => key.startsWith(wordFromStart));
+      const allCompletions = Array.from(this._expressions.keys()).filter(
+        (key) => key.startsWith(wordFromStart)
+      );
 
       allCompletions.forEach((c) => {
         completionInfo.entries.push({
@@ -180,7 +177,7 @@ export class ExpressionLanguageService implements TemplateLanguageService {
     position: ts.LineAndCharacter,
     name: string
   ): ts.CompletionEntryDetails {
-    const expression = this._expressions.entries.get(name);
+    const expression = this._expressions.get(name);
 
     const completionDetails: ts.CompletionEntryDetails = {
       name,
@@ -196,9 +193,6 @@ export class ExpressionLanguageService implements TemplateLanguageService {
       displayParts: expression ? createTSDocString(expression.type) : [],
     };
 
-    this.logger?.log(`getCompletionEntryDetails: ${name}`);
-    this.logger?.log(JSON.stringify(completionDetails));
-
     return completionDetails;
   }
 
@@ -206,15 +200,11 @@ export class ExpressionLanguageService implements TemplateLanguageService {
     context: TemplateContext,
     position: ts.LineAndCharacter
   ): ts.QuickInfo | undefined {
-    this.logger?.log(`getQuickInfoAtPosition: ${context.text}`);
-
     const parsed = parseExpression(context.text, { strict: false });
     const token = getTokenAtPosition(parsed, position);
 
-    this.logger?.log(`token: ${token?.type}`);
-
     if (token?.type === 'Identifier') {
-      const expression = this._expressions.entries.get(token.name);
+      const expression = this._expressions.get(token.name);
 
       if (expression) {
         const completionDetails = this.getCompletionEntryDetails(
@@ -225,16 +215,125 @@ export class ExpressionLanguageService implements TemplateLanguageService {
 
         return {
           ...completionDetails,
-          textSpan: {
-            start: token.location?.start.character ?? 0,
-            length:
-              (token.location?.end.character ?? 0) -
-              (token.location?.start.character ?? 0),
-          },
+          textSpan: toTSLocation(token),
         };
       }
     }
 
     return undefined;
   }
+
+  private checkNode(
+    context: TemplateContext,
+    node: ExpressionNode,
+    xlrType: NodeType
+  ): ts.Diagnostic[] {
+    const diagnostics: ts.Diagnostic[] = [];
+    const asJsonNodeValue = convertExprToJSONNode(node);
+
+    if (asJsonNodeValue) {
+      const xlrDiags = this.xlr.validateByType(xlrType, asJsonNodeValue);
+
+      xlrDiags.forEach((d) => {
+        diagnostics.push({
+          file: context.node.getSourceFile(),
+          ...toTSLocation(node),
+          messageText: d.message,
+          category: ts.DiagnosticCategory.Error,
+          code: 1,
+        });
+      });
+    }
+
+    return diagnostics;
+  }
+
+  private getDiagnosticsForNode(
+    context: TemplateContext,
+    node: ExpressionNode
+  ): ts.Diagnostic[] {
+    const diags: ts.Diagnostic[] = [];
+
+    if (node.type === 'Compound') {
+      node.body.forEach((n) => {
+        diags.push(...this.getDiagnosticsForNode(context, n));
+      });
+    }
+
+    if (node.type === 'CallExpression') {
+      // Check that the expression is valid
+      const exprName = node.callTarget.name;
+      const expression = this._expressions.get(exprName);
+
+      node.args.forEach((n) => {
+        diags.push(...this.getDiagnosticsForNode(context, n));
+      });
+
+      if (expression) {
+        // Double check the arguments match what we expect
+        const expectedArgs = expression.type.parameters;
+        const actualArgs = node.args;
+
+        actualArgs.forEach((actualArg, index) => {
+          const expectedArg = expectedArgs[index];
+
+          if (expectedArg) {
+            // Check that the type satisfies the expected type
+            diags.push(...this.checkNode(context, actualArg, expectedArg.type));
+          }
+        });
+
+        if (expectedArgs.length > actualArgs.length) {
+          const requiredArgs = expectedArgs.filter((a) => !a.optional);
+          if (actualArgs.length < requiredArgs.length) {
+            diags.push({
+              category: ts.DiagnosticCategory.Error,
+              code: 1,
+              file: context.node.getSourceFile(),
+              ...toTSLocation(node.callTarget),
+              messageText: `Expected ${requiredArgs.length} argument(s), got ${actualArgs.length}`,
+            });
+          }
+        }
+      } else {
+        diags.push({
+          category: ts.DiagnosticCategory.Error,
+          code: 1,
+          file: context.node.getSourceFile(),
+          ...toTSLocation(node.callTarget),
+          messageText: `Unknown expression ${exprName}`,
+        });
+      }
+    }
+
+    return diags;
+  }
+
+  getSemanticDiagnostics(context: TemplateContext): ts.Diagnostic[] {
+    // Shortcut any type-checking if we don't have any info about what expressions are registered
+    if (this._plugins.length === 0) {
+      return [];
+    }
+
+    const parsed = parseExpression(context.text.trim(), { strict: false });
+    return this.getDiagnosticsForNode(context, parsed);
+  }
+
+  getSyntacticDiagnostics(context: TemplateContext): ts.Diagnostic[] {
+    const parsed = parseExpression(context.text.trim(), { strict: false });
+
+    if (parsed.error) {
+      return [
+        {
+          category: ts.DiagnosticCategory.Error,
+          code: 1,
+          file: context.node.getSourceFile(),
+          ...toTSLocation(parsed),
+          messageText: parsed.error.message,
+        },
+      ];
+    }
+
+    return [];
+  }
 }

package/src/transforms.ts

@@ -0,0 +1,44 @@
+import type { FunctionType, FunctionTypeParameters } from '@player-tools/xlr';
+import { simpleTransformGenerator } from '@player-tools/xlr-sdk';
+
+export const toFunction = simpleTransformGenerator(
+  'ref',
+  'Expressions',
+  (exp) => {
+    if (!exp.genericArguments || exp.ref !== 'ExpressionHandler') {
+      return exp;
+    }
+
+    const [args, returnType] = exp.genericArguments;
+
+    const parameters: Array<FunctionTypeParameters> = (
+      args.type === 'tuple' ? args.elementTypes : []
+    ).map((elementType, index) => {
+      return {
+        name:
+          elementType.name ??
+          elementType.type.name ??
+          elementType.type.title ??
+          `arg_${index}`,
+
+        type: {
+          name:
+            elementType.name ??
+            elementType.type.name ??
+            elementType.type.title ??
+            `arg_${index}`,
+          ...elementType.type,
+        },
+        optional:
+          elementType.optional === true ? elementType.optional : undefined,
+      };
+    });
+
+    return {
+      ...exp,
+      type: 'function',
+      parameters,
+      returnType,
+    } as FunctionType as any;
+  }
+);

package/src/utils.ts

@@ -1,5 +1,7 @@
 import type { Position } from 'vscode-languageserver-types';
 import type { ExpressionNode, NodeLocation } from '@player-ui/player';
+import { parseTree } from 'jsonc-parser';
+import type { Node } from 'jsonc-parser';
 
 /** Check if the vscode position overlaps with the expression location */
 export function isInRange(position: Position, location: NodeLocation) {
@@ -43,3 +45,50 @@ export function getTokenAtPosition(
     return node;
   }
 }
+
+/** Get the location info that TS expects for it's diags */
+export function toTSLocation(node: ExpressionNode): ts.TextSpan {
+  const start = node.location?.start.character;
+  const end = node.location?.end.character;
+  if (start === undefined || end === undefined) {
+    return {
+      start: 0,
+      length: 0,
+    };
+  }
+
+  return {
+    start,
+    length: end - start,
+  };
+}
+
+/** ExpressionNode -> raw value */
+export function convertExprToValue(exprNode: ExpressionNode): any {
+  let val;
+
+  if (exprNode.type === 'Literal') {
+    val = exprNode.value;
+  } else if (exprNode.type === 'Object') {
+    val = {};
+    exprNode.attributes.forEach((prop) => {
+      val[convertExprToValue(prop.key)] = convertExprToValue(prop.value);
+    });
+  } else if (exprNode.type === 'ArrayExpression') {
+    val = exprNode.elements.map(convertExprToValue);
+  }
+
+  return val;
+}
+
+/** ExpressionNode -> JSONC Node */
+export function convertExprToJSONNode(
+  exprNode: ExpressionNode
+): Node | undefined {
+  const val = convertExprToValue(exprNode);
+  if (val === undefined) {
+    return undefined;
+  }
+
+  return parseTree(JSON.stringify(val));
+}