@aster-cloud/aster-lang-ts 0.0.16 → 0.0.18

package/dist/test/unit/parser/compound-context.test.js

@@ -0,0 +1,85 @@
+/**
+ * @module tests/unit/parser/compound-context.test
+ *
+ * Parser 复合上下文测试 - 验证复合关键词模式的上下文跟踪。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert';
+import { createParserContext } from '../../../src/parser/context.js';
+import { TokenKind } from '../../../src/frontend/tokens.js';
+import { KW } from '../../../src/frontend/tokens.js';
+/**
+ * 创建模拟 token 数组用于测试
+ */
+function createMockTokens() {
+    const pos = { line: 1, col: 1 };
+    return [
+        { kind: TokenKind.EOF, start: pos, end: pos, value: null },
+    ];
+}
+describe('Parser Compound Context', () => {
+    it('应正确跟踪复合模式上下文', () => {
+        const ctx = createParserContext(createMockTokens());
+        // 初始状态：不在任何复合上下文中
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), false);
+        // 进入 match 上下文
+        ctx.pushCompoundContext(KW.MATCH);
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), true);
+        // 退出 match 上下文
+        ctx.popCompoundContext();
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), false);
+    });
+    it('应支持嵌套上下文', () => {
+        const ctx = createParserContext(createMockTokens());
+        // 进入 match 上下文
+        ctx.pushCompoundContext(KW.MATCH);
+        // 进入 if 上下文（嵌套）
+        ctx.pushCompoundContext(KW.IF);
+        // 两个上下文都应处于活动状态
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), true);
+        assert.strictEqual(ctx.inCompoundContext(KW.IF), true);
+        // 退出 if 上下文
+        ctx.popCompoundContext();
+        assert.strictEqual(ctx.inCompoundContext(KW.IF), false);
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), true);
+        // 退出 match 上下文
+        ctx.popCompoundContext();
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), false);
+    });
+    it('应正确处理空栈弹出', () => {
+        const ctx = createParserContext(createMockTokens());
+        // 空栈弹出不应抛出异常
+        ctx.popCompoundContext();
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), false);
+    });
+    it('compoundContextStack 应可直接访问', () => {
+        const ctx = createParserContext(createMockTokens());
+        // 验证初始状态
+        assert.strictEqual(ctx.compoundContextStack.length, 0);
+        // 添加上下文
+        ctx.pushCompoundContext(KW.MATCH);
+        assert.strictEqual(ctx.compoundContextStack.length, 1);
+        assert.strictEqual(ctx.compoundContextStack[0], KW.MATCH);
+        // 嵌套上下文
+        ctx.pushCompoundContext(KW.IF);
+        assert.strictEqual(ctx.compoundContextStack.length, 2);
+        assert.strictEqual(ctx.compoundContextStack[1], KW.IF);
+    });
+    it('应在多次进入同一上下文时正确跟踪', () => {
+        const ctx = createParserContext(createMockTokens());
+        // 进入 match 上下文两次
+        ctx.pushCompoundContext(KW.MATCH);
+        ctx.pushCompoundContext(KW.MATCH);
+        assert.strictEqual(ctx.compoundContextStack.length, 2);
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), true);
+        // 退出一次
+        ctx.popCompoundContext();
+        assert.strictEqual(ctx.compoundContextStack.length, 1);
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), true);
+        // 再退出一次
+        ctx.popCompoundContext();
+        assert.strictEqual(ctx.compoundContextStack.length, 0);
+        assert.strictEqual(ctx.inCompoundContext(KW.MATCH), false);
+    });
+});
+//# sourceMappingURL=compound-context.test.js.map

package/dist/test/unit/parser/compound-context.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compound-context.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/compound-context.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,aAAa,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,EAAE,EAAE,MAAM,iCAAiC,CAAC;AAGrD;;GAEG;AACH,SAAS,gBAAgB;IACvB,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAChC,OAAO;QACL,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAEpD,kBAAkB;QAClB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAE3D,eAAe;QACf,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAE1D,eAAe;QACf,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;QAClB,MAAM,GAAG,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAEpD,eAAe;QACf,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,gBAAgB;QAChB,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAE/B,gBAAgB;QAChB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAEvD,YAAY;QACZ,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAE1D,eAAe;QACf,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,GAAG,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAEpD,aAAa;QACb,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAEpD,SAAS;QACT,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAEvD,QAAQ;QACR,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QAE1D,QAAQ;QACR,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAEpD,iBAAiB;QACjB,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAElC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAE1D,OAAO;QACP,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAE1D,QAAQ;QACR,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aster-cloud/aster-lang-ts",
-  "version": "0.0.16",
+  "version": "0.0.18",
   "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
   "type": "module",
   "main": "./dist/src/index.js",
@@ -77,40 +77,6 @@
     "aster-lsp": "./dist/src/lsp/server.js",
     "aster-convert": "./dist/src/cli/policy-converter.js"
   },
-  "scripts": {
-    "build": "tsc && node dist/scripts/build-peg.js",
-    "build:browser": "pnpm run build && node scripts/build-browser.js",
-    "build:watch": "tsc --watch",
-    "clean": "rm -rf dist",
-    "dev": "pnpm run build:watch",
-    "test": "pnpm run build && pnpm run test:unit:run && pnpm run test:integration:run",
-    "test:unit": "pnpm run build && pnpm run test:unit:run",
-    "test:unit:run": "node --test 'dist/test/unit/**/*.test.js' 'dist/test/type-checker/**/*.test.js'",
-    "test:unit:coverage": "pnpm run build && c8 node --test 'dist/test/unit/**/*.test.js' 'dist/test/type-checker/**/*.test.js'",
-    "test:integration": "pnpm run build && pnpm run test:integration:run",
-    "test:integration:run": "node --test 'dist/test/integration/**/*.test.js'",
-    "test:golden": "pnpm run build && pnpm run test:golden:run",
-    "test:golden:run": "node dist/scripts/golden.js",
-    "test:property": "pnpm run build && pnpm run test:property:run",
-    "test:property:run": "node --test 'dist/test/property/**/*.test.js'",
-    "test:fuzz": "pnpm run build && pnpm run test:fuzz:run",
-    "test:fuzz:run": "node --test 'dist/test/fuzz/**/*.test.js'",
-    "test:lsp": "pnpm run build && pnpm run test:lsp:run",
-    "test:lsp:run": "node dist/test/property/lsp-props.test.js",
-    "test:converter": "pnpm run build && pnpm run test:converter:run",
-    "test:converter:run": "node --test 'dist/test/policy-converter/**/*.test.js'",
-    "coverage:report": "c8 report --reporter=html --reporter=text",
-    "coverage:check": "c8 check-coverage --lines 75 --functions 75 --branches 70",
-    "lint": "eslint src scripts --ext .ts",
-    "lint:fix": "eslint src scripts --ext .ts --fix",
-    "format": "prettier --write src scripts",
-    "format:check": "prettier --check src scripts",
-    "typecheck": "tsc --noEmit",
-    "lsp": "node dist/src/lsp/server.js --stdio",
-    "repl": "node dist/scripts/repl.js",
-    "docs:api": "typedoc --options typedoc.json",
-    "prepublishOnly": "pnpm run clean && pnpm run build && pnpm run test"
-  },
   "keywords": [
     "programming-language",
     "compiler",
@@ -134,7 +100,7 @@
   },
   "homepage": "https://aster-lang.cloud",
   "engines": {
-    "node": ">=22.0.0"
+    "node": ">=24.0.0"
   },
   "dependencies": {
     "@anthropic-ai/sdk": "^0.71.0",
@@ -177,5 +143,37 @@
   "publishConfig": {
     "access": "public"
   },
-  "packageManager": "pnpm@10.28.0+sha512.05df71d1421f21399e053fde567cea34d446fa02c76571441bfc1c7956e98e363088982d940465fd34480d4d90a0668bc12362f8aa88000a64e83d0b0e47be48"
-}
+  "scripts": {
+    "build": "tsc && node dist/scripts/build-peg.js",
+    "build:browser": "pnpm run build && node scripts/build-browser.js",
+    "build:watch": "tsc --watch",
+    "clean": "rm -rf dist",
+    "dev": "pnpm run build:watch",
+    "test": "pnpm run build && pnpm run test:unit:run && pnpm run test:integration:run",
+    "test:unit": "pnpm run build && pnpm run test:unit:run",
+    "test:unit:run": "node --test 'dist/test/unit/**/*.test.js' 'dist/test/type-checker/**/*.test.js'",
+    "test:unit:coverage": "pnpm run build && c8 node --test 'dist/test/unit/**/*.test.js' 'dist/test/type-checker/**/*.test.js'",
+    "test:integration": "pnpm run build && pnpm run test:integration:run",
+    "test:integration:run": "node --test 'dist/test/integration/**/*.test.js'",
+    "test:golden": "pnpm run build && pnpm run test:golden:run",
+    "test:golden:run": "node dist/scripts/golden.js",
+    "test:property": "pnpm run build && pnpm run test:property:run",
+    "test:property:run": "node --test 'dist/test/property/**/*.test.js'",
+    "test:fuzz": "pnpm run build && pnpm run test:fuzz:run",
+    "test:fuzz:run": "node --test 'dist/test/fuzz/**/*.test.js'",
+    "test:lsp": "pnpm run build && pnpm run test:lsp:run",
+    "test:lsp:run": "node dist/test/property/lsp-props.test.js",
+    "test:converter": "pnpm run build && pnpm run test:converter:run",
+    "test:converter:run": "node --test 'dist/test/policy-converter/**/*.test.js'",
+    "coverage:report": "c8 report --reporter=html --reporter=text",
+    "coverage:check": "c8 check-coverage --lines 75 --functions 75 --branches 70",
+    "lint": "eslint src scripts --ext .ts",
+    "lint:fix": "eslint src scripts --ext .ts --fix",
+    "format": "prettier --write src scripts",
+    "format:check": "prettier --check src scripts",
+    "typecheck": "tsc --noEmit",
+    "lsp": "node dist/src/lsp/server.js --stdio",
+    "repl": "node dist/scripts/repl.js",
+    "docs:api": "typedoc --options typedoc.json"
+  }
+}