2024-01-01 14:58:21 -05:00
// Copyright 2018-2024 the Deno authors. All rights reserved. MIT license.
2021-12-16 05:45:41 -05:00
2024-02-15 14:49:35 -05:00
use crate ::args ::jsr_url ;
2023-02-09 22:00:23 -05:00
use crate ::args ::CliOptions ;
2022-12-06 14:12:51 -05:00
use crate ::args ::Lockfile ;
2023-02-24 14:42:45 -05:00
use crate ::args ::TsTypeLib ;
2022-12-09 09:40:48 -05:00
use crate ::cache ;
2023-08-01 20:49:09 -04:00
use crate ::cache ::GlobalHttpCache ;
2023-10-25 18:13:22 -04:00
use crate ::cache ::ModuleInfoCache ;
2023-04-14 16:22:33 -04:00
use crate ::cache ::ParsedSourceCache ;
2021-12-16 05:45:41 -05:00
use crate ::colors ;
use crate ::errors ::get_error_class_name ;
2023-04-14 16:22:33 -04:00
use crate ::file_fetcher ::FileFetcher ;
2023-04-21 21:02:46 -04:00
use crate ::npm ::CliNpmResolver ;
2023-02-15 11:30:54 -05:00
use crate ::resolver ::CliGraphResolver ;
2023-12-07 15:59:13 -05:00
use crate ::resolver ::SloppyImportsResolver ;
2022-12-09 09:40:48 -05:00
use crate ::tools ::check ;
2023-04-14 18:05:46 -04:00
use crate ::tools ::check ::TypeChecker ;
2023-10-19 01:05:00 -04:00
use crate ::util ::file_watcher ::WatcherCommunicator ;
2024-01-08 12:18:42 -05:00
use crate ::util ::fs ::canonicalize_path ;
use crate ::util ::path ::specifier_to_file_path ;
2023-09-13 17:53:07 -04:00
use crate ::util ::sync ::TaskQueue ;
use crate ::util ::sync ::TaskQueuePermit ;
2022-06-28 16:45:55 -04:00
2024-02-19 10:28:41 -05:00
use deno_config ::WorkspaceMemberConfig ;
2022-12-09 09:40:48 -05:00
use deno_core ::anyhow ::bail ;
2021-12-16 05:45:41 -05:00
use deno_core ::error ::custom_error ;
use deno_core ::error ::AnyError ;
2023-04-14 16:22:33 -04:00
use deno_core ::parking_lot ::Mutex ;
2023-02-24 14:42:45 -05:00
use deno_core ::parking_lot ::RwLock ;
2021-12-16 05:45:41 -05:00
use deno_core ::ModuleSpecifier ;
2023-04-14 16:22:33 -04:00
use deno_graph ::source ::Loader ;
2023-10-20 00:02:08 -04:00
use deno_graph ::source ::ResolveError ;
2023-06-06 17:07:46 -04:00
use deno_graph ::GraphKind ;
2023-02-22 14:15:25 -05:00
use deno_graph ::Module ;
2023-03-21 11:46:40 -04:00
use deno_graph ::ModuleError ;
2021-12-16 05:45:41 -05:00
use deno_graph ::ModuleGraph ;
use deno_graph ::ModuleGraphError ;
2023-01-24 15:14:49 -05:00
use deno_graph ::ResolutionError ;
use deno_graph ::SpecifierError ;
2023-12-01 15:12:10 -05:00
use deno_runtime ::deno_fs ::FileSystem ;
2023-04-21 21:02:46 -04:00
use deno_runtime ::deno_node ;
2023-01-07 11:25:34 -05:00
use deno_runtime ::permissions ::PermissionsContainer ;
2023-09-18 10:46:44 -04:00
use deno_semver ::package ::PackageNv ;
use deno_semver ::package ::PackageReq ;
2023-01-27 17:36:23 -05:00
use import_map ::ImportMapError ;
2023-02-24 14:42:45 -05:00
use std ::collections ::HashMap ;
use std ::collections ::HashSet ;
2023-06-14 18:29:19 -04:00
use std ::path ::PathBuf ;
2021-12-16 05:45:41 -05:00
use std ::sync ::Arc ;
2023-02-15 11:30:54 -05:00
#[ derive(Clone, Copy) ]
pub struct GraphValidOptions {
pub check_js : bool ,
pub follow_type_only : bool ,
pub is_vendoring : bool ,
}
2023-02-09 22:00:23 -05:00
/// Check if `roots` and their deps are available. Returns `Ok(())` if
/// so. Returns `Err(_)` if there is a known module graph or resolution
/// error statically reachable from `roots` and not a dynamic import.
pub fn graph_valid_with_cli_options (
graph : & ModuleGraph ,
2023-12-08 09:57:06 -05:00
fs : & dyn FileSystem ,
2023-02-09 22:00:23 -05:00
roots : & [ ModuleSpecifier ] ,
options : & CliOptions ,
) -> Result < ( ) , AnyError > {
graph_valid (
graph ,
2023-12-07 15:59:13 -05:00
fs ,
2023-02-09 22:00:23 -05:00
roots ,
2023-02-15 11:30:54 -05:00
GraphValidOptions {
is_vendoring : false ,
2023-06-07 10:09:10 -04:00
follow_type_only : options . type_check_mode ( ) . is_true ( ) ,
2023-02-09 22:00:23 -05:00
check_js : options . check_js ( ) ,
} ,
)
2021-12-16 05:45:41 -05:00
}
2023-02-09 22:00:23 -05:00
/// Check if `roots` and their deps are available. Returns `Ok(())` if
/// so. Returns `Err(_)` if there is a known module graph or resolution
/// error statically reachable from `roots`.
///
/// It is preferable to use this over using deno_graph's API directly
/// because it will have enhanced error message information specifically
/// for the CLI.
pub fn graph_valid (
graph : & ModuleGraph ,
2023-12-08 09:57:06 -05:00
fs : & dyn FileSystem ,
2023-02-09 22:00:23 -05:00
roots : & [ ModuleSpecifier ] ,
2023-02-15 11:30:54 -05:00
options : GraphValidOptions ,
2023-02-09 22:00:23 -05:00
) -> Result < ( ) , AnyError > {
2023-02-15 11:30:54 -05:00
let mut errors = graph
. walk (
roots ,
deno_graph ::WalkOptions {
check_js : options . check_js ,
follow_type_only : options . follow_type_only ,
follow_dynamic : options . is_vendoring ,
} ,
)
. errors ( )
. flat_map ( | error | {
let is_root = match & error {
2023-10-24 17:43:19 -04:00
ModuleGraphError ::ResolutionError ( _ )
| ModuleGraphError ::TypesResolutionError ( _ ) = > false ,
2023-03-21 11:46:40 -04:00
ModuleGraphError ::ModuleError ( error ) = > {
roots . contains ( error . specifier ( ) )
}
2023-02-15 11:30:54 -05:00
} ;
2023-10-24 17:43:19 -04:00
let mut message = match & error {
ModuleGraphError ::ResolutionError ( resolution_error ) = > {
enhanced_resolution_error_message ( resolution_error )
}
ModuleGraphError ::TypesResolutionError ( resolution_error ) = > {
format! (
" Failed resolving types. {} " ,
2023-12-07 15:59:13 -05:00
enhanced_resolution_error_message ( resolution_error )
2023-10-24 17:43:19 -04:00
)
}
2023-12-07 15:59:13 -05:00
ModuleGraphError ::ModuleError ( e ) = > {
enhanced_module_error_message ( fs , e )
}
2023-02-15 11:30:54 -05:00
} ;
2021-12-16 05:45:41 -05:00
2023-02-15 11:30:54 -05:00
if let Some ( range ) = error . maybe_range ( ) {
if ! is_root & & ! range . specifier . as_str ( ) . contains ( " /$deno$eval " ) {
2023-12-01 15:12:10 -05:00
message . push_str ( " \n at " ) ;
message . push_str ( & format_range_with_colors ( range ) ) ;
2023-02-15 11:30:54 -05:00
}
2021-12-16 05:45:41 -05:00
}
2023-02-15 11:30:54 -05:00
if options . is_vendoring {
// warn about failing dynamic imports when vendoring, but don't fail completely
2023-03-21 11:46:40 -04:00
if matches! (
error ,
ModuleGraphError ::ModuleError ( ModuleError ::MissingDynamic ( _ , _ ) )
) {
2023-02-15 11:30:54 -05:00
log ::warn! ( " Ignoring: {:#} " , message ) ;
return None ;
}
// ignore invalid downgrades and invalid local imports when vendoring
2023-10-24 17:43:19 -04:00
match & error {
ModuleGraphError ::ResolutionError ( err )
| ModuleGraphError ::TypesResolutionError ( err ) = > {
if matches! (
err ,
ResolutionError ::InvalidDowngrade { .. }
| ResolutionError ::InvalidLocalImport { .. }
) {
return None ;
}
2023-02-15 11:30:54 -05:00
}
2023-10-24 17:43:19 -04:00
ModuleGraphError ::ModuleError ( _ ) = > { }
2023-02-15 11:30:54 -05:00
}
}
Some ( custom_error ( get_error_class_name ( & error . into ( ) ) , message ) )
} ) ;
if let Some ( error ) = errors . next ( ) {
Err ( error )
} else {
Ok ( ( ) )
}
2021-12-16 05:45:41 -05:00
}
2022-12-06 14:12:51 -05:00
/// Checks the lockfile against the graph and and exits on errors.
pub fn graph_lock_or_exit ( graph : & ModuleGraph , lockfile : & mut Lockfile ) {
for module in graph . modules ( ) {
2023-02-22 14:15:25 -05:00
let source = match module {
2024-01-31 22:15:22 -05:00
Module ::Js ( module ) if module . media_type . is_declaration ( ) = > continue , // skip declaration files
Module ::Js ( module ) = > & module . source ,
2023-02-22 14:15:25 -05:00
Module ::Json ( module ) = > & module . source ,
Module ::Node ( _ ) | Module ::Npm ( _ ) | Module ::External ( _ ) = > continue ,
} ;
2024-02-15 14:49:35 -05:00
// skip over any specifiers in JSR packages because those
// are enforced via the integrity
if deno_graph ::source ::recommended_registry_package_url_to_nv (
jsr_url ( ) ,
module . specifier ( ) ,
)
. is_some ( )
{
continue ;
}
2023-02-22 14:15:25 -05:00
if ! lockfile . check_or_insert_remote ( module . specifier ( ) . as_str ( ) , source ) {
let err = format! (
concat! (
" The source code is invalid, as it does not match the expected hash in the lock file. \n " ,
" Specifier: {} \n " ,
" Lock file: {} " ,
) ,
module . specifier ( ) ,
lockfile . filename . display ( ) ,
) ;
log ::error! ( " {} {} " , colors ::red ( " error: " ) , err ) ;
std ::process ::exit ( 10 ) ;
2022-12-06 14:12:51 -05:00
}
2021-12-16 05:45:41 -05:00
}
}
2022-12-09 09:40:48 -05:00
2023-10-25 18:13:22 -04:00
pub struct CreateGraphOptions < ' a > {
pub graph_kind : GraphKind ,
pub roots : Vec < ModuleSpecifier > ,
2024-02-16 17:10:06 -05:00
pub is_dynamic : bool ,
2024-01-09 18:20:52 -05:00
/// Specify `None` to use the default CLI loader.
pub loader : Option < & ' a mut dyn Loader > ,
2023-10-25 18:13:22 -04:00
}
2024-02-20 16:29:57 -05:00
pub struct ModuleGraphCreator {
2023-04-14 16:22:33 -04:00
options : Arc < CliOptions > ,
2023-12-01 15:12:10 -05:00
fs : Arc < dyn FileSystem > ,
2023-09-29 09:26:25 -04:00
npm_resolver : Arc < dyn CliNpmResolver > ,
2024-02-20 16:29:57 -05:00
module_graph_builder : Arc < ModuleGraphBuilder > ,
2023-04-14 16:22:33 -04:00
lockfile : Option < Arc < Mutex < Lockfile > > > ,
2023-04-14 18:05:46 -04:00
type_checker : Arc < TypeChecker > ,
2023-04-14 16:22:33 -04:00
}
2023-02-22 14:15:25 -05:00
2024-02-20 16:29:57 -05:00
impl ModuleGraphCreator {
2023-04-14 16:22:33 -04:00
pub fn new (
options : Arc < CliOptions > ,
2023-12-01 15:12:10 -05:00
fs : Arc < dyn FileSystem > ,
2023-09-29 09:26:25 -04:00
npm_resolver : Arc < dyn CliNpmResolver > ,
2024-02-20 16:29:57 -05:00
module_graph_builder : Arc < ModuleGraphBuilder > ,
2023-04-14 16:22:33 -04:00
lockfile : Option < Arc < Mutex < Lockfile > > > ,
2023-04-14 18:05:46 -04:00
type_checker : Arc < TypeChecker > ,
2023-04-14 16:22:33 -04:00
) -> Self {
Self {
options ,
2023-12-01 15:12:10 -05:00
fs ,
2023-04-14 16:22:33 -04:00
npm_resolver ,
lockfile ,
2024-02-20 16:29:57 -05:00
module_graph_builder ,
2023-04-14 18:05:46 -04:00
type_checker ,
2023-04-14 16:22:33 -04:00
}
2022-12-09 09:40:48 -05:00
}
2023-10-25 18:13:22 -04:00
pub async fn create_graph (
& self ,
graph_kind : GraphKind ,
roots : Vec < ModuleSpecifier > ,
) -> Result < deno_graph ::ModuleGraph , AnyError > {
2024-02-20 16:29:57 -05:00
let mut cache = self . module_graph_builder . create_graph_loader ( ) ;
2023-10-25 18:13:22 -04:00
self
. create_graph_with_loader ( graph_kind , roots , & mut cache )
. await
}
2023-04-14 16:22:33 -04:00
pub async fn create_graph_with_loader (
& self ,
2023-06-06 17:07:46 -04:00
graph_kind : GraphKind ,
2023-04-14 16:22:33 -04:00
roots : Vec < ModuleSpecifier > ,
loader : & mut dyn Loader ,
2024-02-19 10:28:41 -05:00
) -> Result < ModuleGraph , AnyError > {
2023-10-25 18:13:22 -04:00
self
. create_graph_with_options ( CreateGraphOptions {
2024-02-16 17:10:06 -05:00
is_dynamic : false ,
2023-10-25 18:13:22 -04:00
graph_kind ,
roots ,
2024-01-09 18:20:52 -05:00
loader : Some ( loader ) ,
2023-10-25 18:13:22 -04:00
} )
. await
}
2024-02-19 10:28:41 -05:00
pub async fn create_publish_graph (
& self ,
packages : & [ WorkspaceMemberConfig ] ,
) -> Result < ModuleGraph , AnyError > {
let mut roots = Vec ::new ( ) ;
for package in packages {
roots . extend ( package . config_file . resolve_export_value_urls ( ) ? ) ;
}
2024-02-20 16:29:57 -05:00
let mut graph = self
2024-02-19 10:28:41 -05:00
. create_graph_with_options ( CreateGraphOptions {
is_dynamic : false ,
graph_kind : deno_graph ::GraphKind ::All ,
roots ,
loader : None ,
} )
2024-02-20 16:29:57 -05:00
. await ? ;
2024-02-21 08:35:25 -05:00
if self . options . type_check_mode ( ) . is_true ( ) {
self . type_check_graph ( graph . clone ( ) ) . await ? ;
}
2024-02-20 16:29:57 -05:00
self . module_graph_builder . build_fast_check_graph (
& mut graph ,
BuildFastCheckGraphOptions {
workspace_fast_check : true ,
} ,
) ? ;
Ok ( graph )
2024-02-19 10:28:41 -05:00
}
2023-10-25 18:13:22 -04:00
pub async fn create_graph_with_options (
& self ,
options : CreateGraphOptions < '_ > ,
2024-02-19 10:28:41 -05:00
) -> Result < ModuleGraph , AnyError > {
2023-10-25 18:13:22 -04:00
let mut graph = ModuleGraph ::new ( options . graph_kind ) ;
2024-02-16 17:10:06 -05:00
2023-04-14 16:22:33 -04:00
self
2024-02-20 16:29:57 -05:00
. module_graph_builder
2024-02-16 17:10:06 -05:00
. build_graph_with_npm_resolution ( & mut graph , options )
2023-04-14 16:22:33 -04:00
. await ? ;
2023-09-29 09:26:25 -04:00
if let Some ( npm_resolver ) = self . npm_resolver . as_managed ( ) {
if graph . has_node_specifier & & self . options . type_check_mode ( ) . is_true ( ) {
npm_resolver . inject_synthetic_types_node_package ( ) . await ? ;
}
2023-01-24 09:05:54 -05:00
}
2023-04-14 16:22:33 -04:00
Ok ( graph )
}
pub async fn create_graph_and_maybe_check (
& self ,
roots : Vec < ModuleSpecifier > ,
) -> Result < Arc < deno_graph ::ModuleGraph > , AnyError > {
2023-06-07 10:09:10 -04:00
let graph_kind = self . options . type_check_mode ( ) . as_graph_kind ( ) ;
2023-06-14 18:29:19 -04:00
2024-02-16 17:10:06 -05:00
let graph = self
. create_graph_with_options ( CreateGraphOptions {
is_dynamic : false ,
graph_kind ,
2023-04-14 16:22:33 -04:00
roots ,
2024-02-16 17:10:06 -05:00
loader : None ,
} )
2023-04-14 16:22:33 -04:00
. await ? ;
2023-12-07 15:59:13 -05:00
graph_valid_with_cli_options (
& graph ,
2023-12-08 09:57:06 -05:00
self . fs . as_ref ( ) ,
2023-12-07 15:59:13 -05:00
& graph . roots ,
& self . options ,
) ? ;
2023-04-14 16:22:33 -04:00
if let Some ( lockfile ) = & self . lockfile {
graph_lock_or_exit ( & graph , & mut lockfile . lock ( ) ) ;
2022-12-09 09:40:48 -05:00
}
2023-04-14 16:22:33 -04:00
2023-06-07 10:09:10 -04:00
if self . options . type_check_mode ( ) . is_true ( ) {
2024-02-20 16:29:57 -05:00
// provide the graph to the type checker, then get it back after it's done
2024-02-21 08:35:25 -05:00
let graph = self . type_check_graph ( graph ) . await ? ;
2024-02-20 16:29:57 -05:00
Ok ( graph )
} else {
Ok ( Arc ::new ( graph ) )
2022-12-09 09:40:48 -05:00
}
}
2024-02-21 08:35:25 -05:00
async fn type_check_graph (
& self ,
graph : ModuleGraph ,
) -> Result < Arc < ModuleGraph > , AnyError > {
self
. type_checker
. check (
graph ,
check ::CheckOptions {
build_fast_check_graph : true ,
lib : self . options . ts_type_lib_window ( ) ,
log_ignored_options : true ,
reload : self . options . reload_flag ( ) ,
type_check_mode : self . options . type_check_mode ( ) ,
} ,
)
. await
}
2024-02-20 16:29:57 -05:00
}
2022-12-09 09:40:48 -05:00
2024-02-20 16:29:57 -05:00
pub struct BuildFastCheckGraphOptions {
/// Whether to do fast check on workspace members. This
/// is mostly only useful when publishing.
pub workspace_fast_check : bool ,
}
pub struct ModuleGraphBuilder {
options : Arc < CliOptions > ,
caches : Arc < cache ::Caches > ,
fs : Arc < dyn FileSystem > ,
resolver : Arc < CliGraphResolver > ,
npm_resolver : Arc < dyn CliNpmResolver > ,
module_info_cache : Arc < ModuleInfoCache > ,
parsed_source_cache : Arc < ParsedSourceCache > ,
lockfile : Option < Arc < Mutex < Lockfile > > > ,
maybe_file_watcher_reporter : Option < FileWatcherReporter > ,
emit_cache : cache ::EmitCache ,
file_fetcher : Arc < FileFetcher > ,
global_http_cache : Arc < GlobalHttpCache > ,
}
impl ModuleGraphBuilder {
#[ allow(clippy::too_many_arguments) ]
pub fn new (
options : Arc < CliOptions > ,
caches : Arc < cache ::Caches > ,
fs : Arc < dyn FileSystem > ,
resolver : Arc < CliGraphResolver > ,
npm_resolver : Arc < dyn CliNpmResolver > ,
module_info_cache : Arc < ModuleInfoCache > ,
parsed_source_cache : Arc < ParsedSourceCache > ,
lockfile : Option < Arc < Mutex < Lockfile > > > ,
maybe_file_watcher_reporter : Option < FileWatcherReporter > ,
emit_cache : cache ::EmitCache ,
file_fetcher : Arc < FileFetcher > ,
global_http_cache : Arc < GlobalHttpCache > ,
) -> Self {
Self {
options ,
caches ,
fs ,
resolver ,
npm_resolver ,
module_info_cache ,
parsed_source_cache ,
lockfile ,
maybe_file_watcher_reporter ,
emit_cache ,
file_fetcher ,
global_http_cache ,
2024-01-09 18:20:52 -05:00
}
}
2023-04-14 16:22:33 -04:00
pub async fn build_graph_with_npm_resolution < ' a > (
2024-02-16 17:10:06 -05:00
& self ,
graph : & mut ModuleGraph ,
options : CreateGraphOptions < ' a > ,
) -> Result < ( ) , AnyError > {
enum MutLoaderRef < ' a > {
Borrowed ( & ' a mut dyn Loader ) ,
Owned ( cache ::FetchCacher ) ,
}
impl < ' a > MutLoaderRef < ' a > {
pub fn as_mut_loader ( & mut self ) -> & mut dyn Loader {
match self {
Self ::Borrowed ( loader ) = > * loader ,
Self ::Owned ( loader ) = > loader ,
}
}
}
let maybe_imports = self . options . to_maybe_imports ( ) ? ;
let parser = self . parsed_source_cache . as_capturing_parser ( ) ;
let analyzer = self . module_info_cache . as_module_analyzer ( & parser ) ;
let mut loader = match options . loader {
Some ( loader ) = > MutLoaderRef ::Borrowed ( loader ) ,
None = > MutLoaderRef ::Owned ( self . create_graph_loader ( ) ) ,
} ;
2024-02-20 16:29:57 -05:00
let cli_resolver = & self . resolver ;
2024-02-16 17:10:06 -05:00
let graph_resolver = cli_resolver . as_graph_resolver ( ) ;
let graph_npm_resolver = cli_resolver . as_graph_npm_resolver ( ) ;
let maybe_file_watcher_reporter = self
. maybe_file_watcher_reporter
. as_ref ( )
. map ( | r | r . as_reporter ( ) ) ;
2024-02-20 16:29:57 -05:00
let workspace_members =
self . options . resolve_deno_graph_workspace_members ( ) ? ;
2024-02-16 17:10:06 -05:00
self
. build_graph_with_npm_resolution_and_build_options (
graph ,
options . roots ,
loader . as_mut_loader ( ) ,
deno_graph ::BuildOptions {
is_dynamic : options . is_dynamic ,
2024-02-20 16:29:57 -05:00
jsr_url_provider : Some ( & CliJsrUrlProvider ) ,
2024-02-21 16:58:37 -05:00
executor : Default ::default ( ) ,
2024-02-16 17:10:06 -05:00
imports : maybe_imports ,
resolver : Some ( graph_resolver ) ,
file_system : Some ( & DenoGraphFsAdapter ( self . fs . as_ref ( ) ) ) ,
npm_resolver : Some ( graph_npm_resolver ) ,
module_analyzer : Some ( & analyzer ) ,
module_parser : Some ( & parser ) ,
reporter : maybe_file_watcher_reporter ,
2024-02-20 16:29:57 -05:00
workspace_members : & workspace_members ,
2024-02-16 17:10:06 -05:00
} ,
)
. await
}
async fn build_graph_with_npm_resolution_and_build_options < ' a > (
2023-04-14 16:22:33 -04:00
& self ,
graph : & mut ModuleGraph ,
roots : Vec < ModuleSpecifier > ,
loader : & mut dyn deno_graph ::source ::Loader ,
options : deno_graph ::BuildOptions < ' a > ,
) -> Result < ( ) , AnyError > {
2023-05-23 18:51:48 -04:00
// ensure an "npm install" is done if the user has explicitly
// opted into using a node_modules directory
if self . options . node_modules_dir_enablement ( ) = = Some ( true ) {
2023-09-30 12:06:38 -04:00
if let Some ( npm_resolver ) = self . npm_resolver . as_managed ( ) {
npm_resolver . ensure_top_level_package_json_install ( ) . await ? ;
}
2023-05-23 18:51:48 -04:00
}
2023-08-29 13:03:02 -04:00
// add the lockfile redirects to the graph if it's the first time executing
if graph . redirects . is_empty ( ) {
if let Some ( lockfile ) = & self . lockfile {
let lockfile = lockfile . lock ( ) ;
for ( from , to ) in & lockfile . content . redirects {
if let Ok ( from ) = ModuleSpecifier ::parse ( from ) {
if let Ok ( to ) = ModuleSpecifier ::parse ( to ) {
2023-09-18 10:46:44 -04:00
if ! matches! ( from . scheme ( ) , " file " | " npm " | " jsr " ) {
2023-08-29 13:03:02 -04:00
graph . redirects . insert ( from , to ) ;
}
}
}
}
}
}
2023-09-18 10:46:44 -04:00
// add the jsr specifiers to the graph if it's the first time executing
if graph . packages . is_empty ( ) {
if let Some ( lockfile ) = & self . lockfile {
let lockfile = lockfile . lock ( ) ;
for ( key , value ) in & lockfile . content . packages . specifiers {
if let Some ( key ) = key
. strip_prefix ( " jsr: " )
. and_then ( | key | PackageReq ::from_str ( key ) . ok ( ) )
{
if let Some ( value ) = value
. strip_prefix ( " jsr: " )
. and_then ( | value | PackageNv ::from_str ( value ) . ok ( ) )
{
2024-01-09 18:20:52 -05:00
graph . packages . add_nv ( key , value ) ;
2023-09-18 10:46:44 -04:00
}
}
}
2024-02-15 14:49:35 -05:00
for ( nv , value ) in & lockfile . content . packages . jsr {
if let Ok ( nv ) = PackageNv ::from_str ( nv ) {
graph
. packages
. add_manifest_checksum ( nv , value . integrity . clone ( ) )
. map_err ( | err | deno_lockfile ::IntegrityCheckFailedError {
package_display_id : format ! ( " jsr:{} " , err . nv ) ,
actual : err . actual ,
expected : err . expected ,
filename : lockfile . filename . display ( ) . to_string ( ) ,
} ) ? ;
}
}
2023-09-18 10:46:44 -04:00
}
}
2023-09-07 09:09:16 -04:00
2023-04-14 16:22:33 -04:00
graph . build ( roots , loader , options ) . await ;
2022-12-09 09:40:48 -05:00
2023-08-29 13:03:02 -04:00
// add the redirects in the graph to the lockfile
if ! graph . redirects . is_empty ( ) {
if let Some ( lockfile ) = & self . lockfile {
2023-09-07 09:09:16 -04:00
let graph_redirects = graph . redirects . iter ( ) . filter ( | ( from , _ ) | {
! matches! ( from . scheme ( ) , " npm " | " file " | " deno " )
} ) ;
2023-08-29 13:03:02 -04:00
let mut lockfile = lockfile . lock ( ) ;
for ( from , to ) in graph_redirects {
lockfile . insert_redirect ( from . to_string ( ) , to . to_string ( ) ) ;
}
}
}
2023-09-18 10:46:44 -04:00
// add the jsr specifiers in the graph to the lockfile
if ! graph . packages . is_empty ( ) {
if let Some ( lockfile ) = & self . lockfile {
let mappings = graph . packages . mappings ( ) ;
let mut lockfile = lockfile . lock ( ) ;
for ( from , to ) in mappings {
lockfile . insert_package_specifier (
format! ( " jsr: {} " , from ) ,
format! ( " jsr: {} " , to ) ,
) ;
}
2024-02-15 14:49:35 -05:00
for ( name , checksum , deps ) in
graph . packages . packages_with_checksum_and_deps ( )
{
lockfile . insert_package (
name . to_string ( ) ,
checksum . clone ( ) ,
deps . map ( | s | s . to_string ( ) ) ,
) ;
2024-01-22 16:31:12 -05:00
}
2023-09-18 10:46:44 -04:00
}
}
2023-09-07 09:09:16 -04:00
2023-09-29 09:26:25 -04:00
if let Some ( npm_resolver ) = self . npm_resolver . as_managed ( ) {
// ensure that the top level package.json is installed if a
// specifier was matched in the package.json
2023-09-30 12:06:38 -04:00
if self . resolver . found_package_json_dep ( ) {
npm_resolver . ensure_top_level_package_json_install ( ) . await ? ;
}
2023-02-22 14:15:25 -05:00
2023-09-29 09:26:25 -04:00
// resolve the dependencies of any pending dependencies
// that were inserted by building the graph
npm_resolver . resolve_pending ( ) . await ? ;
}
2023-04-11 18:10:51 -04:00
2023-04-14 16:22:33 -04:00
Ok ( ( ) )
}
2023-02-22 14:15:25 -05:00
2024-02-20 16:29:57 -05:00
pub fn build_fast_check_graph (
& self ,
graph : & mut ModuleGraph ,
options : BuildFastCheckGraphOptions ,
) -> Result < ( ) , AnyError > {
if ! graph . graph_kind ( ) . include_types ( ) {
return Ok ( ( ) ) ;
}
log ::debug! ( " Building fast check graph " ) ;
let fast_check_cache = if ! options . workspace_fast_check {
Some ( cache ::FastCheckCache ::new ( self . caches . fast_check_db ( ) ) )
} else {
None
} ;
let parser = self . parsed_source_cache . as_capturing_parser ( ) ;
let cli_resolver = & self . resolver ;
let graph_resolver = cli_resolver . as_graph_resolver ( ) ;
let graph_npm_resolver = cli_resolver . as_graph_npm_resolver ( ) ;
let workspace_members = if options . workspace_fast_check {
Some ( self . options . resolve_deno_graph_workspace_members ( ) ? )
} else {
None
} ;
graph . build_fast_check_type_graph (
deno_graph ::BuildFastCheckTypeGraphOptions {
jsr_url_provider : Some ( & CliJsrUrlProvider ) ,
fast_check_cache : fast_check_cache . as_ref ( ) . map ( | c | c as _ ) ,
fast_check_dts : false ,
module_parser : Some ( & parser ) ,
resolver : Some ( graph_resolver ) ,
npm_resolver : Some ( graph_npm_resolver ) ,
workspace_fast_check : if let Some ( members ) = & workspace_members {
deno_graph ::WorkspaceFastCheckOption ::Enabled ( members )
} else {
deno_graph ::WorkspaceFastCheckOption ::Disabled
} ,
} ,
) ;
Ok ( ( ) )
}
2023-04-14 16:22:33 -04:00
/// Creates the default loader used for creating a graph.
pub fn create_graph_loader ( & self ) -> cache ::FetchCacher {
2023-04-26 16:23:28 -04:00
self . create_fetch_cacher ( PermissionsContainer ::allow_all ( ) )
2023-04-14 16:22:33 -04:00
}
pub fn create_fetch_cacher (
& self ,
2023-04-26 16:23:28 -04:00
permissions : PermissionsContainer ,
2023-04-14 16:22:33 -04:00
) -> cache ::FetchCacher {
cache ::FetchCacher ::new (
self . emit_cache . clone ( ) ,
self . file_fetcher . clone ( ) ,
self . options . resolve_file_header_overrides ( ) ,
2023-08-01 20:49:09 -04:00
self . global_http_cache . clone ( ) ,
2023-10-25 14:39:00 -04:00
self . npm_resolver . clone ( ) ,
2023-10-25 18:13:22 -04:00
self . module_info_cache . clone ( ) ,
2023-04-26 16:23:28 -04:00
permissions ,
2023-04-14 16:22:33 -04:00
)
}
2023-02-22 14:15:25 -05:00
}
2022-12-09 09:40:48 -05:00
pub fn error_for_any_npm_specifier (
2023-02-22 14:15:25 -05:00
graph : & ModuleGraph ,
2022-12-09 09:40:48 -05:00
) -> Result < ( ) , AnyError > {
2023-02-22 14:15:25 -05:00
for module in graph . modules ( ) {
match module {
Module ::Npm ( module ) = > {
2023-05-10 20:06:59 -04:00
bail! ( " npm specifiers have not yet been implemented for this subcommand (https://github.com/denoland/deno/issues/15960). Found: {} " , module . specifier )
2022-12-09 09:40:48 -05:00
}
2023-02-22 14:15:25 -05:00
Module ::Node ( module ) = > {
2023-05-10 20:06:59 -04:00
bail! ( " Node specifiers have not yet been implemented for this subcommand (https://github.com/denoland/deno/issues/15960). Found: node:{} " , module . module_name )
2023-02-22 14:15:25 -05:00
}
2024-01-31 22:15:22 -05:00
Module ::Js ( _ ) | Module ::Json ( _ ) | Module ::External ( _ ) = > { }
2023-02-22 14:15:25 -05:00
}
2022-12-09 09:40:48 -05:00
}
2023-02-22 14:15:25 -05:00
Ok ( ( ) )
2022-12-09 09:40:48 -05:00
}
2023-01-24 15:14:49 -05:00
/// Adds more explanatory information to a resolution error.
pub fn enhanced_resolution_error_message ( error : & ResolutionError ) -> String {
2023-01-27 10:43:16 -05:00
let mut message = format! ( " {error} " ) ;
2023-01-24 15:14:49 -05:00
2023-01-27 17:36:23 -05:00
if let Some ( specifier ) = get_resolution_error_bare_node_specifier ( error ) {
message . push_str ( & format! (
" \n If you want to use a built-in Node module, add a \" node: \" prefix (ex. \" node:{specifier} \" ). "
) ) ;
}
message
}
2023-12-07 15:59:13 -05:00
pub fn enhanced_module_error_message (
2023-12-08 09:57:06 -05:00
fs : & dyn FileSystem ,
2023-12-07 15:59:13 -05:00
error : & ModuleError ,
) -> String {
let additional_message = match error {
ModuleError ::Missing ( specifier , _ ) = > {
2023-12-08 09:57:06 -05:00
SloppyImportsResolver ::resolve_with_fs ( fs , specifier )
. as_suggestion_message ( )
2023-12-07 15:59:13 -05:00
}
_ = > None ,
} ;
if let Some ( message ) = additional_message {
format! (
" {} {} or run with --unstable-sloppy-imports " ,
error , message
)
} else {
format! ( " {} " , error )
}
}
2023-01-27 17:36:23 -05:00
pub fn get_resolution_error_bare_node_specifier (
error : & ResolutionError ,
) -> Option < & str > {
2023-05-28 14:44:41 -04:00
get_resolution_error_bare_specifier ( error )
. filter ( | specifier | deno_node ::is_builtin_node_module ( specifier ) )
2023-01-27 17:36:23 -05:00
}
fn get_resolution_error_bare_specifier (
error : & ResolutionError ,
) -> Option < & str > {
2023-01-24 15:14:49 -05:00
if let ResolutionError ::InvalidSpecifier {
error : SpecifierError ::ImportPrefixMissing ( specifier , _ ) ,
..
} = error
{
2023-01-27 17:36:23 -05:00
Some ( specifier . as_str ( ) )
} else if let ResolutionError ::ResolverError { error , .. } = error {
2023-10-20 00:02:08 -04:00
if let ResolveError ::Other ( error ) = ( * error ) . as_ref ( ) {
if let Some ( ImportMapError ::UnmappedBareSpecifier ( specifier , _ ) ) =
error . downcast_ref ::< ImportMapError > ( )
{
Some ( specifier . as_str ( ) )
} else {
None
}
2023-01-27 17:36:23 -05:00
} else {
None
2023-01-24 15:14:49 -05:00
}
2023-01-27 17:36:23 -05:00
} else {
None
2023-01-24 15:14:49 -05:00
}
2023-01-27 17:36:23 -05:00
}
2023-01-24 15:14:49 -05:00
2023-06-06 17:07:46 -04:00
#[ derive(Debug) ]
2023-02-24 14:42:45 -05:00
struct GraphData {
graph : Arc < ModuleGraph > ,
checked_libs : HashMap < TsTypeLib , HashSet < ModuleSpecifier > > ,
}
/// Holds the `ModuleGraph` and what parts of it are type checked.
pub struct ModuleGraphContainer {
2023-03-04 20:07:11 -05:00
// Allow only one request to update the graph data at a time,
// but allow other requests to read from it at any time even
// while another request is updating the data.
update_queue : Arc < TaskQueue > ,
2023-02-24 14:42:45 -05:00
graph_data : Arc < RwLock < GraphData > > ,
}
impl ModuleGraphContainer {
2023-06-06 17:07:46 -04:00
pub fn new ( graph_kind : GraphKind ) -> Self {
Self {
update_queue : Default ::default ( ) ,
graph_data : Arc ::new ( RwLock ::new ( GraphData {
graph : Arc ::new ( ModuleGraph ::new ( graph_kind ) ) ,
checked_libs : Default ::default ( ) ,
} ) ) ,
}
}
2023-02-24 14:42:45 -05:00
/// Acquires a permit to modify the module graph without other code
/// having the chance to modify it. In the meantime, other code may
/// still read from the existing module graph.
pub async fn acquire_update_permit ( & self ) -> ModuleGraphUpdatePermit {
2023-03-04 20:07:11 -05:00
let permit = self . update_queue . acquire ( ) . await ;
2023-02-24 14:42:45 -05:00
ModuleGraphUpdatePermit {
permit ,
graph_data : self . graph_data . clone ( ) ,
graph : ( * self . graph_data . read ( ) . graph ) . clone ( ) ,
}
}
pub fn graph ( & self ) -> Arc < ModuleGraph > {
self . graph_data . read ( ) . graph . clone ( )
}
/// Mark `roots` and all of their dependencies as type checked under `lib`.
/// Assumes that all of those modules are known.
pub fn set_type_checked ( & self , roots : & [ ModuleSpecifier ] , lib : TsTypeLib ) {
// It's ok to analyze and update this while the module graph itself is
// being updated in a permit because the module graph update is always
// additive and this will be a subset of the original graph
let graph = self . graph ( ) ;
let entries = graph . walk (
roots ,
deno_graph ::WalkOptions {
check_js : true ,
follow_dynamic : true ,
follow_type_only : true ,
} ,
) ;
// now update
let mut data = self . graph_data . write ( ) ;
let checked_lib_set = data . checked_libs . entry ( lib ) . or_default ( ) ;
for ( specifier , _ ) in entries {
checked_lib_set . insert ( specifier . clone ( ) ) ;
}
}
/// Check if `roots` are all marked as type checked under `lib`.
pub fn is_type_checked (
& self ,
roots : & [ ModuleSpecifier ] ,
lib : TsTypeLib ,
) -> bool {
let data = self . graph_data . read ( ) ;
match data . checked_libs . get ( & lib ) {
Some ( checked_lib_set ) = > roots . iter ( ) . all ( | r | {
let found = data . graph . resolve ( r ) ;
checked_lib_set . contains ( & found )
} ) ,
None = > false ,
}
}
}
2023-06-14 18:29:19 -04:00
/// Gets if any of the specified root's "file:" dependents are in the
/// provided changed set.
pub fn has_graph_root_local_dependent_changed (
graph : & ModuleGraph ,
root : & ModuleSpecifier ,
2024-01-08 12:18:42 -05:00
canonicalized_changed_paths : & HashSet < PathBuf > ,
2023-06-14 18:29:19 -04:00
) -> bool {
let roots = vec! [ root . clone ( ) ] ;
let mut dependent_specifiers = graph . walk (
& roots ,
deno_graph ::WalkOptions {
follow_dynamic : true ,
follow_type_only : true ,
check_js : true ,
} ,
) ;
while let Some ( ( s , _ ) ) = dependent_specifiers . next ( ) {
2024-01-08 12:18:42 -05:00
if let Ok ( path ) = specifier_to_file_path ( s ) {
if let Ok ( path ) = canonicalize_path ( & path ) {
if canonicalized_changed_paths . contains ( & path ) {
return true ;
}
}
} else {
2023-06-14 18:29:19 -04:00
// skip walking this remote module's dependencies
dependent_specifiers . skip_previous_dependencies ( ) ;
}
}
false
}
2023-02-24 14:42:45 -05:00
/// A permit for updating the module graph. When complete and
/// everything looks fine, calling `.commit()` will store the
/// new graph in the ModuleGraphContainer.
pub struct ModuleGraphUpdatePermit < ' a > {
2023-03-04 20:07:11 -05:00
permit : TaskQueuePermit < ' a > ,
2023-02-24 14:42:45 -05:00
graph_data : Arc < RwLock < GraphData > > ,
graph : ModuleGraph ,
}
impl < ' a > ModuleGraphUpdatePermit < ' a > {
/// Gets the module graph for mutation.
pub fn graph_mut ( & mut self ) -> & mut ModuleGraph {
& mut self . graph
}
/// Saves the mutated module graph in the container
/// and returns an Arc to the new module graph.
pub fn commit ( self ) -> Arc < ModuleGraph > {
let graph = Arc ::new ( self . graph ) ;
self . graph_data . write ( ) . graph = graph . clone ( ) ;
drop ( self . permit ) ; // explicit drop for clarity
graph
}
}
2023-06-14 18:29:19 -04:00
#[ derive(Clone, Debug) ]
pub struct FileWatcherReporter {
2023-10-30 20:25:58 -04:00
watcher_communicator : Arc < WatcherCommunicator > ,
2023-06-14 18:29:19 -04:00
file_paths : Arc < Mutex < Vec < PathBuf > > > ,
}
impl FileWatcherReporter {
2023-10-30 20:25:58 -04:00
pub fn new ( watcher_communicator : Arc < WatcherCommunicator > ) -> Self {
2023-06-14 18:29:19 -04:00
Self {
2023-10-19 01:05:00 -04:00
watcher_communicator ,
2023-06-14 18:29:19 -04:00
file_paths : Default ::default ( ) ,
}
}
pub fn as_reporter ( & self ) -> & dyn deno_graph ::source ::Reporter {
self
}
}
impl deno_graph ::source ::Reporter for FileWatcherReporter {
fn on_load (
& self ,
specifier : & ModuleSpecifier ,
modules_done : usize ,
modules_total : usize ,
) {
let mut file_paths = self . file_paths . lock ( ) ;
if specifier . scheme ( ) = = " file " {
file_paths . push ( specifier . to_file_path ( ) . unwrap ( ) ) ;
}
if modules_done = = modules_total {
2023-10-19 01:05:00 -04:00
self
. watcher_communicator
. watch_paths ( file_paths . drain ( .. ) . collect ( ) )
. unwrap ( ) ;
2023-06-14 18:29:19 -04:00
}
}
}
2023-12-01 15:12:10 -05:00
pub struct DenoGraphFsAdapter < ' a > (
pub & ' a dyn deno_runtime ::deno_fs ::FileSystem ,
) ;
impl < ' a > deno_graph ::source ::FileSystem for DenoGraphFsAdapter < ' a > {
fn read_dir (
& self ,
dir_url : & deno_graph ::ModuleSpecifier ,
) -> Vec < deno_graph ::source ::DirEntry > {
use deno_core ::anyhow ;
use deno_graph ::source ::DirEntry ;
use deno_graph ::source ::DirEntryKind ;
let dir_path = match dir_url . to_file_path ( ) {
Ok ( path ) = > path ,
// ignore, treat as non-analyzable
Err ( ( ) ) = > return vec! [ ] ,
} ;
let entries = match self . 0. read_dir_sync ( & dir_path ) {
Ok ( dir ) = > dir ,
Err ( err )
if matches! (
err . kind ( ) ,
std ::io ::ErrorKind ::PermissionDenied | std ::io ::ErrorKind ::NotFound
) = >
{
return vec! [ ] ;
}
Err ( err ) = > {
return vec! [ DirEntry {
kind : DirEntryKind ::Error (
anyhow ::Error ::from ( err )
. context ( " Failed to read directory. " . to_string ( ) ) ,
) ,
url : dir_url . clone ( ) ,
} ] ;
}
} ;
let mut dir_entries = Vec ::with_capacity ( entries . len ( ) ) ;
for entry in entries {
let entry_path = dir_path . join ( & entry . name ) ;
dir_entries . push ( if entry . is_directory {
DirEntry {
kind : DirEntryKind ::Dir ,
url : ModuleSpecifier ::from_directory_path ( & entry_path ) . unwrap ( ) ,
}
} else if entry . is_file {
DirEntry {
kind : DirEntryKind ::File ,
url : ModuleSpecifier ::from_file_path ( & entry_path ) . unwrap ( ) ,
}
} else if entry . is_symlink {
DirEntry {
kind : DirEntryKind ::Symlink ,
url : ModuleSpecifier ::from_file_path ( & entry_path ) . unwrap ( ) ,
}
} else {
continue ;
} ) ;
}
dir_entries
}
}
pub fn format_range_with_colors ( range : & deno_graph ::Range ) -> String {
format! (
" {}:{}:{} " ,
colors ::cyan ( range . specifier . as_str ( ) ) ,
colors ::yellow ( & ( range . start . line + 1 ) . to_string ( ) ) ,
colors ::yellow ( & ( range . start . character + 1 ) . to_string ( ) )
)
}
2024-02-20 16:29:57 -05:00
#[ derive(Debug, Default, Clone, Copy) ]
struct CliJsrUrlProvider ;
impl deno_graph ::source ::JsrUrlProvider for CliJsrUrlProvider {
fn url ( & self ) -> & 'static ModuleSpecifier {
jsr_url ( )
}
}
2023-01-27 17:36:23 -05:00
#[ cfg(test) ]
mod test {
use std ::sync ::Arc ;
use deno_ast ::ModuleSpecifier ;
2023-10-20 00:02:08 -04:00
use deno_graph ::source ::ResolveError ;
2023-01-27 17:36:23 -05:00
use deno_graph ::Position ;
use deno_graph ::Range ;
use deno_graph ::ResolutionError ;
use deno_graph ::SpecifierError ;
2023-12-06 19:03:18 -05:00
use super ::* ;
2023-01-27 17:36:23 -05:00
#[ test ]
fn import_map_node_resolution_error ( ) {
let cases = vec! [ ( " fs " , Some ( " fs " ) ) , ( " other " , None ) ] ;
for ( input , output ) in cases {
let import_map = import_map ::ImportMap ::new (
ModuleSpecifier ::parse ( " file:///deno.json " ) . unwrap ( ) ,
) ;
let specifier = ModuleSpecifier ::parse ( " file:///file.ts " ) . unwrap ( ) ;
let err = import_map . resolve ( input , & specifier ) . err ( ) . unwrap ( ) ;
let err = ResolutionError ::ResolverError {
2023-10-20 00:02:08 -04:00
error : Arc ::new ( ResolveError ::Other ( err . into ( ) ) ) ,
2023-01-27 17:36:23 -05:00
specifier : input . to_string ( ) ,
range : Range {
specifier ,
start : Position ::zeroed ( ) ,
end : Position ::zeroed ( ) ,
} ,
} ;
assert_eq! ( get_resolution_error_bare_node_specifier ( & err ) , output ) ;
}
}
#[ test ]
fn bare_specifier_node_resolution_error ( ) {
let cases = vec! [ ( " process " , Some ( " process " ) ) , ( " other " , None ) ] ;
for ( input , output ) in cases {
let specifier = ModuleSpecifier ::parse ( " file:///file.ts " ) . unwrap ( ) ;
let err = ResolutionError ::InvalidSpecifier {
range : Range {
specifier ,
start : Position ::zeroed ( ) ,
end : Position ::zeroed ( ) ,
} ,
error : SpecifierError ::ImportPrefixMissing ( input . to_string ( ) , None ) ,
} ;
assert_eq! ( get_resolution_error_bare_node_specifier ( & err ) , output , ) ;
}
}
2023-01-24 15:14:49 -05:00
}