@intend-it/parser 1.3.1 → 1.3.2

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

@@ -9158,6 +9158,7 @@ var BlockComment = createToken({
 var Import = createToken({ name: "Import", pattern: /import/ });
 var From = createToken({ name: "From", pattern: /from/ });
 var Intent = createToken({ name: "Intent", pattern: /intent/ });
+var Context = createToken({ name: "Context", pattern: /context/ });
 var Export = createToken({ name: "Export", pattern: /export/ });
 var Invariant = createToken({ name: "Invariant", pattern: /invariant/ });
 var Step = createToken({ name: "Step", pattern: /step/ });
@@ -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(() => {
@@ -9421,14 +9433,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;

package/package.json

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