1096: macros: add include! macro r=CohenArthur a=liushuyu

- add `include!` macro

Co-authored-by: liushuyu <liushuyu011@gmail.com>
This commit is contained in:
bors[bot] 2022-04-19 09:08:38 +00:00 committed by GitHub
commit 321be1b3c9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 73 additions and 0 deletions

View File

@ -412,4 +412,60 @@ MacroBuiltin::cfg (Location invoc_locus, AST::MacroInvocData &invoc)
return AST::ASTFragment ({literal_exp});
}
/* Expand builtin macro include!(), which includes a source file at the current
scope compile time. */
AST::ASTFragment
MacroBuiltin::include (Location invoc_locus, AST::MacroInvocData &invoc)
{
/* Get target filename from the macro invocation, which is treated as a path
relative to the include!-ing file (currently being compiled). */
auto lit_expr
= parse_single_string_literal (invoc.get_delim_tok_tree (), invoc_locus);
if (lit_expr == nullptr)
return AST::ASTFragment::create_error ();
std::string filename
= source_relative_path (lit_expr->as_string (), invoc_locus);
auto target_filename
= Rust::Session::get_instance ().include_extra_file (std::move (filename));
RAIIFile target_file (target_filename);
Linemap *linemap = Session::get_instance ().linemap;
if (target_file.get_raw () == nullptr)
{
rust_error_at (lit_expr->get_locus (),
"cannot open included file %qs: %m", target_filename);
return AST::ASTFragment::create_error ();
}
rust_debug ("Attempting to parse included file %s", target_filename);
Lexer lex (target_filename, std::move (target_file), linemap);
Parser<Lexer> parser (std::move (lex));
auto parsed_items = parser.parse_items ();
bool has_error = !parser.get_errors ().empty ();
for (const auto &error : parser.get_errors ())
error.emit_error ();
if (has_error)
{
// inform the user that the errors above are from a included file
rust_inform (invoc_locus, "included from here");
return AST::ASTFragment::create_error ();
}
std::vector<AST::SingleASTNode> nodes{};
for (auto &item : parsed_items)
{
AST::SingleASTNode node (std::move (item));
nodes.push_back (node);
}
return AST::ASTFragment (nodes);
}
} // namespace Rust

View File

@ -95,6 +95,9 @@ public:
static AST::ASTFragment cfg (Location invoc_locus,
AST::MacroInvocData &invoc);
static AST::ASTFragment include (Location invoc_locus,
AST::MacroInvocData &invoc);
};
} // namespace Rust

View File

@ -235,6 +235,10 @@ struct Session
* every file so eh. */
std::string injected_crate_name;
/* extra files get included during late stages of compilation (e.g. macro
* expansion) */
std::vector<std::string> extra_files;
// backend wrapper to GCC GENERIC
Backend *backend;
@ -267,6 +271,15 @@ public:
void parse_files (int num_files, const char **files);
void init_options ();
/* This function saves the filename data into the session manager using the
* `move` semantics, and returns a C-style string referencing the input
* std::string */
inline const char *include_extra_file (std::string filename)
{
extra_files.push_back (std::move (filename));
return extra_files.back ().c_str ();
}
private:
Session () = default;
void parse_file (const char *filename);

View File

@ -757,6 +757,7 @@ Mappings::insert_macro_def (AST::MacroRulesDefinition *macro)
{"concat", MacroBuiltin::concat},
{"env", MacroBuiltin::env},
{"cfg", MacroBuiltin::cfg},
{"include", MacroBuiltin::include},
};
auto builtin = builtin_macros.find (macro->get_rule_name ());