2019-12-22 22:42:04 +00:00
|
|
|
use super::item::ItemInfo;
|
|
|
|
use super::Parser;
|
2019-08-11 16:34:42 +00:00
|
|
|
|
2019-10-15 20:48:13 +00:00
|
|
|
use crate::{new_sub_parser_from_file, DirectoryOwnership};
|
|
|
|
|
2020-02-29 17:37:32 +00:00
|
|
|
use rustc_ast::ast::{self, Attribute, Crate, Ident, ItemKind, Mod};
|
|
|
|
use rustc_ast::attr;
|
|
|
|
use rustc_ast::token::{self, TokenKind};
|
2020-03-08 08:28:46 +00:00
|
|
|
use rustc_errors::{struct_span_err, PResult};
|
|
|
|
use rustc_session::parse::ParseSess;
|
|
|
|
use rustc_span::source_map::{FileName, Span, DUMMY_SP};
|
2019-12-31 17:15:40 +00:00
|
|
|
use rustc_span::symbol::sym;
|
2019-10-11 11:06:36 +00:00
|
|
|
|
2019-08-11 16:34:42 +00:00
|
|
|
use std::path::{self, Path, PathBuf};
|
|
|
|
|
|
|
|
/// Information about the path to a module.
|
2020-01-11 19:19:57 +00:00
|
|
|
// Public for rustfmt usage.
|
2020-03-08 08:28:46 +00:00
|
|
|
pub struct ModulePath<'a> {
|
2019-08-11 16:34:42 +00:00
|
|
|
name: String,
|
|
|
|
path_exists: bool,
|
2020-03-08 08:28:46 +00:00
|
|
|
pub result: PResult<'a, ModulePathSuccess>,
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
|
2020-01-11 19:19:57 +00:00
|
|
|
// Public for rustfmt usage.
|
|
|
|
pub struct ModulePathSuccess {
|
2019-08-11 16:34:42 +00:00
|
|
|
pub path: PathBuf,
|
|
|
|
pub directory_ownership: DirectoryOwnership,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Parser<'a> {
|
|
|
|
/// Parses a source module as a crate. This is the main entry point for the parser.
|
2019-10-16 11:23:46 +00:00
|
|
|
pub fn parse_crate_mod(&mut self) -> PResult<'a, Crate> {
|
2019-08-11 16:34:42 +00:00
|
|
|
let lo = self.token.span;
|
2020-03-07 19:19:52 +00:00
|
|
|
let (module, attrs) = self.parse_mod(&token::Eof)?;
|
|
|
|
let span = lo.to(self.token.span);
|
|
|
|
let proc_macros = Vec::new(); // Filled in by `proc_macro_harness::inject()`.
|
|
|
|
Ok(ast::Crate { attrs, module, span, proc_macros })
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
|
2019-09-06 02:56:45 +00:00
|
|
|
/// Parses a `mod <foo> { ... }` or `mod <foo>;` item.
|
2020-01-31 10:35:36 +00:00
|
|
|
pub(super) fn parse_item_mod(&mut self, attrs: &mut Vec<Attribute>) -> PResult<'a, ItemInfo> {
|
|
|
|
let in_cfg = crate::config::process_configure_mod(self.sess, self.cfg_mods, attrs);
|
2019-08-11 16:34:42 +00:00
|
|
|
|
|
|
|
let id = self.parse_ident()?;
|
2020-01-31 10:35:36 +00:00
|
|
|
let (module, mut inner_attrs) = if self.eat(&token::Semi) {
|
2019-08-11 16:34:42 +00:00
|
|
|
if in_cfg && self.recurse_into_file_modules {
|
|
|
|
// This mod is in an external file. Let's go get it!
|
2020-03-08 08:28:46 +00:00
|
|
|
let ModulePathSuccess { path, directory_ownership } = submod_path(
|
|
|
|
self.sess,
|
|
|
|
id,
|
|
|
|
&attrs,
|
|
|
|
self.directory.ownership,
|
|
|
|
&self.directory.path,
|
|
|
|
)?;
|
2020-03-07 18:41:24 +00:00
|
|
|
self.eval_src_mod(path, directory_ownership, id.to_string(), id.span)?
|
2019-08-11 16:34:42 +00:00
|
|
|
} else {
|
2020-01-31 10:35:36 +00:00
|
|
|
(ast::Mod { inner: DUMMY_SP, items: Vec::new(), inline: false }, Vec::new())
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
let old_directory = self.directory.clone();
|
2020-01-31 10:35:36 +00:00
|
|
|
self.push_directory(id, &attrs);
|
2019-08-11 16:34:42 +00:00
|
|
|
|
|
|
|
self.expect(&token::OpenDelim(token::Brace))?;
|
2020-03-07 19:19:52 +00:00
|
|
|
let module = self.parse_mod(&token::CloseDelim(token::Brace))?;
|
2019-08-11 16:34:42 +00:00
|
|
|
|
|
|
|
self.directory = old_directory;
|
2020-03-07 19:19:52 +00:00
|
|
|
module
|
2020-01-31 10:35:36 +00:00
|
|
|
};
|
|
|
|
attrs.append(&mut inner_attrs);
|
2020-01-31 11:09:21 +00:00
|
|
|
Ok((id, ItemKind::Mod(module)))
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
|
2020-03-07 19:19:52 +00:00
|
|
|
/// Parses the contents of a module (inner attributes followed by module items).
|
|
|
|
fn parse_mod(&mut self, term: &TokenKind) -> PResult<'a, (Mod, Vec<Attribute>)> {
|
|
|
|
let lo = self.token.span;
|
|
|
|
let attrs = self.parse_inner_attributes()?;
|
|
|
|
let module = self.parse_mod_items(term, lo)?;
|
|
|
|
Ok((module, attrs))
|
|
|
|
}
|
|
|
|
|
2019-08-11 16:34:42 +00:00
|
|
|
/// Given a termination token, parses all of the items in a module.
|
|
|
|
fn parse_mod_items(&mut self, term: &TokenKind, inner_lo: Span) -> PResult<'a, Mod> {
|
|
|
|
let mut items = vec![];
|
|
|
|
while let Some(item) = self.parse_item()? {
|
|
|
|
items.push(item);
|
|
|
|
self.maybe_consume_incorrect_semicolon(&items);
|
|
|
|
}
|
|
|
|
|
|
|
|
if !self.eat(term) {
|
2019-12-07 02:07:35 +00:00
|
|
|
let token_str = super::token_descr(&self.token);
|
2019-08-11 16:34:42 +00:00
|
|
|
if !self.maybe_consume_incorrect_semicolon(&items) {
|
2019-12-31 00:28:10 +00:00
|
|
|
let msg = &format!("expected item, found {}", token_str);
|
|
|
|
let mut err = self.struct_span_err(self.token.span, msg);
|
2019-08-11 16:34:42 +00:00
|
|
|
err.span_label(self.token.span, "expected item");
|
|
|
|
return Err(err);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-29 11:56:15 +00:00
|
|
|
let hi = if self.token.span.is_dummy() { inner_lo } else { self.prev_token.span };
|
2019-08-11 16:34:42 +00:00
|
|
|
|
2019-12-22 22:42:04 +00:00
|
|
|
Ok(Mod { inner: inner_lo.to(hi), items, inline: true })
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Reads a module from a source file.
|
|
|
|
fn eval_src_mod(
|
|
|
|
&mut self,
|
|
|
|
path: PathBuf,
|
|
|
|
directory_ownership: DirectoryOwnership,
|
|
|
|
name: String,
|
|
|
|
id_sp: Span,
|
|
|
|
) -> PResult<'a, (Mod, Vec<Attribute>)> {
|
|
|
|
let mut included_mod_stack = self.sess.included_mod_stack.borrow_mut();
|
2020-03-07 18:53:25 +00:00
|
|
|
self.error_on_circular_module(id_sp, &path, &included_mod_stack)?;
|
2019-08-11 16:34:42 +00:00
|
|
|
included_mod_stack.push(path.clone());
|
|
|
|
drop(included_mod_stack);
|
|
|
|
|
|
|
|
let mut p0 =
|
|
|
|
new_sub_parser_from_file(self.sess, &path, directory_ownership, Some(name), id_sp);
|
|
|
|
p0.cfg_mods = self.cfg_mods;
|
2020-03-07 19:19:52 +00:00
|
|
|
let mut module = p0.parse_mod(&token::Eof)?;
|
|
|
|
module.0.inline = false;
|
|
|
|
|
2019-08-11 16:34:42 +00:00
|
|
|
self.sess.included_mod_stack.borrow_mut().pop();
|
2020-03-07 19:19:52 +00:00
|
|
|
Ok(module)
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
|
2020-03-07 18:53:25 +00:00
|
|
|
fn error_on_circular_module(
|
|
|
|
&self,
|
|
|
|
span: Span,
|
|
|
|
path: &Path,
|
|
|
|
included_mod_stack: &[PathBuf],
|
|
|
|
) -> PResult<'a, ()> {
|
|
|
|
if let Some(i) = included_mod_stack.iter().position(|p| *p == path) {
|
|
|
|
let mut err = String::from("circular modules: ");
|
|
|
|
let len = included_mod_stack.len();
|
|
|
|
for p in &included_mod_stack[i..len] {
|
|
|
|
err.push_str(&p.to_string_lossy());
|
|
|
|
err.push_str(" -> ");
|
|
|
|
}
|
|
|
|
err.push_str(&path.to_string_lossy());
|
|
|
|
return Err(self.struct_span_err(span, &err[..]));
|
|
|
|
}
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
2019-08-11 16:34:42 +00:00
|
|
|
fn push_directory(&mut self, id: Ident, attrs: &[Attribute]) {
|
|
|
|
if let Some(path) = attr::first_attr_value_str_by_name(attrs, sym::path) {
|
2020-02-05 03:33:08 +00:00
|
|
|
self.directory.path.push(&*path.as_str());
|
2019-08-11 16:34:42 +00:00
|
|
|
self.directory.ownership = DirectoryOwnership::Owned { relative: None };
|
|
|
|
} else {
|
|
|
|
// We have to push on the current module name in the case of relative
|
|
|
|
// paths in order to ensure that any additional module paths from inline
|
|
|
|
// `mod x { ... }` come after the relative extension.
|
|
|
|
//
|
|
|
|
// For example, a `mod z { ... }` inside `x/y.rs` should set the current
|
|
|
|
// directory path to `/x/y/z`, not `/x/z` with a relative offset of `y`.
|
|
|
|
if let DirectoryOwnership::Owned { relative } = &mut self.directory.ownership {
|
2019-12-22 22:42:04 +00:00
|
|
|
if let Some(ident) = relative.take() {
|
|
|
|
// remove the relative offset
|
2020-02-05 03:33:08 +00:00
|
|
|
self.directory.path.push(&*ident.as_str());
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
}
|
2020-02-05 03:33:08 +00:00
|
|
|
self.directory.path.push(&*id.as_str());
|
2019-08-11 16:34:42 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2020-03-08 08:28:46 +00:00
|
|
|
|
|
|
|
fn submod_path<'a>(
|
|
|
|
sess: &'a ParseSess,
|
|
|
|
id: ast::Ident,
|
|
|
|
outer_attrs: &[Attribute],
|
|
|
|
directory_ownership: DirectoryOwnership,
|
|
|
|
dir_path: &Path,
|
|
|
|
) -> PResult<'a, ModulePathSuccess> {
|
|
|
|
if let Some(path) = submod_path_from_attr(outer_attrs, dir_path) {
|
|
|
|
let directory_ownership = match path.file_name().and_then(|s| s.to_str()) {
|
|
|
|
// All `#[path]` files are treated as though they are a `mod.rs` file.
|
|
|
|
// This means that `mod foo;` declarations inside `#[path]`-included
|
|
|
|
// files are siblings,
|
|
|
|
//
|
|
|
|
// Note that this will produce weirdness when a file named `foo.rs` is
|
|
|
|
// `#[path]` included and contains a `mod foo;` declaration.
|
|
|
|
// If you encounter this, it's your own darn fault :P
|
|
|
|
Some(_) => DirectoryOwnership::Owned { relative: None },
|
|
|
|
_ => DirectoryOwnership::UnownedViaMod,
|
|
|
|
};
|
|
|
|
return Ok(ModulePathSuccess { directory_ownership, path });
|
|
|
|
}
|
|
|
|
|
|
|
|
let relative = match directory_ownership {
|
|
|
|
DirectoryOwnership::Owned { relative } => relative,
|
|
|
|
DirectoryOwnership::UnownedViaBlock | DirectoryOwnership::UnownedViaMod => None,
|
|
|
|
};
|
|
|
|
let ModulePath { path_exists, name, result } =
|
|
|
|
default_submod_path(sess, id, relative, dir_path);
|
|
|
|
match directory_ownership {
|
|
|
|
DirectoryOwnership::Owned { .. } => Ok(result?),
|
|
|
|
DirectoryOwnership::UnownedViaBlock => {
|
|
|
|
let _ = result.map_err(|mut err| err.cancel());
|
|
|
|
error_decl_mod_in_block(sess, id.span, path_exists, &name)
|
|
|
|
}
|
|
|
|
DirectoryOwnership::UnownedViaMod => {
|
|
|
|
let _ = result.map_err(|mut err| err.cancel());
|
|
|
|
error_cannot_declare_mod_here(sess, id.span, path_exists, &name)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn error_decl_mod_in_block<'a, T>(
|
|
|
|
sess: &'a ParseSess,
|
|
|
|
id_sp: Span,
|
|
|
|
path_exists: bool,
|
|
|
|
name: &str,
|
|
|
|
) -> PResult<'a, T> {
|
|
|
|
let msg = "Cannot declare a non-inline module inside a block unless it has a path attribute";
|
|
|
|
let mut err = sess.span_diagnostic.struct_span_err(id_sp, msg);
|
|
|
|
if path_exists {
|
|
|
|
let msg = format!("Maybe `use` the module `{}` instead of redeclaring it", name);
|
|
|
|
err.span_note(id_sp, &msg);
|
|
|
|
}
|
|
|
|
Err(err)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn error_cannot_declare_mod_here<'a, T>(
|
|
|
|
sess: &'a ParseSess,
|
|
|
|
id_sp: Span,
|
|
|
|
path_exists: bool,
|
|
|
|
name: &str,
|
|
|
|
) -> PResult<'a, T> {
|
|
|
|
let mut err =
|
|
|
|
sess.span_diagnostic.struct_span_err(id_sp, "cannot declare a new module at this location");
|
|
|
|
if !id_sp.is_dummy() {
|
|
|
|
if let FileName::Real(src_path) = sess.source_map().span_to_filename(id_sp) {
|
|
|
|
if let Some(stem) = src_path.file_stem() {
|
|
|
|
let mut dest_path = src_path.clone();
|
|
|
|
dest_path.set_file_name(stem);
|
|
|
|
dest_path.push("mod.rs");
|
|
|
|
err.span_note(
|
|
|
|
id_sp,
|
|
|
|
&format!(
|
|
|
|
"maybe move this module `{}` to its own \
|
|
|
|
directory via `{}`",
|
|
|
|
src_path.display(),
|
|
|
|
dest_path.display()
|
|
|
|
),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if path_exists {
|
|
|
|
err.span_note(
|
|
|
|
id_sp,
|
|
|
|
&format!("... or maybe `use` the module `{}` instead of possibly redeclaring it", name),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
Err(err)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Derive a submodule path from the first found `#[path = "path_string"]`.
|
|
|
|
/// The provided `dir_path` is joined with the `path_string`.
|
|
|
|
// Public for rustfmt usage.
|
|
|
|
pub fn submod_path_from_attr(attrs: &[Attribute], dir_path: &Path) -> Option<PathBuf> {
|
|
|
|
// Extract path string from first `#[path = "path_string"]` attribute.
|
|
|
|
let path_string = attr::first_attr_value_str_by_name(attrs, sym::path)?;
|
|
|
|
let path_string = path_string.as_str();
|
|
|
|
|
|
|
|
// On windows, the base path might have the form
|
|
|
|
// `\\?\foo\bar` in which case it does not tolerate
|
|
|
|
// mixed `/` and `\` separators, so canonicalize
|
|
|
|
// `/` to `\`.
|
|
|
|
#[cfg(windows)]
|
|
|
|
let path_string = path_string.replace("/", "\\");
|
|
|
|
|
|
|
|
Some(dir_path.join(&*path_string))
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns a path to a module.
|
|
|
|
// Public for rustfmt usage.
|
|
|
|
pub fn default_submod_path<'a>(
|
|
|
|
sess: &'a ParseSess,
|
|
|
|
id: ast::Ident,
|
|
|
|
relative: Option<ast::Ident>,
|
|
|
|
dir_path: &Path,
|
|
|
|
) -> ModulePath<'a> {
|
|
|
|
// If we're in a foo.rs file instead of a mod.rs file,
|
|
|
|
// we need to look for submodules in
|
|
|
|
// `./foo/<id>.rs` and `./foo/<id>/mod.rs` rather than
|
|
|
|
// `./<id>.rs` and `./<id>/mod.rs`.
|
|
|
|
let relative_prefix_string;
|
|
|
|
let relative_prefix = if let Some(ident) = relative {
|
|
|
|
relative_prefix_string = format!("{}{}", ident.name, path::MAIN_SEPARATOR);
|
|
|
|
&relative_prefix_string
|
|
|
|
} else {
|
|
|
|
""
|
|
|
|
};
|
|
|
|
|
|
|
|
let mod_name = id.name.to_string();
|
|
|
|
let default_path_str = format!("{}{}.rs", relative_prefix, mod_name);
|
|
|
|
let secondary_path_str =
|
|
|
|
format!("{}{}{}mod.rs", relative_prefix, mod_name, path::MAIN_SEPARATOR);
|
|
|
|
let default_path = dir_path.join(&default_path_str);
|
|
|
|
let secondary_path = dir_path.join(&secondary_path_str);
|
|
|
|
let default_exists = sess.source_map().file_exists(&default_path);
|
|
|
|
let secondary_exists = sess.source_map().file_exists(&secondary_path);
|
|
|
|
|
|
|
|
let result = match (default_exists, secondary_exists) {
|
|
|
|
(true, false) => Ok(ModulePathSuccess {
|
|
|
|
path: default_path,
|
|
|
|
directory_ownership: DirectoryOwnership::Owned { relative: Some(id) },
|
|
|
|
}),
|
|
|
|
(false, true) => Ok(ModulePathSuccess {
|
|
|
|
path: secondary_path,
|
|
|
|
directory_ownership: DirectoryOwnership::Owned { relative: None },
|
|
|
|
}),
|
|
|
|
(false, false) => {
|
|
|
|
let mut err = struct_span_err!(
|
|
|
|
sess.span_diagnostic,
|
|
|
|
id.span,
|
|
|
|
E0583,
|
|
|
|
"file not found for module `{}`",
|
|
|
|
mod_name,
|
|
|
|
);
|
|
|
|
err.help(&format!(
|
|
|
|
"to create the module `{}`, create file \"{}\"",
|
|
|
|
mod_name,
|
|
|
|
default_path.display(),
|
|
|
|
));
|
|
|
|
Err(err)
|
|
|
|
}
|
|
|
|
(true, true) => {
|
|
|
|
let mut err = struct_span_err!(
|
|
|
|
sess.span_diagnostic,
|
|
|
|
id.span,
|
|
|
|
E0584,
|
|
|
|
"file for module `{}` found at both {} and {}",
|
|
|
|
mod_name,
|
|
|
|
default_path_str,
|
|
|
|
secondary_path_str,
|
|
|
|
);
|
|
|
|
err.help("delete or rename one of them to remove the ambiguity");
|
|
|
|
Err(err)
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
ModulePath { name: mod_name, path_exists: default_exists || secondary_exists, result }
|
|
|
|
}
|