@intend-it/parser 1.3.1 → 1.3.3

package/README.md

@@ -113,6 +113,7 @@ interface IntentDeclaration {
 | **Invariants** | `invariant "rule"` | `invariant "Input must be positive"` |
 | **Ensures** | `ensure expression` | `ensure result is defined` |
 | **Imports** | `import { X } from "path"` | `import { User } from "./types"` |
+| **Context**   | `context "Message"`         | `context "Handle currency as integers"` |
 | **Entry Points** | `entry intent Main()` | `export entry intent Main() -> void` |
 
 ## Related Packages

package/dist/index.js

@@ -9145,6 +9145,7 @@ class CstParser extends Parser {
   }
 }
 // src/tokens.ts
+var Identifier = createToken({ name: "Identifier", pattern: /[a-zA-Z_]\w*/ });
 var LineComment = createToken({
   name: "LineComment",
   pattern: /\/\/[^\n\r]*/,
@@ -9155,19 +9156,20 @@ var BlockComment = createToken({
   pattern: /\/\*[\s\S]*?\*\//,
   group: Lexer.SKIPPED
 });
-var Import = createToken({ name: "Import", pattern: /import/ });
-var From = createToken({ name: "From", pattern: /from/ });
-var Intent = createToken({ name: "Intent", pattern: /intent/ });
-var Export = createToken({ name: "Export", pattern: /export/ });
-var Invariant = createToken({ name: "Invariant", pattern: /invariant/ });
-var Step = createToken({ name: "Step", pattern: /step/ });
-var Ensure = createToken({ name: "Ensure", pattern: /ensure/ });
-var Const = createToken({ name: "Const", pattern: /const/ });
-var Is = createToken({ name: "Is", pattern: /is/ });
-var Defined = createToken({ name: "Defined", pattern: /defined/ });
-var Entry = createToken({ name: "Entry", pattern: /entry/ });
-var Let = createToken({ name: "Let", pattern: /let/ });
-var Return = createToken({ name: "Return", pattern: /return/ });
+var Import = createToken({ name: "Import", pattern: /import/, longer_alt: Identifier });
+var From = createToken({ name: "From", pattern: /from/, longer_alt: Identifier });
+var Intent = createToken({ name: "Intent", pattern: /intent/, longer_alt: Identifier });
+var Context = createToken({ name: "Context", pattern: /context/, longer_alt: Identifier });
+var Export = createToken({ name: "Export", pattern: /export/, longer_alt: Identifier });
+var Invariant = createToken({ name: "Invariant", pattern: /invariant/, longer_alt: Identifier });
+var Step = createToken({ name: "Step", pattern: /step/, longer_alt: Identifier });
+var Ensure = createToken({ name: "Ensure", pattern: /ensure/, longer_alt: Identifier });
+var Const = createToken({ name: "Const", pattern: /const/, longer_alt: Identifier });
+var Is = createToken({ name: "Is", pattern: /is/, longer_alt: Identifier });
+var Defined = createToken({ name: "Defined", pattern: /defined/, longer_alt: Identifier });
+var Entry = createToken({ name: "Entry", pattern: /entry/, longer_alt: Identifier });
+var Let = createToken({ name: "Let", pattern: /let/, longer_alt: Identifier });
+var Return = createToken({ name: "Return", pattern: /return/, longer_alt: Identifier });
 var LCurly = createToken({ name: "LCurly", pattern: /{/ });
 var RCurly = createToken({ name: "RCurly", pattern: /}/ });
 var LParen = createToken({ name: "LParen", pattern: /\(/ });
@@ -9191,7 +9193,6 @@ var StringLiteral = createToken({
   line_breaks: true
 });
 var NumberLiteral = createToken({ name: "NumberLiteral", pattern: /-?\d+(\.\d+)?/ });
-var Identifier = createToken({ name: "Identifier", pattern: /[a-zA-Z_]\w*/ });
 var WhiteSpace = createToken({
   name: "WhiteSpace",
   pattern: /\s+/,
@@ -9205,6 +9206,7 @@ var allTokens = [
   From,
   Export,
   Intent,
+  Context,
   Invariant,
   Step,
   Ensure,
@@ -9243,6 +9245,9 @@ class IntendParser extends CstParser {
     this.performSelfAnalysis();
   }
   intendFile = this.RULE("intendFile", () => {
+    this.OPTION(() => {
+      this.SUBRULE(this.contextStatement);
+    });
     this.MANY(() => {
       this.SUBRULE(this.importStatement);
     });
@@ -9250,6 +9255,13 @@ class IntendParser extends CstParser {
       this.SUBRULE(this.intentDeclaration);
     });
   });
+  contextStatement = this.RULE("contextStatement", () => {
+    this.CONSUME(Context);
+    this.CONSUME(StringLiteral);
+    this.OPTION(() => {
+      this.CONSUME(Semicolon);
+    });
+  });
   intentDeclaration = this.RULE("intentDeclaration", () => {
     this.CONSUME(Export);
     this.OPTION3(() => {
@@ -9338,18 +9350,27 @@ class IntendParser extends CstParser {
     this.OPTION(() => {
       this.CONSUME(FatArrow);
       this.OR([
-        { ALT: () => this.CONSUME(Const) },
-        { ALT: () => this.CONSUME(Let) }
+        { ALT: () => {
+          this.OR2([
+            { ALT: () => this.CONSUME(Const) },
+            { ALT: () => this.CONSUME(Let) }
+          ]);
+          this.CONSUME(Identifier, { LABEL: "ResultVar" });
+          this.OPTION2(() => {
+            this.CONSUME(Colon);
+            this.CONSUME2(Identifier, { LABEL: "ResultType" });
+            this.OPTION3(() => {
+              this.CONSUME(LBracket);
+              this.CONSUME(RBracket);
+            });
+          });
+        } },
+        { ALT: () => {
+          this.CONSUME(LCurly);
+          this.SUBRULE(this.body);
+          this.CONSUME(RCurly);
+        } }
       ]);
-      this.CONSUME(Identifier, { LABEL: "ResultVar" });
-      this.OPTION2(() => {
-        this.CONSUME(Colon);
-        this.CONSUME2(Identifier, { LABEL: "ResultType" });
-        this.OPTION3(() => {
-          this.CONSUME(LBracket);
-          this.CONSUME(RBracket);
-        });
-      });
     });
   });
   ensureStatement = this.RULE("ensureStatement", () => {
@@ -9365,7 +9386,8 @@ class IntendParser extends CstParser {
         { ALT: () => this.CONSUME(LessThan) },
         { ALT: () => this.CONSUME(Is) },
         { ALT: () => this.CONSUME(Defined) },
-        { ALT: () => this.CONSUME(StringLiteral) }
+        { ALT: () => this.CONSUME(StringLiteral) },
+        { ALT: () => this.CONSUME(NumberLiteral) }
       ]);
     });
   });
@@ -9421,14 +9443,19 @@ class IntendASTVisitor extends BaseIntendVisitor {
     this.validateVisitor();
   }
   intendFile(ctx) {
+    const context = ctx.contextStatement ? this.visit(ctx.contextStatement[0]) : undefined;
     const imports = ctx.importStatement ? ctx.importStatement.map((imp) => this.visit(imp)) : [];
     const intents = ctx.intentDeclaration ? ctx.intentDeclaration.map((d) => this.visit(d)) : [];
     return {
       type: "IntendFile",
+      context,
       imports,
       intents
     };
   }
+  contextStatement(ctx) {
+    return this.unquoteString(ctx.StringLiteral[0].image);
+  }
   intentDeclaration(ctx) {
     const entryPoint = !!ctx.Entry && ctx.Entry.length > 0;
     const name = ctx.Identifier[0].image;
@@ -9588,7 +9615,8 @@ class IntendASTVisitor extends BaseIntendVisitor {
       ...ctx.LessThan || [],
       ...ctx.Is || [],
       ...ctx.Defined || [],
-      ...ctx.StringLiteral || []
+      ...ctx.StringLiteral || [],
+      ...ctx.NumberLiteral || []
     ];
     tokens.sort((a, b) => a.startOffset - b.startOffset);
     let expression = "";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intend-it/parser",
-  "version": "1.3.1",
+  "version": "1.3.3",
   "description": "Parser for the Intend programming language",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",