@arcgis/arcade-languageservice 5.0.0-next.8 → 5.0.0-next.80

package/dist/index.d.ts

@@ -68,7 +68,7 @@ declare interface AssignmentExpression extends NodeBase<typeof NodeTypes.Assignm
 /**
  * Arcade assignment operators.
  */
-declare const AssignmentOperators: readonly string[];
+declare const AssignmentOperators: readonly ["=", "/=", "*=", "%=", "+=", "-="];
 
 /**
  * Arcade assignment operators.
@@ -103,7 +103,7 @@ declare interface BinaryExpression extends NodeBase<typeof NodeTypes.BinaryExpre
 /**
  * Arcade binary operators.
  */
-declare const BinaryOperators: readonly string[];
+declare const BinaryOperators: readonly ["|", "&", ">>", "<<", ">>>", "^", "==", "!=", "<", "<=", ">", ">=", "+", "-", "*", "/", "%"];
 
 /**
  * Arcade binary operators.
@@ -152,7 +152,7 @@ declare interface CallExpression extends NodeBase<typeof NodeTypes.CallExpressio
      * Example: foo(1, 2, 3)
      * The callee is foo.
      */
-    callee: Identifier | MemberExpression;
+    callee: Identifier | MemberExpression | SafeMemberExpression;
     /**
      * The arguments of the call expression.
      * Example: foo(1, 2, 3)
@@ -237,7 +237,7 @@ export declare interface Diagnostic {
      * A data entry field that is preserved between a `textDocument/publishDiagnostics`
      * notification and `textDocument/codeAction` request.
      */
-    data?: DiagnosticData_2 | null;
+    data?: DiagnosticData | null;
 }
 
 /**
@@ -252,7 +252,7 @@ declare class Diagnostic_2 extends Error implements DiagnosticApi {
     len: number;
     range: SourceLocation;
     description?: string;
-    data?: DiagnosticData_3 | null;
+    data?: DiagnosticData_2 | null;
     constructor({ code, index, line, column, len, description, data }: DiagnosticApi);
 }
 
@@ -275,7 +275,7 @@ declare interface DiagnosticApi extends Marker {
     /**
      * The associated diagnostic data.
      */
-    data?: DiagnosticData_3 | null;
+    data?: DiagnosticData_2 | null;
 }
 
 /**
@@ -327,13 +327,12 @@ declare type DiagnosticCodes_2 = (typeof DiagnosticCodes_2)[keyof typeof Diagnos
  * For example in case of an error associated to an identifier,
  * the DiagnosticData will contain a key 'identifier' and its value.
  */
-declare type DiagnosticData_2 = Record<string, number | string>;
-export { DiagnosticData_2 as DiagnosticData }
+export declare type DiagnosticData = Record<string, number | string>;
 
 /**
  * Arcade diagnostic data.
  */
-declare type DiagnosticData_3 = Record<string, number | string>;
+declare type DiagnosticData_2 = Record<string, number | string>;
 
 export declare const DiagnosticMessages: {
     readonly InvalidModuleUri: string;
@@ -449,7 +448,7 @@ declare interface ExportSpecifier extends NodeBase<typeof NodeTypes.ExportSpecif
 /**
  * Define the types of Arcade Expression.
  */
-declare type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | Identifier | Literal | LogicalExpression | MemberExpression | ObjectExpression | TemplateLiteral | UnaryExpression | UpdateExpression;
+declare type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | Identifier | Literal | LogicalExpression | MemberAccessChainExpression | MemberExpression | ObjectExpression | SafeMemberExpression | TemplateLiteral | UnaryExpression | UpdateExpression;
 
 /**
  * Define an Arcade expression statement.
@@ -766,6 +765,11 @@ declare function isLiteral(item: unknown): item is Literal;
  */
 declare function isLogicalExpression(item: unknown): item is LogicalExpression;
 
+/**
+ * Test if the item is an Arcade MemberAccessChainExpression.
+ */
+declare function isMemberAccessChainExpression(item: unknown): item is MemberAccessChainExpression;
+
 /**
  * Test if the item is an Arcade MemberExpression.
  */
@@ -791,6 +795,11 @@ declare function isProperty(item: unknown): item is Property;
  */
 declare function isReturnStatement(item: unknown): item is ReturnStatement;
 
+/**
+ * Test if the item is an Arcade SafeMemberExpression.
+ */
+declare function isSafeMemberExpression(item: unknown): item is SafeMemberExpression;
+
 /**
  * Test if the item is an Arcade Statement.
  */
@@ -945,7 +954,7 @@ declare interface LogicalExpression extends NodeBase<typeof NodeTypes.LogicalExp
 /**
  * Arcade logical operators.
  */
-declare const LogicalOperators: readonly string[];
+declare const LogicalOperators: readonly ["||", "&&"];
 
 /**
  * Arcade logical operators.
@@ -962,6 +971,15 @@ declare interface Marker extends Position {
     index: number;
 }
 
+/**
+ * The enclosing scope for SafeMemberExpressions. Failed accesses in `expression` (or descendent `callee`/`object` expressions)
+ * result in this entire chain evaluating to `null`.
+ * Example: `foo?.bar?.["baz"]`, `foo()?.bar`, `foo.bar?.baz`, `foo?.bar.baz`, `foo?.bar()` are all single chains
+ */
+declare interface MemberAccessChainExpression extends NodeBase<typeof NodeTypes.MemberAccessChainExpression> {
+    expression: Expression;
+}
+
 /**
  * Define an Arcade member expression.
  * Example: foo.bar or foo[1]
@@ -1015,11 +1033,13 @@ declare const NodeTypes: {
     readonly LineComment: "LineComment";
     readonly Literal: "Literal";
     readonly LogicalExpression: "LogicalExpression";
+    readonly MemberAccessChainExpression: "MemberAccessChainExpression";
     readonly MemberExpression: "MemberExpression";
     readonly ObjectExpression: "ObjectExpression";
     readonly Program: "Program";
     readonly Property: "Property";
     readonly ReturnStatement: "ReturnStatement";
+    readonly SafeMemberExpression: "SafeMemberExpression";
     readonly TemplateElement: "TemplateElement";
     readonly TemplateLiteral: "TemplateLiteral";
     readonly UnaryExpression: "UnaryExpression";
@@ -1131,6 +1151,8 @@ declare namespace Parser {
         isObjectExpression,
         isTemplateLiteral,
         isMemberExpression,
+        isSafeMemberExpression,
+        isMemberAccessChainExpression,
         isUnaryExpression,
         isUpdateExpression,
         isVariableDeclarator,
@@ -1145,6 +1167,7 @@ declare namespace Parser {
         AssignmentOperators,
         LogicalOperators,
         BinaryOperators,
+        SafeAccessOperator,
         OperatorPrecedence,
         Position,
         SourceLocation,
@@ -1157,7 +1180,7 @@ declare namespace Parser {
         ParseOptions,
         DiagnosticCodes_2 as DiagnosticCodes,
         DiagnosticMessages_2 as DiagnosticMessages,
-        DiagnosticData_3 as DiagnosticData,
+        DiagnosticData_2 as DiagnosticData,
         DiagnosticApi,
         Diagnostic_2 as Diagnostic,
         LineComment,
@@ -1197,6 +1220,8 @@ declare namespace Parser {
         LogicalExpression,
         ComputedMemberExpression,
         MemberExpression,
+        SafeMemberExpression,
+        MemberAccessChainExpression,
         ObjectExpression,
         Property,
         TemplateLiteral,
@@ -1279,6 +1304,56 @@ declare interface ReturnStatement extends NodeBase<typeof NodeTypes.ReturnStatem
     argument: Expression | null;
 }
 
+declare const SafeAccessOperator = "?.";
+
+declare type SafeAccessOperator = typeof SafeAccessOperator;
+
+/**
+ * Define an Arcade safe computed member expression.
+ * Example: foo?.[1]
+ */
+declare interface SafeComputedMemberExpression extends NodeBase<typeof NodeTypes.SafeMemberExpression> {
+    readonly computed: true;
+    /**
+     * The object of the member expression.
+     * Example: foo?.[1]
+     * The object is foo.
+     */
+    object: Expression;
+    /**
+     * The property of the member expression.
+     * Example: foo?.[1]
+     * The property is 1.
+     */
+    property: Expression;
+}
+
+/**
+ * Define an Arcade safe member expression.
+ * Example: foo?.bar or foo?.[1]
+ */
+declare type SafeMemberExpression = SafeComputedMemberExpression | SafeNonComputedMemberExpression;
+
+/**
+ * Define an Arcade safe non-computed member expression.
+ * Example: foo?.bar
+ */
+declare interface SafeNonComputedMemberExpression extends NodeBase<typeof NodeTypes.SafeMemberExpression> {
+    readonly computed: false;
+    /**
+     * The object of the member expression.
+     * Example: foo?.bar
+     * The object is foo.
+     */
+    object: Expression;
+    /**
+     * The property of the member expression.
+     * Example: foo?.bar
+     * The property is bar.
+     */
+    property: Identifier;
+}
+
 /**
  * Describe a range in the source code between two positions as [start, end].
  * Start is inclusive and end is exclusive.
@@ -1435,7 +1510,7 @@ declare interface UnaryExpression extends NodeBase<typeof NodeTypes.UnaryExpress
 /**
  * Arcade unary operators.
  */
-declare const UnaryOperators: readonly string[];
+declare const UnaryOperators: readonly ["-", "+", "!", "~"];
 
 /**
  * Arcade unary operators.
@@ -1470,7 +1545,7 @@ declare interface UpdateExpression extends NodeBase<typeof NodeTypes.UpdateExpre
 /**
  * Arcade update operators.
  */
-declare const UpdateOperators: readonly string[];
+declare const UpdateOperators: readonly ["++", "--"];
 
 /**
  * Arcade update operators.