@nudojs/parser 0.2.0 → 0.3.0

package/CHANGELOG.md

@@ -1,5 +1,21 @@
 # @nudojs/parser
 
+## 0.3.0
+
+### Minor Changes
+
+- 5786fa5: Improve `@nudo:mock` parsing for sinon-style stubs and share parse/strip with core.
+
+  - Support `stub().onFirstCall()`, `stub().callsFake(fn)`, and `sinon.`-prefixed chains as the same MockHelper shape TypeValue/Abs already consume.
+  - Drop the unused `ReturnsDirective` / `@nudo:returns` directive type (contracts use `@nudo:refine`).
+  - `parse()` now strips types unconditionally via core `parseSource` (shared AST cache).
+
+### Patch Changes
+
+- Updated dependencies [5786fa5]
+- Updated dependencies [5786fa5]
+  - @nudojs/core@0.3.0
+
 ## 0.2.0
 
 ### Minor Changes

package/README.md

@@ -0,0 +1,25 @@
+# @nudojs/parser
+
+Babel-based parser and directive extraction for [Nudo](https://github.com/nudojs/nudo).
+
+## What is Nudo?
+
+Nudo is a type inference engine for JavaScript. Instead of a separate type system, it runs your code with symbolic type values via abstract interpretation — no TypeScript, no build step.
+
+## This package
+
+`@nudojs/parser` handles source code parsing and Nudo directive extraction:
+
+- **Parsing** — wraps Babel parser for JavaScript/TypeScript source files
+- **Directives** — extracts `@nudo:case`, `@nudo:mock`, `@nudo:pure`, `@nudo:skip`, `@nudo:sample`, `@nudo:env`, `@nudo:mock-module`, `@nudo:as`, and `@nudo:replace` from comments. `@nudo:refine` / `@nudo:import` are parsed in `@nudojs/core` (`algebra/refine.ts`).
+- **Type expressions** — parses inline type value expressions used in directives
+
+## Install
+
+```bash
+npm install @nudojs/parser
+```
+
+## License
+
+[MIT](https://github.com/nudojs/nudo/blob/main/LICENSE)

package/dist/index.d.ts

@@ -1,7 +1,19 @@
 import { File, Node } from '@babel/types';
-import { TypeValue } from '@nudojs/core';
+import { TypeValue, MockHelper } from '@nudojs/core';
+export { stripTypes } from '@nudojs/core';
 
-declare function parse(source: string): File;
+/**
+ * 与 core `parseSource` 同一实现与 AST LRU：
+ * 决策：parse() 统一做 TS 剥除（不按 .ts 路径开关）。理由：parse() 的产物被
+ * CLI/service/LSP/evaluator 全链消费，按调用方 opt-in 会漏掉无法感知文件扩展名
+ * 的消费方（analyzer 的模块解析、LSP 等）；对纯 JS 源码剥除是结构性 no-op，
+ * 默认行为不变，因此无条件执行可让 .ts 输入在所有入口零接线生效。
+ *
+ * errorRecovery 走 core 的非缓存路径，避免污染会话 AST。
+ */
+declare function parse(source: string, opts?: {
+    errorRecovery?: boolean;
+}): File;
 
 type CaseDirective = {
     kind: "case";
@@ -15,6 +27,19 @@ type MockDirective = {
     name: string;
     expression?: string;
     fromPath?: string;
+    arrowFn?: {
+        params: string[];
+        body: Node;
+        paramPatterns: Node[];
+    };
+    sinonExpr?: SinonExpression;
+    nudoMock?: MockHelper;
+};
+type SinonExpression = {
+    type: "stub" | "spy" | "mock";
+    returnValue?: TypeValue;
+    resolvedValue?: TypeValue;
+    rejectedValue?: TypeValue;
 };
 type PureDirective = {
     kind: "pure";
@@ -27,11 +52,28 @@ type SampleDirective = {
     kind: "sample";
     count: number;
 };
-type ReturnsDirective = {
-    kind: "returns";
-    expected: TypeValue;
+type EnvDirective = {
+    kind: "env";
+    envs: string[];
+};
+type MockModuleDirective = {
+    kind: "mock-module";
+    source: string;
+    names?: string[];
+    fromPath: string;
+};
+type AsDirective = {
+    kind: "as";
+    typeExpr: TypeValue;
+};
+type ReplaceDirective = {
+    kind: "replace";
+    targetSource: string;
+    typeExpr: TypeValue;
 };
-type Directive = CaseDirective | MockDirective | PureDirective | SkipDirective | SampleDirective | ReturnsDirective;
+type InlineDirective = AsDirective | ReplaceDirective;
+type FileDirective = EnvDirective | MockModuleDirective;
+type Directive = CaseDirective | MockDirective | PureDirective | SkipDirective | SampleDirective;
 type FunctionWithDirectives = {
     node: Node;
     name: string;
@@ -39,5 +81,7 @@ type FunctionWithDirectives = {
 };
 declare function parseTypeValueExpr(expr: string): TypeValue;
 declare function extractDirectives(ast: Node): FunctionWithDirectives[];
+declare function extractInlineDirectives(node: Node): InlineDirective[];
+declare function extractFileDirectives(ast: Node): FileDirective[];
 
-export { type CaseDirective, type Directive, type FunctionWithDirectives, type MockDirective, type PureDirective, type ReturnsDirective, type SampleDirective, type SkipDirective, extractDirectives, parse, parseTypeValueExpr };
+export { type AsDirective, type CaseDirective, type Directive, type EnvDirective, type FileDirective, type FunctionWithDirectives, type InlineDirective, type MockDirective, type MockModuleDirective, type PureDirective, type ReplaceDirective, type SampleDirective, type SinonExpression, type SkipDirective, extractDirectives, extractFileDirectives, extractInlineDirectives, parse, parseTypeValueExpr };