feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
// Copyright 2018-2024 the Deno authors. All rights reserved. MIT license.
|
|
|
|
|
|
|
|
use deno_ast::swc::ast;
|
|
|
|
use deno_ast::swc::atoms::Atom;
|
|
|
|
use deno_ast::swc::common::collections::AHashSet;
|
|
|
|
use deno_ast::swc::common::comments::CommentKind;
|
|
|
|
use deno_ast::swc::common::DUMMY_SP;
|
|
|
|
use deno_ast::swc::utils as swc_utils;
|
|
|
|
use deno_ast::swc::visit::as_folder;
|
|
|
|
use deno_ast::swc::visit::FoldWith as _;
|
|
|
|
use deno_ast::swc::visit::Visit;
|
|
|
|
use deno_ast::swc::visit::VisitMut;
|
|
|
|
use deno_ast::swc::visit::VisitWith as _;
|
|
|
|
use deno_ast::MediaType;
|
|
|
|
use deno_ast::SourceRangedForSpanned as _;
|
|
|
|
use deno_core::error::AnyError;
|
|
|
|
use deno_core::ModuleSpecifier;
|
|
|
|
use regex::Regex;
|
|
|
|
use std::collections::BTreeSet;
|
|
|
|
use std::fmt::Write as _;
|
|
|
|
use std::sync::Arc;
|
|
|
|
|
|
|
|
use crate::file_fetcher::File;
|
|
|
|
use crate::util::path::mapped_specifier_for_tsc;
|
|
|
|
|
|
|
|
/// Extracts doc tests from a given file, transforms them into pseudo test
|
|
|
|
/// files by wrapping the content of the doc tests in a `Deno.test` call, and
|
|
|
|
/// returns a list of the pseudo test files.
|
|
|
|
///
|
|
|
|
/// The difference from [`extract_snippet_files`] is that this function wraps
|
|
|
|
/// extracted code snippets in a `Deno.test` call.
|
|
|
|
pub fn extract_doc_tests(file: File) -> Result<Vec<File>, AnyError> {
|
|
|
|
extract_inner(file, WrapKind::DenoTest)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Extracts code snippets from a given file and returns a list of the extracted
|
|
|
|
/// files.
|
|
|
|
///
|
|
|
|
/// The difference from [`extract_doc_tests`] is that this function does *not*
|
|
|
|
/// wrap extracted code snippets in a `Deno.test` call.
|
|
|
|
pub fn extract_snippet_files(file: File) -> Result<Vec<File>, AnyError> {
|
|
|
|
extract_inner(file, WrapKind::NoWrap)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
enum WrapKind {
|
|
|
|
DenoTest,
|
|
|
|
NoWrap,
|
|
|
|
}
|
|
|
|
|
|
|
|
fn extract_inner(
|
|
|
|
file: File,
|
|
|
|
wrap_kind: WrapKind,
|
|
|
|
) -> Result<Vec<File>, AnyError> {
|
|
|
|
let file = file.into_text_decoded()?;
|
|
|
|
|
|
|
|
let exports = match deno_ast::parse_program(deno_ast::ParseParams {
|
|
|
|
specifier: file.specifier.clone(),
|
|
|
|
text: file.source.clone(),
|
|
|
|
media_type: file.media_type,
|
|
|
|
capture_tokens: false,
|
|
|
|
scope_analysis: false,
|
|
|
|
maybe_syntax: None,
|
|
|
|
}) {
|
|
|
|
Ok(parsed) => {
|
|
|
|
let mut c = ExportCollector::default();
|
2024-11-01 12:27:00 -04:00
|
|
|
c.visit_program(parsed.program().as_ref());
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
c
|
|
|
|
}
|
|
|
|
Err(_) => ExportCollector::default(),
|
|
|
|
};
|
|
|
|
|
|
|
|
let extracted_files = if file.media_type == MediaType::Unknown {
|
|
|
|
extract_files_from_fenced_blocks(
|
|
|
|
&file.specifier,
|
|
|
|
&file.source,
|
|
|
|
file.media_type,
|
|
|
|
)?
|
|
|
|
} else {
|
|
|
|
extract_files_from_source_comments(
|
|
|
|
&file.specifier,
|
|
|
|
file.source.clone(),
|
|
|
|
file.media_type,
|
|
|
|
)?
|
|
|
|
};
|
|
|
|
|
|
|
|
extracted_files
|
|
|
|
.into_iter()
|
|
|
|
.map(|extracted_file| {
|
|
|
|
generate_pseudo_file(extracted_file, &file.specifier, &exports, wrap_kind)
|
|
|
|
})
|
|
|
|
.collect::<Result<_, _>>()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn extract_files_from_fenced_blocks(
|
|
|
|
specifier: &ModuleSpecifier,
|
|
|
|
source: &str,
|
|
|
|
media_type: MediaType,
|
|
|
|
) -> Result<Vec<File>, AnyError> {
|
|
|
|
// The pattern matches code blocks as well as anything in HTML comment syntax,
|
|
|
|
// but it stores the latter without any capturing groups. This way, a simple
|
|
|
|
// check can be done to see if a block is inside a comment (and skip typechecking)
|
|
|
|
// or not by checking for the presence of capturing groups in the matches.
|
|
|
|
let blocks_regex =
|
|
|
|
lazy_regex::regex!(r"(?s)<!--.*?-->|```([^\r\n]*)\r?\n([\S\s]*?)```");
|
|
|
|
let lines_regex = lazy_regex::regex!(r"(?:\# ?)?(.*)");
|
|
|
|
|
|
|
|
extract_files_from_regex_blocks(
|
|
|
|
specifier,
|
|
|
|
source,
|
|
|
|
media_type,
|
|
|
|
/* file line index */ 0,
|
|
|
|
blocks_regex,
|
|
|
|
lines_regex,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn extract_files_from_source_comments(
|
|
|
|
specifier: &ModuleSpecifier,
|
|
|
|
source: Arc<str>,
|
|
|
|
media_type: MediaType,
|
|
|
|
) -> Result<Vec<File>, AnyError> {
|
|
|
|
let parsed_source = deno_ast::parse_module(deno_ast::ParseParams {
|
|
|
|
specifier: specifier.clone(),
|
|
|
|
text: source,
|
|
|
|
media_type,
|
|
|
|
capture_tokens: false,
|
|
|
|
maybe_syntax: None,
|
|
|
|
scope_analysis: false,
|
|
|
|
})?;
|
|
|
|
let comments = parsed_source.comments().get_vec();
|
|
|
|
let blocks_regex = lazy_regex::regex!(r"```([^\r\n]*)\r?\n([\S\s]*?)```");
|
|
|
|
let lines_regex = lazy_regex::regex!(r"(?:\* ?)(?:\# ?)?(.*)");
|
|
|
|
|
|
|
|
let files = comments
|
|
|
|
.iter()
|
|
|
|
.filter(|comment| {
|
|
|
|
if comment.kind != CommentKind::Block || !comment.text.starts_with('*') {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
true
|
|
|
|
})
|
|
|
|
.flat_map(|comment| {
|
|
|
|
extract_files_from_regex_blocks(
|
|
|
|
specifier,
|
|
|
|
&comment.text,
|
|
|
|
media_type,
|
|
|
|
parsed_source.text_info_lazy().line_index(comment.start()),
|
|
|
|
blocks_regex,
|
|
|
|
lines_regex,
|
|
|
|
)
|
|
|
|
})
|
|
|
|
.flatten()
|
|
|
|
.collect();
|
|
|
|
|
|
|
|
Ok(files)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn extract_files_from_regex_blocks(
|
|
|
|
specifier: &ModuleSpecifier,
|
|
|
|
source: &str,
|
|
|
|
media_type: MediaType,
|
|
|
|
file_line_index: usize,
|
|
|
|
blocks_regex: &Regex,
|
|
|
|
lines_regex: &Regex,
|
|
|
|
) -> Result<Vec<File>, AnyError> {
|
|
|
|
let files = blocks_regex
|
|
|
|
.captures_iter(source)
|
|
|
|
.filter_map(|block| {
|
|
|
|
block.get(1)?;
|
|
|
|
|
|
|
|
let maybe_attributes: Option<Vec<_>> = block
|
|
|
|
.get(1)
|
|
|
|
.map(|attributes| attributes.as_str().split(' ').collect());
|
|
|
|
|
|
|
|
let file_media_type = if let Some(attributes) = maybe_attributes {
|
|
|
|
if attributes.contains(&"ignore") {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
match attributes.first() {
|
|
|
|
Some(&"js") => MediaType::JavaScript,
|
|
|
|
Some(&"javascript") => MediaType::JavaScript,
|
|
|
|
Some(&"mjs") => MediaType::Mjs,
|
|
|
|
Some(&"cjs") => MediaType::Cjs,
|
|
|
|
Some(&"jsx") => MediaType::Jsx,
|
|
|
|
Some(&"ts") => MediaType::TypeScript,
|
|
|
|
Some(&"typescript") => MediaType::TypeScript,
|
|
|
|
Some(&"mts") => MediaType::Mts,
|
|
|
|
Some(&"cts") => MediaType::Cts,
|
|
|
|
Some(&"tsx") => MediaType::Tsx,
|
|
|
|
_ => MediaType::Unknown,
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
media_type
|
|
|
|
};
|
|
|
|
|
|
|
|
if file_media_type == MediaType::Unknown {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
let line_offset = source[0..block.get(0).unwrap().start()]
|
|
|
|
.chars()
|
|
|
|
.filter(|c| *c == '\n')
|
|
|
|
.count();
|
|
|
|
|
|
|
|
let line_count = block.get(0).unwrap().as_str().split('\n').count();
|
|
|
|
|
|
|
|
let body = block.get(2).unwrap();
|
|
|
|
let text = body.as_str();
|
|
|
|
|
|
|
|
// TODO(caspervonb) generate an inline source map
|
|
|
|
let mut file_source = String::new();
|
|
|
|
for line in lines_regex.captures_iter(text) {
|
|
|
|
let text = line.get(1).unwrap();
|
|
|
|
writeln!(file_source, "{}", text.as_str()).unwrap();
|
|
|
|
}
|
|
|
|
|
|
|
|
let file_specifier = ModuleSpecifier::parse(&format!(
|
|
|
|
"{}${}-{}",
|
|
|
|
specifier,
|
|
|
|
file_line_index + line_offset + 1,
|
|
|
|
file_line_index + line_offset + line_count + 1,
|
|
|
|
))
|
|
|
|
.unwrap();
|
|
|
|
let file_specifier =
|
|
|
|
mapped_specifier_for_tsc(&file_specifier, file_media_type)
|
|
|
|
.map(|s| ModuleSpecifier::parse(&s).unwrap())
|
|
|
|
.unwrap_or(file_specifier);
|
|
|
|
|
|
|
|
Some(File {
|
|
|
|
specifier: file_specifier,
|
|
|
|
maybe_headers: None,
|
|
|
|
source: file_source.into_bytes().into(),
|
|
|
|
})
|
|
|
|
})
|
|
|
|
.collect();
|
|
|
|
|
|
|
|
Ok(files)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Default)]
|
|
|
|
struct ExportCollector {
|
|
|
|
named_exports: BTreeSet<Atom>,
|
|
|
|
default_export: Option<Atom>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ExportCollector {
|
|
|
|
fn to_import_specifiers(
|
|
|
|
&self,
|
|
|
|
symbols_to_exclude: &AHashSet<Atom>,
|
|
|
|
) -> Vec<ast::ImportSpecifier> {
|
|
|
|
let mut import_specifiers = vec![];
|
|
|
|
|
|
|
|
if let Some(default_export) = &self.default_export {
|
2024-10-14 22:21:47 -04:00
|
|
|
// If the default export conflicts with a named export, a named one
|
|
|
|
// takes precedence.
|
|
|
|
if !symbols_to_exclude.contains(default_export)
|
|
|
|
&& !self.named_exports.contains(default_export)
|
|
|
|
{
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
import_specifiers.push(ast::ImportSpecifier::Default(
|
|
|
|
ast::ImportDefaultSpecifier {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
local: ast::Ident {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
ctxt: Default::default(),
|
|
|
|
sym: default_export.clone(),
|
|
|
|
optional: false,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
for named_export in &self.named_exports {
|
|
|
|
if symbols_to_exclude.contains(named_export) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
import_specifiers.push(ast::ImportSpecifier::Named(
|
|
|
|
ast::ImportNamedSpecifier {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
local: ast::Ident {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
ctxt: Default::default(),
|
|
|
|
sym: named_export.clone(),
|
|
|
|
optional: false,
|
|
|
|
},
|
|
|
|
imported: None,
|
|
|
|
is_type_only: false,
|
|
|
|
},
|
|
|
|
));
|
|
|
|
}
|
|
|
|
|
|
|
|
import_specifiers
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Visit for ExportCollector {
|
|
|
|
fn visit_ts_module_decl(&mut self, ts_module_decl: &ast::TsModuleDecl) {
|
|
|
|
if ts_module_decl.declare {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
ts_module_decl.visit_children_with(self);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn visit_export_decl(&mut self, export_decl: &ast::ExportDecl) {
|
|
|
|
match &export_decl.decl {
|
|
|
|
ast::Decl::Class(class) => {
|
|
|
|
self.named_exports.insert(class.ident.sym.clone());
|
|
|
|
}
|
|
|
|
ast::Decl::Fn(func) => {
|
|
|
|
self.named_exports.insert(func.ident.sym.clone());
|
|
|
|
}
|
|
|
|
ast::Decl::Var(var) => {
|
|
|
|
for var_decl in &var.decls {
|
|
|
|
let atoms = extract_sym_from_pat(&var_decl.name);
|
|
|
|
self.named_exports.extend(atoms);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ast::Decl::TsEnum(ts_enum) => {
|
|
|
|
self.named_exports.insert(ts_enum.id.sym.clone());
|
|
|
|
}
|
|
|
|
ast::Decl::TsModule(ts_module) => {
|
|
|
|
if ts_module.declare {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
match &ts_module.id {
|
|
|
|
ast::TsModuleName::Ident(ident) => {
|
|
|
|
self.named_exports.insert(ident.sym.clone());
|
|
|
|
}
|
|
|
|
ast::TsModuleName::Str(s) => {
|
|
|
|
self.named_exports.insert(s.value.clone());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ast::Decl::TsTypeAlias(ts_type_alias) => {
|
|
|
|
self.named_exports.insert(ts_type_alias.id.sym.clone());
|
|
|
|
}
|
|
|
|
ast::Decl::TsInterface(ts_interface) => {
|
|
|
|
self.named_exports.insert(ts_interface.id.sym.clone());
|
|
|
|
}
|
|
|
|
ast::Decl::Using(_) => {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn visit_export_default_decl(
|
|
|
|
&mut self,
|
|
|
|
export_default_decl: &ast::ExportDefaultDecl,
|
|
|
|
) {
|
|
|
|
match &export_default_decl.decl {
|
|
|
|
ast::DefaultDecl::Class(class) => {
|
|
|
|
if let Some(ident) = &class.ident {
|
|
|
|
self.default_export = Some(ident.sym.clone());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ast::DefaultDecl::Fn(func) => {
|
|
|
|
if let Some(ident) = &func.ident {
|
|
|
|
self.default_export = Some(ident.sym.clone());
|
|
|
|
}
|
|
|
|
}
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
ast::DefaultDecl::TsInterfaceDecl(iface_decl) => {
|
|
|
|
self.default_export = Some(iface_decl.id.sym.clone());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn visit_export_default_expr(
|
|
|
|
&mut self,
|
|
|
|
export_default_expr: &ast::ExportDefaultExpr,
|
|
|
|
) {
|
|
|
|
if let ast::Expr::Ident(ident) = &*export_default_expr.expr {
|
|
|
|
self.default_export = Some(ident.sym.clone());
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn visit_export_named_specifier(
|
|
|
|
&mut self,
|
|
|
|
export_named_specifier: &ast::ExportNamedSpecifier,
|
|
|
|
) {
|
|
|
|
fn get_atom(export_name: &ast::ModuleExportName) -> Atom {
|
|
|
|
match export_name {
|
|
|
|
ast::ModuleExportName::Ident(ident) => ident.sym.clone(),
|
|
|
|
ast::ModuleExportName::Str(s) => s.value.clone(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
match &export_named_specifier.exported {
|
|
|
|
Some(exported) => {
|
|
|
|
self.named_exports.insert(get_atom(exported));
|
|
|
|
}
|
|
|
|
None => {
|
|
|
|
self
|
|
|
|
.named_exports
|
|
|
|
.insert(get_atom(&export_named_specifier.orig));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn visit_named_export(&mut self, named_export: &ast::NamedExport) {
|
|
|
|
// ExportCollector does not handle re-exports
|
|
|
|
if named_export.src.is_some() {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
named_export.visit_children_with(self);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn extract_sym_from_pat(pat: &ast::Pat) -> Vec<Atom> {
|
|
|
|
fn rec(pat: &ast::Pat, atoms: &mut Vec<Atom>) {
|
|
|
|
match pat {
|
|
|
|
ast::Pat::Ident(binding_ident) => {
|
|
|
|
atoms.push(binding_ident.sym.clone());
|
|
|
|
}
|
|
|
|
ast::Pat::Array(array_pat) => {
|
|
|
|
for elem in array_pat.elems.iter().flatten() {
|
|
|
|
rec(elem, atoms);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ast::Pat::Rest(rest_pat) => {
|
|
|
|
rec(&rest_pat.arg, atoms);
|
|
|
|
}
|
|
|
|
ast::Pat::Object(object_pat) => {
|
|
|
|
for prop in &object_pat.props {
|
|
|
|
match prop {
|
|
|
|
ast::ObjectPatProp::Assign(assign_pat_prop) => {
|
|
|
|
atoms.push(assign_pat_prop.key.sym.clone());
|
|
|
|
}
|
|
|
|
ast::ObjectPatProp::KeyValue(key_value_pat_prop) => {
|
|
|
|
rec(&key_value_pat_prop.value, atoms);
|
|
|
|
}
|
|
|
|
ast::ObjectPatProp::Rest(rest_pat) => {
|
|
|
|
rec(&rest_pat.arg, atoms);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ast::Pat::Assign(assign_pat) => {
|
|
|
|
rec(&assign_pat.left, atoms);
|
|
|
|
}
|
|
|
|
ast::Pat::Invalid(_) | ast::Pat::Expr(_) => {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut atoms = vec![];
|
|
|
|
rec(pat, &mut atoms);
|
|
|
|
atoms
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Generates a "pseudo" file from a given file by applying the following
|
|
|
|
/// transformations:
|
|
|
|
///
|
|
|
|
/// 1. Injects `import` statements for expoted items from the base file
|
|
|
|
/// 2. If `wrap_kind` is [`WrapKind::DenoTest`], wraps the content of the file
|
|
|
|
/// in a `Deno.test` call.
|
|
|
|
///
|
|
|
|
/// For example, given a file that looks like:
|
|
|
|
///
|
|
|
|
/// ```ts
|
|
|
|
/// import { assertEquals } from "@std/assert/equals";
|
|
|
|
///
|
|
|
|
/// assertEquals(increment(1), 2);
|
|
|
|
/// ```
|
|
|
|
///
|
|
|
|
/// and the base file (from which the above snippet was extracted):
|
|
|
|
///
|
|
|
|
/// ```ts
|
|
|
|
/// export function increment(n: number): number {
|
|
|
|
/// return n + 1;
|
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// export const SOME_CONST = "HELLO";
|
|
|
|
/// ```
|
|
|
|
///
|
|
|
|
/// The generated pseudo test file would look like (if `wrap_in_deno_test` is enabled):
|
|
|
|
///
|
|
|
|
/// ```ts
|
|
|
|
/// import { assertEquals } from "@std/assert/equals";
|
|
|
|
/// import { increment, SOME_CONST } from "./base.ts";
|
|
|
|
///
|
|
|
|
/// Deno.test("./base.ts$1-3.ts", async () => {
|
|
|
|
/// assertEquals(increment(1), 2);
|
|
|
|
/// });
|
|
|
|
/// ```
|
|
|
|
///
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
/// # Edge case 1 - duplicate identifier
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
///
|
|
|
|
/// If a given file imports, say, `doSomething` from an external module while
|
|
|
|
/// the base file exports `doSomething` as well, the generated pseudo test file
|
|
|
|
/// would end up having two duplciate imports for `doSomething`, causing the
|
|
|
|
/// duplicate identifier error.
|
|
|
|
///
|
|
|
|
/// To avoid this issue, when a given file imports `doSomething`, this takes
|
|
|
|
/// precedence over the automatic import injection for the base file's
|
|
|
|
/// `doSomething`. So the generated pseudo test file would look like:
|
|
|
|
///
|
|
|
|
/// ```ts
|
|
|
|
/// import { assertEquals } from "@std/assert/equals";
|
|
|
|
/// import { doSomething } from "./some_external_module.ts";
|
|
|
|
///
|
|
|
|
/// Deno.test("./base.ts$1-3.ts", async () => {
|
|
|
|
/// assertEquals(doSomething(1), 2);
|
|
|
|
/// });
|
|
|
|
/// ```
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
///
|
|
|
|
/// # Edge case 2 - exports can't be put inside `Deno.test` blocks
|
|
|
|
///
|
|
|
|
/// All exports like `export const foo = 42` must be at the top level of the
|
|
|
|
/// module, making it impossible to wrap exports in `Deno.test` blocks. For
|
|
|
|
/// example, when the following code snippet is provided:
|
|
|
|
///
|
|
|
|
/// ```ts
|
|
|
|
/// const logger = createLogger("my-awesome-module");
|
|
|
|
///
|
|
|
|
/// export function sum(a: number, b: number): number {
|
|
|
|
/// logger.debug("sum called");
|
|
|
|
/// return a + b;
|
|
|
|
/// }
|
|
|
|
/// ```
|
|
|
|
///
|
|
|
|
/// If we applied the naive transformation to this, the generated pseudo test
|
|
|
|
/// file would look like:
|
|
|
|
///
|
|
|
|
/// ```ts
|
|
|
|
/// Deno.test("./base.ts$1-7.ts", async () => {
|
|
|
|
/// const logger = createLogger("my-awesome-module");
|
|
|
|
///
|
|
|
|
/// export function sum(a: number, b: number): number {
|
|
|
|
/// logger.debug("sum called");
|
|
|
|
/// return a + b;
|
|
|
|
/// }
|
|
|
|
/// });
|
|
|
|
/// ```
|
|
|
|
///
|
|
|
|
/// But obviously this violates the rule because `export function sum` is not
|
|
|
|
/// at the top level of the module.
|
|
|
|
///
|
|
|
|
/// To address this issue, the `export` keyword is removed so that the item can
|
|
|
|
/// stay in the `Deno.test` block's scope:
|
|
|
|
///
|
|
|
|
/// ```ts
|
|
|
|
/// Deno.test("./base.ts$1-7.ts", async () => {
|
|
|
|
/// const logger = createLogger("my-awesome-module");
|
|
|
|
///
|
|
|
|
/// function sum(a: number, b: number): number {
|
|
|
|
/// logger.debug("sum called");
|
|
|
|
/// return a + b;
|
|
|
|
/// }
|
|
|
|
/// });
|
|
|
|
/// ```
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
fn generate_pseudo_file(
|
|
|
|
file: File,
|
|
|
|
base_file_specifier: &ModuleSpecifier,
|
|
|
|
exports: &ExportCollector,
|
|
|
|
wrap_kind: WrapKind,
|
|
|
|
) -> Result<File, AnyError> {
|
|
|
|
let file = file.into_text_decoded()?;
|
|
|
|
|
|
|
|
let parsed = deno_ast::parse_program(deno_ast::ParseParams {
|
|
|
|
specifier: file.specifier.clone(),
|
|
|
|
text: file.source,
|
|
|
|
media_type: file.media_type,
|
|
|
|
capture_tokens: false,
|
|
|
|
scope_analysis: true,
|
|
|
|
maybe_syntax: None,
|
|
|
|
})?;
|
|
|
|
|
|
|
|
let top_level_atoms = swc_utils::collect_decls_with_ctxt::<Atom, _>(
|
2024-11-01 12:27:00 -04:00
|
|
|
&parsed.program_ref(),
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
parsed.top_level_context(),
|
|
|
|
);
|
|
|
|
|
|
|
|
let transformed =
|
|
|
|
parsed
|
|
|
|
.program_ref()
|
2024-11-01 12:27:00 -04:00
|
|
|
.to_owned()
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
.fold_with(&mut as_folder(Transform {
|
|
|
|
specifier: &file.specifier,
|
|
|
|
base_file_specifier,
|
|
|
|
exports_from_base: exports,
|
|
|
|
atoms_to_be_excluded_from_import: top_level_atoms,
|
|
|
|
wrap_kind,
|
|
|
|
}));
|
|
|
|
|
|
|
|
let source = deno_ast::swc::codegen::to_code(&transformed);
|
|
|
|
|
|
|
|
log::debug!("{}:\n{}", file.specifier, source);
|
|
|
|
|
|
|
|
Ok(File {
|
|
|
|
specifier: file.specifier,
|
|
|
|
maybe_headers: None,
|
|
|
|
source: source.into_bytes().into(),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
struct Transform<'a> {
|
|
|
|
specifier: &'a ModuleSpecifier,
|
|
|
|
base_file_specifier: &'a ModuleSpecifier,
|
|
|
|
exports_from_base: &'a ExportCollector,
|
|
|
|
atoms_to_be_excluded_from_import: AHashSet<Atom>,
|
|
|
|
wrap_kind: WrapKind,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> VisitMut for Transform<'a> {
|
|
|
|
fn visit_mut_program(&mut self, node: &mut ast::Program) {
|
|
|
|
let new_module_items = match node {
|
|
|
|
ast::Program::Module(module) => {
|
|
|
|
let mut module_decls = vec![];
|
|
|
|
let mut stmts = vec![];
|
|
|
|
|
|
|
|
for item in &module.body {
|
|
|
|
match item {
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
ast::ModuleItem::ModuleDecl(decl) => match self.wrap_kind {
|
|
|
|
WrapKind::NoWrap => {
|
|
|
|
module_decls.push(decl.clone());
|
|
|
|
}
|
|
|
|
// We remove `export` keywords so that they can be put inside
|
|
|
|
// `Deno.test` block scope.
|
|
|
|
WrapKind::DenoTest => match decl {
|
|
|
|
ast::ModuleDecl::ExportDecl(export_decl) => {
|
|
|
|
stmts.push(ast::Stmt::Decl(export_decl.decl.clone()));
|
|
|
|
}
|
|
|
|
ast::ModuleDecl::ExportDefaultDecl(export_default_decl) => {
|
|
|
|
let stmt = match &export_default_decl.decl {
|
|
|
|
ast::DefaultDecl::Class(class) => {
|
|
|
|
let expr = ast::Expr::Class(class.clone());
|
|
|
|
ast::Stmt::Expr(ast::ExprStmt {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
expr: Box::new(expr),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ast::DefaultDecl::Fn(func) => {
|
|
|
|
let expr = ast::Expr::Fn(func.clone());
|
|
|
|
ast::Stmt::Expr(ast::ExprStmt {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
expr: Box::new(expr),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ast::DefaultDecl::TsInterfaceDecl(ts_interface_decl) => {
|
|
|
|
ast::Stmt::Decl(ast::Decl::TsInterface(
|
|
|
|
ts_interface_decl.clone(),
|
|
|
|
))
|
|
|
|
}
|
|
|
|
};
|
|
|
|
stmts.push(stmt);
|
|
|
|
}
|
|
|
|
ast::ModuleDecl::ExportDefaultExpr(export_default_expr) => {
|
|
|
|
stmts.push(ast::Stmt::Expr(ast::ExprStmt {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
expr: export_default_expr.expr.clone(),
|
|
|
|
}));
|
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
module_decls.push(decl.clone());
|
|
|
|
}
|
|
|
|
},
|
|
|
|
},
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
ast::ModuleItem::Stmt(stmt) => {
|
|
|
|
stmts.push(stmt.clone());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut transformed_items = vec![];
|
|
|
|
transformed_items
|
|
|
|
.extend(module_decls.into_iter().map(ast::ModuleItem::ModuleDecl));
|
|
|
|
let import_specifiers = self
|
|
|
|
.exports_from_base
|
|
|
|
.to_import_specifiers(&self.atoms_to_be_excluded_from_import);
|
|
|
|
if !import_specifiers.is_empty() {
|
|
|
|
transformed_items.push(ast::ModuleItem::ModuleDecl(
|
|
|
|
ast::ModuleDecl::Import(ast::ImportDecl {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
specifiers: import_specifiers,
|
|
|
|
src: Box::new(ast::Str {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
value: self.base_file_specifier.to_string().into(),
|
|
|
|
raw: None,
|
|
|
|
}),
|
|
|
|
type_only: false,
|
|
|
|
with: None,
|
|
|
|
phase: ast::ImportPhase::Evaluation,
|
|
|
|
}),
|
|
|
|
));
|
|
|
|
}
|
|
|
|
match self.wrap_kind {
|
|
|
|
WrapKind::DenoTest => {
|
|
|
|
transformed_items.push(ast::ModuleItem::Stmt(wrap_in_deno_test(
|
|
|
|
stmts,
|
|
|
|
self.specifier.to_string().into(),
|
|
|
|
)));
|
|
|
|
}
|
|
|
|
WrapKind::NoWrap => {
|
|
|
|
transformed_items
|
|
|
|
.extend(stmts.into_iter().map(ast::ModuleItem::Stmt));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
transformed_items
|
|
|
|
}
|
|
|
|
ast::Program::Script(script) => {
|
|
|
|
let mut transformed_items = vec![];
|
|
|
|
|
|
|
|
let import_specifiers = self
|
|
|
|
.exports_from_base
|
|
|
|
.to_import_specifiers(&self.atoms_to_be_excluded_from_import);
|
|
|
|
if !import_specifiers.is_empty() {
|
|
|
|
transformed_items.push(ast::ModuleItem::ModuleDecl(
|
|
|
|
ast::ModuleDecl::Import(ast::ImportDecl {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
specifiers: import_specifiers,
|
|
|
|
src: Box::new(ast::Str {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
value: self.base_file_specifier.to_string().into(),
|
|
|
|
raw: None,
|
|
|
|
}),
|
|
|
|
type_only: false,
|
|
|
|
with: None,
|
|
|
|
phase: ast::ImportPhase::Evaluation,
|
|
|
|
}),
|
|
|
|
));
|
|
|
|
}
|
|
|
|
|
|
|
|
match self.wrap_kind {
|
|
|
|
WrapKind::DenoTest => {
|
|
|
|
transformed_items.push(ast::ModuleItem::Stmt(wrap_in_deno_test(
|
|
|
|
script.body.clone(),
|
|
|
|
self.specifier.to_string().into(),
|
|
|
|
)));
|
|
|
|
}
|
|
|
|
WrapKind::NoWrap => {
|
|
|
|
transformed_items.extend(
|
|
|
|
script.body.clone().into_iter().map(ast::ModuleItem::Stmt),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
transformed_items
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
*node = ast::Program::Module(ast::Module {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
body: new_module_items,
|
|
|
|
shebang: None,
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wrap_in_deno_test(stmts: Vec<ast::Stmt>, test_name: Atom) -> ast::Stmt {
|
|
|
|
ast::Stmt::Expr(ast::ExprStmt {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
expr: Box::new(ast::Expr::Call(ast::CallExpr {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
callee: ast::Callee::Expr(Box::new(ast::Expr::Member(ast::MemberExpr {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
obj: Box::new(ast::Expr::Ident(ast::Ident {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
sym: "Deno".into(),
|
|
|
|
optional: false,
|
|
|
|
..Default::default()
|
|
|
|
})),
|
|
|
|
prop: ast::MemberProp::Ident(ast::IdentName {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
sym: "test".into(),
|
|
|
|
}),
|
|
|
|
}))),
|
|
|
|
args: vec![
|
|
|
|
ast::ExprOrSpread {
|
|
|
|
spread: None,
|
|
|
|
expr: Box::new(ast::Expr::Lit(ast::Lit::Str(ast::Str {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
value: test_name,
|
|
|
|
raw: None,
|
|
|
|
}))),
|
|
|
|
},
|
|
|
|
ast::ExprOrSpread {
|
|
|
|
spread: None,
|
|
|
|
expr: Box::new(ast::Expr::Arrow(ast::ArrowExpr {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
params: vec![],
|
|
|
|
body: Box::new(ast::BlockStmtOrExpr::BlockStmt(ast::BlockStmt {
|
|
|
|
span: DUMMY_SP,
|
|
|
|
stmts,
|
|
|
|
..Default::default()
|
|
|
|
})),
|
|
|
|
is_async: true,
|
|
|
|
is_generator: false,
|
|
|
|
type_params: None,
|
|
|
|
return_type: None,
|
|
|
|
..Default::default()
|
|
|
|
})),
|
|
|
|
},
|
|
|
|
],
|
|
|
|
type_args: None,
|
|
|
|
..Default::default()
|
|
|
|
})),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use super::*;
|
|
|
|
use crate::file_fetcher::TextDecodedFile;
|
|
|
|
use deno_ast::swc::atoms::Atom;
|
|
|
|
use pretty_assertions::assert_eq;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_extract_doc_tests() {
|
|
|
|
struct Input {
|
|
|
|
source: &'static str,
|
|
|
|
specifier: &'static str,
|
|
|
|
}
|
|
|
|
struct Expected {
|
|
|
|
source: &'static str,
|
|
|
|
specifier: &'static str,
|
|
|
|
media_type: MediaType,
|
|
|
|
}
|
|
|
|
struct Test {
|
|
|
|
input: Input,
|
|
|
|
expected: Vec<Expected>,
|
|
|
|
}
|
|
|
|
|
|
|
|
let tests = [
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#""#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* import { assertEquals } from "@std/assert/equal";
|
|
|
|
*
|
|
|
|
* assertEquals(add(1, 2), 3);
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function add(a: number, b: number): number {
|
|
|
|
return a + b;
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { assertEquals } from "@std/assert/equal";
|
|
|
|
import { add } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$3-8.ts", async ()=>{
|
|
|
|
assertEquals(add(1, 2), 3);
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-8.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* foo();
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function foo() {}
|
|
|
|
|
|
|
|
export default class Bar {}
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import Bar, { foo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$3-6.ts", async ()=>{
|
|
|
|
foo();
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-6.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* const input = { a: 42 } satisfies Args;
|
|
|
|
* foo(input);
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function foo(args: Args) {}
|
|
|
|
|
|
|
|
export type Args = { a: number };
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { Args, foo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$3-7.ts", async ()=>{
|
|
|
|
const input = {
|
|
|
|
a: 42
|
|
|
|
} satisfies Args;
|
|
|
|
foo(input);
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-7.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* This is a module-level doc.
|
|
|
|
*
|
|
|
|
* ```ts
|
|
|
|
* foo();
|
|
|
|
* ```
|
|
|
|
*
|
|
|
|
* @module doc
|
|
|
|
*/
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"Deno.test("file:///main.ts$5-8.ts", async ()=>{
|
|
|
|
foo();
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$5-8.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* This is a module-level doc.
|
|
|
|
*
|
|
|
|
* ```js
|
|
|
|
* const cls = new MyClass();
|
|
|
|
* ```
|
|
|
|
*
|
|
|
|
* @module doc
|
|
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* foo();
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function foo() {}
|
|
|
|
|
|
|
|
export default class MyClass {}
|
|
|
|
|
|
|
|
export * from "./other.ts";
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![
|
|
|
|
Expected {
|
|
|
|
source: r#"import MyClass, { foo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$5-8.js", async ()=>{
|
|
|
|
const cls = new MyClass();
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$5-8.js",
|
|
|
|
media_type: MediaType::JavaScript,
|
|
|
|
},
|
|
|
|
Expected {
|
|
|
|
source: r#"import MyClass, { foo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$13-16.ts", async ()=>{
|
|
|
|
foo();
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$13-16.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
},
|
|
|
|
],
|
|
|
|
},
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* foo();
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function foo() {}
|
|
|
|
|
|
|
|
export const ONE = 1;
|
|
|
|
const TWO = 2;
|
|
|
|
export default TWO;
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import TWO, { ONE, foo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$3-6.ts", async ()=>{
|
|
|
|
foo();
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-6.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
// Avoid duplicate imports
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* import { DUPLICATE1 } from "./other1.ts";
|
|
|
|
* import * as DUPLICATE2 from "./other2.js";
|
|
|
|
* import { foo as DUPLICATE3 } from "./other3.tsx";
|
|
|
|
*
|
|
|
|
* foo();
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function foo() {}
|
|
|
|
|
|
|
|
export const DUPLICATE1 = "dup1";
|
|
|
|
const DUPLICATE2 = "dup2";
|
|
|
|
export default DUPLICATE2;
|
|
|
|
const DUPLICATE3 = "dup3";
|
|
|
|
export { DUPLICATE3 };
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { DUPLICATE1 } from "./other1.ts";
|
|
|
|
import * as DUPLICATE2 from "./other2.js";
|
|
|
|
import { foo as DUPLICATE3 } from "./other3.tsx";
|
|
|
|
import { foo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$3-10.ts", async ()=>{
|
|
|
|
foo();
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-10.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
|
|
|
// duplication of imported identifier and local identifier is fine
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* const foo = createFoo();
|
|
|
|
* foo();
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function createFoo() {
|
|
|
|
return () => "created foo";
|
|
|
|
}
|
|
|
|
|
|
|
|
export const foo = () => "foo";
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { createFoo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$3-7.ts", async ()=>{
|
|
|
|
const foo = createFoo();
|
|
|
|
foo();
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-7.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
// https://github.com/denoland/deno/issues/25718
|
|
|
|
// A case where the example code has an exported item which references
|
|
|
|
// a variable from one upper scope.
|
|
|
|
// Naive application of `Deno.test` wrap would cause a reference error
|
|
|
|
// because the variable would go inside the `Deno.test` block while the
|
|
|
|
// exported item would be moved to the top level. To suppress the auto
|
|
|
|
// move of the exported item to the top level, the `export` keyword is
|
|
|
|
// removed so that the item stays in the same scope as the variable.
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
* import { getLogger } from "@std/log";
|
|
|
|
*
|
|
|
|
* const logger = getLogger("my-awesome-module");
|
|
|
|
*
|
|
|
|
* export function foo() {
|
|
|
|
* logger.debug("hello");
|
|
|
|
* }
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
* ```
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
*
|
|
|
|
* @module
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
*/
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
source: r#"import { getLogger } from "@std/log";
|
|
|
|
Deno.test("file:///main.ts$3-12.ts", async ()=>{
|
|
|
|
const logger = getLogger("my-awesome-module");
|
|
|
|
function foo() {
|
|
|
|
logger.debug("hello");
|
|
|
|
}
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
});
|
|
|
|
"#,
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
specifier: "file:///main.ts$3-12.ts",
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
# Header
|
|
|
|
|
|
|
|
This is a *markdown*.
|
|
|
|
|
|
|
|
```js
|
|
|
|
import { assertEquals } from "@std/assert/equal";
|
|
|
|
import { add } from "jsr:@deno/non-existent";
|
|
|
|
|
|
|
|
assertEquals(add(1, 2), 3);
|
|
|
|
```
|
|
|
|
"#,
|
|
|
|
specifier: "file:///README.md",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { assertEquals } from "@std/assert/equal";
|
|
|
|
import { add } from "jsr:@deno/non-existent";
|
|
|
|
Deno.test("file:///README.md$6-12.js", async ()=>{
|
|
|
|
assertEquals(add(1, 2), 3);
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///README.md$6-12.js",
|
|
|
|
media_type: MediaType::JavaScript,
|
|
|
|
}],
|
|
|
|
},
|
2024-10-14 22:21:47 -04:00
|
|
|
// https://github.com/denoland/deno/issues/26009
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* console.log(Foo)
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export class Foo {}
|
|
|
|
export default Foo
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { Foo } from "file:///main.ts";
|
|
|
|
Deno.test("file:///main.ts$3-6.ts", async ()=>{
|
|
|
|
console.log(Foo);
|
|
|
|
});
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-6.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
];
|
|
|
|
|
|
|
|
for test in tests {
|
|
|
|
let file = File {
|
|
|
|
specifier: ModuleSpecifier::parse(test.input.specifier).unwrap(),
|
|
|
|
maybe_headers: None,
|
|
|
|
source: test.input.source.as_bytes().into(),
|
|
|
|
};
|
|
|
|
let got_decoded = extract_doc_tests(file)
|
|
|
|
.unwrap()
|
|
|
|
.into_iter()
|
|
|
|
.map(|f| f.into_text_decoded().unwrap())
|
|
|
|
.collect::<Vec<_>>();
|
|
|
|
let expected = test
|
|
|
|
.expected
|
|
|
|
.iter()
|
|
|
|
.map(|e| TextDecodedFile {
|
|
|
|
specifier: ModuleSpecifier::parse(e.specifier).unwrap(),
|
|
|
|
media_type: e.media_type,
|
|
|
|
source: e.source.into(),
|
|
|
|
})
|
|
|
|
.collect::<Vec<_>>();
|
|
|
|
assert_eq!(got_decoded, expected);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_extract_snippet_files() {
|
|
|
|
struct Input {
|
|
|
|
source: &'static str,
|
|
|
|
specifier: &'static str,
|
|
|
|
}
|
|
|
|
struct Expected {
|
|
|
|
source: &'static str,
|
|
|
|
specifier: &'static str,
|
|
|
|
media_type: MediaType,
|
|
|
|
}
|
|
|
|
struct Test {
|
|
|
|
input: Input,
|
|
|
|
expected: Vec<Expected>,
|
|
|
|
}
|
|
|
|
|
|
|
|
let tests = [
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#""#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* import { assertEquals } from "@std/assert/equals";
|
|
|
|
*
|
|
|
|
* assertEquals(add(1, 2), 3);
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function add(a: number, b: number): number {
|
|
|
|
return a + b;
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { assertEquals } from "@std/assert/equals";
|
|
|
|
import { add } from "file:///main.ts";
|
|
|
|
assertEquals(add(1, 2), 3);
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-8.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* import { assertEquals } from "@std/assert/equals";
|
|
|
|
* import { DUPLICATE } from "./other.ts";
|
|
|
|
*
|
|
|
|
* assertEquals(add(1, 2), 3);
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function add(a: number, b: number): number {
|
|
|
|
return a + b;
|
|
|
|
}
|
|
|
|
|
|
|
|
export const DUPLICATE = "dup";
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { assertEquals } from "@std/assert/equals";
|
|
|
|
import { DUPLICATE } from "./other.ts";
|
|
|
|
import { add } from "file:///main.ts";
|
|
|
|
assertEquals(add(1, 2), 3);
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-9.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
// If the snippet has a local variable with the same name as an exported
|
|
|
|
// item, the local variable takes precedence.
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* const foo = createFoo();
|
|
|
|
* foo();
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export function createFoo() {
|
|
|
|
return () => "created foo";
|
|
|
|
}
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
export const foo = () => "foo";
|
|
|
|
"#,
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { createFoo } from "file:///main.ts";
|
|
|
|
const foo = createFoo();
|
|
|
|
foo();
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-7.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
// Unlike `extract_doc_tests`, `extract_snippet_files` does not remove
|
|
|
|
// the `export` keyword from the exported items.
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* import { getLogger } from "@std/log";
|
|
|
|
*
|
|
|
|
* const logger = getLogger("my-awesome-module");
|
|
|
|
*
|
|
|
|
* export function foo() {
|
|
|
|
* logger.debug("hello");
|
|
|
|
* }
|
|
|
|
* ```
|
|
|
|
*
|
|
|
|
* @module
|
|
|
|
*/
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { getLogger } from "@std/log";
|
|
|
|
export function foo() {
|
|
|
|
logger.debug("hello");
|
|
|
|
}
|
|
|
|
const logger = getLogger("my-awesome-module");
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-12.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
# Header
|
|
|
|
|
|
|
|
This is a *markdown*.
|
|
|
|
|
|
|
|
```js
|
|
|
|
import { assertEquals } from "@std/assert/equal";
|
|
|
|
import { add } from "jsr:@deno/non-existent";
|
|
|
|
|
|
|
|
assertEquals(add(1, 2), 3);
|
|
|
|
```
|
|
|
|
"#,
|
|
|
|
specifier: "file:///README.md",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { assertEquals } from "@std/assert/equal";
|
|
|
|
import { add } from "jsr:@deno/non-existent";
|
|
|
|
assertEquals(add(1, 2), 3);
|
|
|
|
"#,
|
|
|
|
specifier: "file:///README.md$6-12.js",
|
|
|
|
media_type: MediaType::JavaScript,
|
|
|
|
}],
|
|
|
|
},
|
2024-10-14 22:21:47 -04:00
|
|
|
// https://github.com/denoland/deno/issues/26009
|
|
|
|
Test {
|
|
|
|
input: Input {
|
|
|
|
source: r#"
|
|
|
|
/**
|
|
|
|
* ```ts
|
|
|
|
* console.log(Foo)
|
|
|
|
* ```
|
|
|
|
*/
|
|
|
|
export class Foo {}
|
|
|
|
export default Foo
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts",
|
|
|
|
},
|
|
|
|
expected: vec![Expected {
|
|
|
|
source: r#"import { Foo } from "file:///main.ts";
|
|
|
|
console.log(Foo);
|
|
|
|
"#,
|
|
|
|
specifier: "file:///main.ts$3-6.ts",
|
|
|
|
media_type: MediaType::TypeScript,
|
|
|
|
}],
|
|
|
|
},
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
];
|
|
|
|
|
|
|
|
for test in tests {
|
|
|
|
let file = File {
|
|
|
|
specifier: ModuleSpecifier::parse(test.input.specifier).unwrap(),
|
|
|
|
maybe_headers: None,
|
|
|
|
source: test.input.source.as_bytes().into(),
|
|
|
|
};
|
|
|
|
let got_decoded = extract_snippet_files(file)
|
|
|
|
.unwrap()
|
|
|
|
.into_iter()
|
|
|
|
.map(|f| f.into_text_decoded().unwrap())
|
|
|
|
.collect::<Vec<_>>();
|
|
|
|
let expected = test
|
|
|
|
.expected
|
|
|
|
.iter()
|
|
|
|
.map(|e| TextDecodedFile {
|
|
|
|
specifier: ModuleSpecifier::parse(e.specifier).unwrap(),
|
|
|
|
media_type: e.media_type,
|
|
|
|
source: e.source.into(),
|
|
|
|
})
|
|
|
|
.collect::<Vec<_>>();
|
|
|
|
assert_eq!(got_decoded, expected);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_export_collector() {
|
|
|
|
fn helper(input: &'static str) -> ExportCollector {
|
|
|
|
let mut collector = ExportCollector::default();
|
|
|
|
let parsed = deno_ast::parse_module(deno_ast::ParseParams {
|
|
|
|
specifier: deno_ast::ModuleSpecifier::parse("file:///main.ts").unwrap(),
|
|
|
|
text: input.into(),
|
|
|
|
media_type: deno_ast::MediaType::TypeScript,
|
|
|
|
capture_tokens: false,
|
|
|
|
scope_analysis: false,
|
|
|
|
maybe_syntax: None,
|
|
|
|
})
|
|
|
|
.unwrap();
|
|
|
|
|
2024-11-01 12:27:00 -04:00
|
|
|
parsed.program_ref().visit_with(&mut collector);
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
collector
|
|
|
|
}
|
|
|
|
|
|
|
|
struct Test {
|
|
|
|
input: &'static str,
|
|
|
|
named_expected: BTreeSet<Atom>,
|
|
|
|
default_expected: Option<Atom>,
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! atom_set {
|
|
|
|
($( $x:expr ),*) => {
|
|
|
|
[$( Atom::from($x) ),*].into_iter().collect::<BTreeSet<_>>()
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
let tests = [
|
|
|
|
Test {
|
|
|
|
input: r#"export const foo = 42;"#,
|
|
|
|
named_expected: atom_set!("foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export let foo = 42;"#,
|
|
|
|
named_expected: atom_set!("foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export var foo = 42;"#,
|
|
|
|
named_expected: atom_set!("foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export const foo = () => {};"#,
|
|
|
|
named_expected: atom_set!("foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export function foo() {}"#,
|
|
|
|
named_expected: atom_set!("foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export class Foo {}"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export enum Foo {}"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export module Foo {}"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export module "foo" {}"#,
|
|
|
|
named_expected: atom_set!("foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export namespace Foo {}"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export type Foo = string;"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export interface Foo {};"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export let name1, name2;"#,
|
|
|
|
named_expected: atom_set!("name1", "name2"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export const name1 = 1, name2 = 2;"#,
|
|
|
|
named_expected: atom_set!("name1", "name2"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export function* generatorFunc() {}"#,
|
|
|
|
named_expected: atom_set!("generatorFunc"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export const { name1, name2: bar } = obj;"#,
|
|
|
|
named_expected: atom_set!("name1", "bar"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export const [name1, name2] = arr;"#,
|
|
|
|
named_expected: atom_set!("name1", "name2"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export const { name1 = 42 } = arr;"#,
|
|
|
|
named_expected: atom_set!("name1"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export default function foo() {}"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: Some("foo".into()),
|
|
|
|
},
|
fix(cli): handle edge cases around `export`s in doc tests and default export (#25720)
This commit fixes issues with the pseudo test file generation logic,
namely:
- `export`s declared in snippets
- auto import insertion for `default export`
## Case 1: `export`s declared in snippets
In the previous implementation, `export`s declared in snippets were
moved to the top level of the module in the generated pseudo test file.
This is required because `export` must be at the top level.
This becomes a problem if such a `export` has a body, containing a
reference to a local variable. Suppose we extract this snippet from
JSDoc:
```ts
const logger = createLogger("my-awesome-module");
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
```
This gets converted into the following invalid code (note that `export
function sum` is moved to the top level, but its body references
`logger` variable which can't be referenced from here):
```ts
export function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
});
```
To resolve this issue, this commit adds a logic to remove the `export`
keyword, allowing the exported items to stay in the `Deno.test` block
scope, like so:
```ts
Deno.test("./base.ts$1-7.ts", async () => {
const logger = createLogger("my-awesome-module");
function sum(a: number, b: number): number {
logger.debug("sum called");
return a + b;
}
});
```
## Case 2: default export
Previously `default export foo` was not captured by the export
collector, so auto import insertion didn't work for this case. To put it
concretely, the following code snippet didn't work when run with `deno
test --doc` because `import foo from "file:///path/to/mod.ts"` didn't
get inserted automatically:
```ts
/**
* ```ts
* console.log(foo);
* ```
*
* @module
*/
const foo = 42;
export default foo;
```
This commit fixes this issue and the above example works fine.
---
Fixes #25718
2024-09-19 03:19:40 -04:00
|
|
|
Test {
|
|
|
|
input: r#"export default class Foo {}"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: Some("Foo".into()),
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"export default interface Foo {}"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: Some("Foo".into()),
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"const foo = 42; export default foo;"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: Some("foo".into()),
|
|
|
|
},
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
Test {
|
|
|
|
input: r#"export { foo, bar as barAlias };"#,
|
|
|
|
named_expected: atom_set!("foo", "barAlias"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
export default class Foo {}
|
|
|
|
export let value1 = 42;
|
|
|
|
const value2 = "Hello";
|
|
|
|
const value3 = "World";
|
|
|
|
export { value2 };
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!("value1", "value2"),
|
|
|
|
default_expected: Some("Foo".into()),
|
|
|
|
},
|
|
|
|
// overloaded function
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
export function foo(a: number): boolean;
|
|
|
|
export function foo(a: boolean): string;
|
|
|
|
export function foo(a: number | boolean): boolean | string {
|
|
|
|
return typeof a === "number" ? true : "hello";
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!("foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
// The collector deliberately does not handle re-exports, because from
|
|
|
|
// doc reader's perspective, an example code would become hard to follow
|
|
|
|
// if it uses re-exported items (as opposed to normal, non-re-exported
|
|
|
|
// items that would look verbose if an example code explicitly imports
|
|
|
|
// them).
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
export * from "./module1.ts";
|
|
|
|
export * as name1 from "./module2.ts";
|
|
|
|
export { name2, name3 as N3 } from "./module3.js";
|
|
|
|
export { default } from "./module4.ts";
|
|
|
|
export { default as myDefault } from "./module5.ts";
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
export namespace Foo {
|
|
|
|
export type MyType = string;
|
|
|
|
export const myValue = 42;
|
|
|
|
export function myFunc(): boolean;
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
declare namespace Foo {
|
|
|
|
export type MyType = string;
|
|
|
|
export const myValue = 42;
|
|
|
|
export function myFunc(): boolean;
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
declare module Foo {
|
|
|
|
export type MyType = string;
|
|
|
|
export const myValue = 42;
|
|
|
|
export function myFunc(): boolean;
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
declare global {
|
|
|
|
export type MyType = string;
|
|
|
|
export const myValue = 42;
|
|
|
|
export function myFunc(): boolean;
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!(),
|
|
|
|
default_expected: None,
|
|
|
|
},
|
2024-10-14 22:21:47 -04:00
|
|
|
// The identifier `Foo` conflicts, but `ExportCollector` doesn't do
|
|
|
|
// anything about it. It is handled by `to_import_specifiers` method.
|
|
|
|
Test {
|
|
|
|
input: r#"
|
|
|
|
export class Foo {}
|
|
|
|
export default Foo
|
|
|
|
"#,
|
|
|
|
named_expected: atom_set!("Foo"),
|
|
|
|
default_expected: Some("Foo".into()),
|
|
|
|
},
|
feat(cli): evaluate code snippets in JSDoc and markdown (#25220)
This commit lets `deno test --doc` command actually evaluate code snippets in
JSDoc and markdown files.
## How it works
1. Extract code snippets from JSDoc or code fences
2. Convert them into pseudo files by wrapping them in `Deno.test(...)`
3. Register the pseudo files as in-memory files
4. Run type-check and evaluation
We apply some magic at the step 2 - let's say we have the following file named
`mod.ts` as an input:
````ts
/**
* ```ts
* import { assertEquals } from "jsr:@std/assert/equals";
*
* assertEquals(add(1, 2), 3);
* ```
*/
export function add(a: number, b: number) {
return a + b;
}
````
This is virtually transformed into:
```ts
import { assertEquals } from "jsr:@std/assert/equals";
import { add } from "files:///path/to/mod.ts";
Deno.test("mod.ts$2-7.ts", async () => {
assertEquals(add(1, 2), 3);
});
```
Note that a new import statement is inserted here to make `add` function
available. In a nutshell, all items exported from `mod.ts` become available in
the generated pseudo file with this automatic import insertion.
The intention behind this design is that, from library user's standpoint, it
should be very obvious that this `add` function is what this example code is
attached to. Also, if there is an explicit import statement like
`import { add } from "./mod.ts"`, this import path `./mod.ts` is not helpful for
doc readers because they will need to import it in a different way.
The automatic import insertion has some edge cases, in particular where there is
a local variable in a snippet with the same name as one of the exported items.
This case is addressed by employing swc's scope analysis (see test cases for
more details).
## "type-checking only" mode stays around
This change will likely impact a lot of existing doc tests in the ecosystem
because some doc tests rely on the fact that they are not evaluated - some cause
side effects if executed, some throw errors at runtime although they do pass the
type check, etc. To help those tests gradually transition to the ones runnable
with the new `deno test --doc`, we will keep providing the ability to run
type-checking only via `deno check --doc`. Additionally there is a `--doc-only`
option added to the `check` subcommand too, which is useful when you want to
type-check on code snippets in markdown files, as normal `deno check` command
doesn't accept markdown.
## Demo
https://github.com/user-attachments/assets/47e9af73-d16e-472d-b09e-1853b9e8f5ce
---
Closes #4716
2024-09-18 00:35:48 -04:00
|
|
|
];
|
|
|
|
|
|
|
|
for test in tests {
|
|
|
|
let got = helper(test.input);
|
|
|
|
assert_eq!(got.named_exports, test.named_expected);
|
|
|
|
assert_eq!(got.default_export, test.default_expected);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|