@nudojs/parser 0.1.0 → 0.3.0

package/CHANGELOG.md

@@ -1,5 +1,36 @@
 # @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
+
+- 6c38283: docs and ci
+- 9f7f819: fix pkg info
+- c175f71: version
+
+### Patch Changes
+
+- Updated dependencies [6c38283]
+- Updated dependencies [9f7f819]
+- Updated dependencies [c175f71]
+  - @nudojs/core@0.2.0
+
 ## 0.1.0
 
 ### Minor Changes

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Nudo Contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

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 };