1#[derive(Debug, Clone, Copy, PartialEq, Eq)]
12pub enum LoadTiming {
13 CompileTime,
15 Runtime,
17}
18
19#[derive(Debug, Clone, Copy, PartialEq, Eq)]
21pub enum ImportBehavior {
22 CallsImport,
24 NoImport,
26}
27
28#[derive(Debug, Clone, Copy, PartialEq, Eq)]
30pub struct DispatchSemantics {
31 pub load_timing: LoadTiming,
33 pub import_behavior: ImportBehavior,
35}
36
37impl DispatchSemantics {
38 #[must_use]
40 pub fn hover_description(&self) -> &'static str {
41 match (self.load_timing, self.import_behavior) {
42 (LoadTiming::CompileTime, ImportBehavior::CallsImport) => {
43 "compile-time load; calls import()"
44 }
45 (LoadTiming::Runtime, ImportBehavior::NoImport) => "runtime load; no import() call",
46 (LoadTiming::CompileTime, ImportBehavior::NoImport) => {
47 "compile-time load; no import() call"
48 }
49 (LoadTiming::Runtime, ImportBehavior::CallsImport) => "runtime load; calls import()",
50 }
51 }
52}
53
54#[derive(Debug, Clone, Copy, PartialEq, Eq)]
56pub enum ImportListForm {
57 Default,
59 Empty,
61 Explicit,
63}
64
65#[derive(Debug, Clone, Copy, PartialEq, Eq)]
67pub enum RequireForm {
68 ModuleName,
70 FilePath,
72}
73
74#[derive(Debug, Clone, Copy, PartialEq, Eq)]
76pub enum ModuleImportKind {
77 Use,
79 Require,
81 UseParent,
83 UseBase,
85}
86
87impl ModuleImportKind {
88 #[must_use]
90 pub fn dispatch_semantics(self) -> DispatchSemantics {
91 match self {
92 ModuleImportKind::Use | ModuleImportKind::UseParent | ModuleImportKind::UseBase => {
93 DispatchSemantics {
94 load_timing: LoadTiming::CompileTime,
95 import_behavior: ImportBehavior::CallsImport,
96 }
97 }
98 ModuleImportKind::Require => DispatchSemantics {
99 load_timing: LoadTiming::Runtime,
100 import_behavior: ImportBehavior::NoImport,
101 },
102 }
103 }
104}
105
106#[derive(Debug, Clone, Copy, PartialEq, Eq)]
108pub struct ModuleImportHead<'a> {
109 pub kind: ModuleImportKind,
111 pub token: &'a str,
113 pub token_start: usize,
115 pub token_end: usize,
117 require_form: Option<RequireForm>,
120 pub import_list: Option<ImportListForm>,
122}
123
124#[must_use]
129pub fn resolve_known_export_tag(module: &str, tag: &str) -> Option<&'static [&'static str]> {
130 let normalized_tag = tag.strip_prefix(':').unwrap_or(tag);
131 match (module, normalized_tag) {
132 ("POSIX", "sys_wait_h") => Some(&["WIFEXITED", "WEXITSTATUS", "WIFSIGNALED", "WTERMSIG"]),
133 ("POSIX", "fcntl_h") => Some(&["F_GETFL", "F_SETFL", "F_SETFD", "F_GETFD"]),
134 ("POSIX", "termios_h") => Some(&["TCSANOW", "TCSADRAIN", "TCSAFLUSH", "B9600"]),
135 ("File::Find", "find") => Some(&["find", "finddepth"]),
136 ("Fcntl", "seek") => Some(&["SEEK_SET", "SEEK_CUR", "SEEK_END"]),
137 ("Fcntl", "lock") => Some(&["LOCK_SH", "LOCK_EX", "LOCK_NB", "LOCK_UN"]),
138 ("Encode", "fallback") => Some(&["FB_DEFAULT", "FB_CROAK", "FB_QUIET", "FB_WARN"]),
139 _ => None,
140 }
141}
142
143impl<'a> ModuleImportHead<'a> {
144 #[must_use]
146 pub fn require_form(&self) -> Option<RequireForm> {
147 self.require_form
148 }
149}
150
151#[must_use]
156pub fn parse_module_import_head(line: &str) -> Option<ModuleImportHead<'_>> {
157 if let Some((token, token_start, token_end)) = parse_statement_head(line, "use") {
158 let kind = match token {
159 "parent" => ModuleImportKind::UseParent,
160 "base" => ModuleImportKind::UseBase,
161 _ => ModuleImportKind::Use,
162 };
163
164 let import_list = match kind {
165 ModuleImportKind::Use => Some(classify_use_import_list(&line[token_end..])),
166 ModuleImportKind::UseParent | ModuleImportKind::UseBase => None,
167 ModuleImportKind::Require => None,
168 };
169
170 return Some(ModuleImportHead {
171 kind,
172 token,
173 token_start,
174 token_end,
175 require_form: None,
176 import_list,
177 });
178 }
179
180 if let Some(result) = parse_require_head(line) {
181 return Some(result);
182 }
183
184 None
185}
186
187fn parse_require_head(line: &str) -> Option<ModuleImportHead<'_>> {
189 let trimmed = line.trim_start();
190 let leading = line.len().saturating_sub(trimmed.len());
191
192 let rest = trimmed.strip_prefix("require")?;
193 if !rest.chars().next().is_some_and(char::is_whitespace) {
194 return None;
195 }
196
197 let after_keyword = leading + "require".len();
198
199 let rest_trimmed = rest.trim_start();
200 let quote_offset = rest.len() - rest_trimmed.len();
201
202 if let Some(quote_char) = rest_trimmed.chars().next().filter(|ch| *ch == '"' || *ch == '\'') {
203 let quoted = &rest_trimmed[quote_char.len_utf8()..];
204 let close_idx = quoted.find(quote_char)?;
205 let inner = "ed[..close_idx];
206
207 let token_start = after_keyword + quote_offset + quote_char.len_utf8();
208 let token_end = token_start + inner.len();
209 return Some(ModuleImportHead {
210 kind: ModuleImportKind::Require,
211 token: inner,
212 token_start,
213 token_end,
214 require_form: Some(RequireForm::FilePath),
215 import_list: None,
216 });
217 }
218
219 let (token, token_rel_start, token_rel_end) = first_token_with_range(rest)?;
220 let token_start = after_keyword + token_rel_start;
221 let token_end = after_keyword + token_rel_end;
222
223 Some(ModuleImportHead {
224 kind: ModuleImportKind::Require,
225 token,
226 token_start,
227 token_end,
228 require_form: Some(RequireForm::ModuleName),
229 import_list: None,
230 })
231}
232
233fn classify_use_import_list(rest: &str) -> ImportListForm {
234 let trimmed = rest.trim_start();
235
236 if trimmed.is_empty() || trimmed.starts_with(';') {
237 return ImportListForm::Default;
238 }
239
240 if let Some(after_open) = trimmed.strip_prefix('(')
241 && let Some(close_idx) = after_open.find(')')
242 && after_open[..close_idx].trim().is_empty()
243 {
244 let after_close = after_open[close_idx + 1..].trim_start();
245 if after_close.is_empty() || after_close.starts_with(';') || after_close.starts_with('#') {
246 return ImportListForm::Empty;
247 }
248 }
249
250 ImportListForm::Explicit
251}
252
253fn parse_statement_head<'a>(line: &'a str, keyword: &str) -> Option<(&'a str, usize, usize)> {
254 let trimmed = line.trim_start();
255 let leading = line.len().saturating_sub(trimmed.len());
256
257 let rest = trimmed.strip_prefix(keyword)?;
258 if !rest.chars().next().is_some_and(char::is_whitespace) {
259 return None;
260 }
261
262 let (token, token_rel_start, token_rel_end) = first_token_with_range(rest)?;
263 let token_start = leading + keyword.len() + token_rel_start;
264 let token_end = leading + keyword.len() + token_rel_end;
265
266 Some((token, token_start, token_end))
267}
268
269fn first_token_with_range(input: &str) -> Option<(&str, usize, usize)> {
270 let mut token_start = None;
271
272 for (idx, ch) in input.char_indices() {
273 match token_start {
274 None => {
275 if is_token_delimiter(ch) {
276 continue;
277 }
278 token_start = Some(idx);
279 }
280 Some(start) => {
281 if is_token_delimiter(ch) {
282 if start == idx {
283 return None;
284 }
285 return Some((&input[start..idx], start, idx));
286 }
287 }
288 }
289 }
290
291 if let Some(start) = token_start {
292 if start < input.len() { Some((&input[start..], start, input.len())) } else { None }
293 } else {
294 None
295 }
296}
297
298fn is_token_delimiter(ch: char) -> bool {
299 ch.is_whitespace() || matches!(ch, ';' | '(' | ')')
300}
301
302#[derive(Debug, Clone, PartialEq, Eq)]
306pub struct RequireImportEntry {
307 pub module: String,
309 pub symbol: String,
311 pub require_byte_offset: usize,
313 pub import_byte_offset: usize,
315}
316
317#[must_use]
339pub fn extract_require_import_symbols(source: &str) -> Vec<RequireImportEntry> {
340 let mut entries = Vec::new();
341
342 let lines: Vec<(usize, &str)> = {
344 let mut v = Vec::new();
345 let mut offset = 0usize;
346 for line in source.split('\n') {
347 let trimmed = line.trim();
348 if !trimmed.is_empty() {
349 v.push((offset, trimmed));
350 }
351 offset += line.len() + 1; }
353 v
354 };
355
356 for (i, &(req_offset, req_line)) in lines.iter().enumerate() {
357 let module = match parse_literal_require_line(req_line) {
359 Some(m) => m,
360 None => continue,
361 };
362
363 let window_end = (i + 1 + 5).min(lines.len());
367 for &(imp_offset, imp_line) in &lines[i + 1..window_end] {
368 if let Some(symbols) = parse_literal_import_call(imp_line, module) {
369 for symbol in symbols {
370 entries.push(RequireImportEntry {
371 module: module.to_string(),
372 symbol,
373 require_byte_offset: req_offset,
374 import_byte_offset: imp_offset,
375 });
376 }
377 break;
379 }
380 if is_statement_terminator(imp_line) {
382 break;
383 }
384 }
385 }
386
387 entries
388}
389
390fn parse_literal_require_line(line: &str) -> Option<&str> {
400 let rest = line.strip_prefix("require")?;
401 if !rest.starts_with(|c: char| c.is_whitespace()) {
403 return None;
404 }
405 let rest = rest.trim_start();
406 if rest.starts_with('$') || rest.starts_with('"') || rest.starts_with('\'') {
408 return None;
409 }
410 let end = rest.find(|c: char| c == ';' || c.is_whitespace()).unwrap_or(rest.len());
412 let module = &rest[..end];
413 if module.is_empty() {
414 return None;
415 }
416 if !module.starts_with(|c: char| c.is_ascii_alphabetic() || c == '_') {
418 return None;
419 }
420 if !module.chars().all(|c| c.is_ascii_alphanumeric() || c == '_' || c == ':') {
422 return None;
423 }
424 Some(module)
425}
426
427fn parse_literal_import_call(line: &str, expected_module: &str) -> Option<Vec<String>> {
433 let prefix = format!("{}->import(", expected_module);
435 let after_open = line.strip_prefix(prefix.as_str())?;
436
437 let close_idx = after_open.rfind(')')?;
439 let args_src = &after_open[..close_idx];
440
441 if args_src.contains('@') || args_src.contains('$') {
443 return None;
444 }
445
446 let symbols = parse_literal_arg_list(args_src)?;
447 Some(symbols)
448}
449
450fn parse_literal_arg_list(args: &str) -> Option<Vec<String>> {
455 let trimmed = args.trim();
456
457 if trimmed.is_empty() {
458 return Some(Vec::new());
459 }
460
461 if let Some(inner) = trimmed.strip_prefix("qw(").and_then(|s| s.strip_suffix(')')) {
463 let words: Vec<String> =
464 inner.split_whitespace().filter(|w| !w.is_empty()).map(|w| w.to_string()).collect();
465 return Some(words);
466 }
467
468 let mut symbols = Vec::new();
470 for part in trimmed.split(',') {
471 let p = part.trim();
472 if p.is_empty() {
473 continue;
474 }
475 if let Some(inner) = p.strip_prefix('\'').and_then(|s| s.strip_suffix('\'')) {
477 if inner.is_empty() {
478 continue;
479 }
480 symbols.push(inner.to_string());
481 continue;
482 }
483 if let Some(inner) = p.strip_prefix('"').and_then(|s| s.strip_suffix('"')) {
485 if inner.is_empty() {
486 continue;
487 }
488 symbols.push(inner.to_string());
489 continue;
490 }
491 return None;
493 }
494
495 Some(symbols)
496}
497
498fn is_statement_terminator(line: &str) -> bool {
504 line.starts_with("use ")
505 || line.starts_with("require ")
506 || line.starts_with("sub ")
507 || line.starts_with("package ")
508 || line.starts_with("my ")
509 || line.starts_with("our ")
510 || line.starts_with("local ")
511}