1 //! [![github]](https://github.com/dtolnay/syn) [![crates-io]](https://crates.io/crates/syn) [![docs-rs]](crate)
2 //!
3 //! [github]: https://img.shields.io/badge/github-8da0cb?style=for-the-badge&labelColor=555555&logo=github
4 //! [crates-io]: https://img.shields.io/badge/crates.io-fc8d62?style=for-the-badge&labelColor=555555&logo=rust
5 //! [docs-rs]: https://img.shields.io/badge/docs.rs-66c2a5?style=for-the-badge&labelColor=555555&logo=docs.rs
6 //!
7 //! <br>
8 //!
9 //! Syn is a parsing library for parsing a stream of Rust tokens into a syntax
10 //! tree of Rust source code.
11 //!
12 //! Currently this library is geared toward use in Rust procedural macros, but
13 //! contains some APIs that may be useful more generally.
14 //!
15 //! - **Data structures** — Syn provides a complete syntax tree that can
16 //! represent any valid Rust source code. The syntax tree is rooted at
17 //! [`syn::File`] which represents a full source file, but there are other
18 //! entry points that may be useful to procedural macros including
19 //! [`syn::Item`], [`syn::Expr`] and [`syn::Type`].
20 //!
21 //! - **Derives** — Of particular interest to derive macros is
22 //! [`syn::DeriveInput`] which is any of the three legal input items to a
23 //! derive macro. An example below shows using this type in a library that can
24 //! derive implementations of a user-defined trait.
25 //!
26 //! - **Parsing** — Parsing in Syn is built around [parser functions] with the
27 //! signature `fn(ParseStream) -> Result<T>`. Every syntax tree node defined
28 //! by Syn is individually parsable and may be used as a building block for
29 //! custom syntaxes, or you may dream up your own brand new syntax without
30 //! involving any of our syntax tree types.
31 //!
32 //! - **Location information** — Every token parsed by Syn is associated with a
33 //! `Span` that tracks line and column information back to the source of that
34 //! token. These spans allow a procedural macro to display detailed error
35 //! messages pointing to all the right places in the user's code. There is an
36 //! example of this below.
37 //!
38 //! - **Feature flags** — Functionality is aggressively feature gated so your
39 //! procedural macros enable only what they need, and do not pay in compile
40 //! time for all the rest.
41 //!
42 //! [`syn::File`]: File
43 //! [`syn::Item`]: Item
44 //! [`syn::Expr`]: Expr
45 //! [`syn::Type`]: Type
46 //! [`syn::DeriveInput`]: DeriveInput
47 //! [parser functions]: mod@parse
48 //!
49 //! <br>
50 //!
51 //! # Example of a derive macro
52 //!
53 //! The canonical derive macro using Syn looks like this. We write an ordinary
54 //! Rust function tagged with a `proc_macro_derive` attribute and the name of
55 //! the trait we are deriving. Any time that derive appears in the user's code,
56 //! the Rust compiler passes their data structure as tokens into our macro. We
57 //! get to execute arbitrary Rust code to figure out what to do with those
58 //! tokens, then hand some tokens back to the compiler to compile into the
59 //! user's crate.
60 //!
61 //! [`TokenStream`]: proc_macro::TokenStream
62 //!
63 //! ```toml
64 //! [dependencies]
65 //! syn = "2.0"
66 //! quote = "1.0"
67 //!
68 //! [lib]
69 //! proc-macro = true
70 //! ```
71 //!
72 //! ```
73 //! # extern crate proc_macro;
74 //! #
75 //! use proc_macro::TokenStream;
76 //! use quote::quote;
77 //! use syn::{parse_macro_input, DeriveInput};
78 //!
79 //! # const IGNORE_TOKENS: &str = stringify! {
80 //! #[proc_macro_derive(MyMacro)]
81 //! # };
82 //! pub fn my_macro(input: TokenStream) -> TokenStream {
83 //! // Parse the input tokens into a syntax tree
84 //! let input = parse_macro_input!(input as DeriveInput);
85 //!
86 //! // Build the output, possibly using quasi-quotation
87 //! let expanded = quote! {
88 //! // ...
89 //! };
90 //!
91 //! // Hand the output tokens back to the compiler
92 //! TokenStream::from(expanded)
93 //! }
94 //! ```
95 //!
96 //! The [`heapsize`] example directory shows a complete working implementation
97 //! of a derive macro. The example derives a `HeapSize` trait which computes an
98 //! estimate of the amount of heap memory owned by a value.
99 //!
100 //! [`heapsize`]: https://github.com/dtolnay/syn/tree/master/examples/heapsize
101 //!
102 //! ```
103 //! pub trait HeapSize {
104 //! /// Total number of bytes of heap memory owned by `self`.
105 //! fn heap_size_of_children(&self) -> usize;
106 //! }
107 //! ```
108 //!
109 //! The derive macro allows users to write `#[derive(HeapSize)]` on data
110 //! structures in their program.
111 //!
112 //! ```
113 //! # const IGNORE_TOKENS: &str = stringify! {
114 //! #[derive(HeapSize)]
115 //! # };
116 //! struct Demo<'a, T: ?Sized> {
117 //! a: Box<T>,
118 //! b: u8,
119 //! c: &'a str,
120 //! d: String,
121 //! }
122 //! ```
123 //!
124 //! <p><br></p>
125 //!
126 //! # Spans and error reporting
127 //!
128 //! The token-based procedural macro API provides great control over where the
129 //! compiler's error messages are displayed in user code. Consider the error the
130 //! user sees if one of their field types does not implement `HeapSize`.
131 //!
132 //! ```
133 //! # const IGNORE_TOKENS: &str = stringify! {
134 //! #[derive(HeapSize)]
135 //! # };
136 //! struct Broken {
137 //! ok: String,
138 //! bad: std::thread::Thread,
139 //! }
140 //! ```
141 //!
142 //! By tracking span information all the way through the expansion of a
143 //! procedural macro as shown in the `heapsize` example, token-based macros in
144 //! Syn are able to trigger errors that directly pinpoint the source of the
145 //! problem.
146 //!
147 //! ```text
148 //! error[E0277]: the trait bound `std::thread::Thread: HeapSize` is not satisfied
149 //! --> src/main.rs:7:5
150 //! |
151 //! 7 | bad: std::thread::Thread,
152 //! | ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `HeapSize` is not implemented for `Thread`
153 //! ```
154 //!
155 //! <br>
156 //!
157 //! # Parsing a custom syntax
158 //!
159 //! The [`lazy-static`] example directory shows the implementation of a
160 //! `functionlike!(...)` procedural macro in which the input tokens are parsed
161 //! using Syn's parsing API.
162 //!
163 //! [`lazy-static`]: https://github.com/dtolnay/syn/tree/master/examples/lazy-static
164 //!
165 //! The example reimplements the popular `lazy_static` crate from crates.io as a
166 //! procedural macro.
167 //!
168 //! ```
169 //! # macro_rules! lazy_static {
170 //! # ($($tt:tt)*) => {}
171 //! # }
172 //! #
173 //! lazy_static! {
174 //! static ref USERNAME: Regex = Regex::new("^[a-z0-9_-]{3,16}$").unwrap();
175 //! }
176 //! ```
177 //!
178 //! The implementation shows how to trigger custom warnings and error messages
179 //! on the macro input.
180 //!
181 //! ```text
182 //! warning: come on, pick a more creative name
183 //! --> src/main.rs:10:16
184 //! |
185 //! 10 | static ref FOO: String = "lazy_static".to_owned();
186 //! | ^^^
187 //! ```
188 //!
189 //! <br>
190 //!
191 //! # Testing
192 //!
193 //! When testing macros, we often care not just that the macro can be used
194 //! successfully but also that when the macro is provided with invalid input it
195 //! produces maximally helpful error messages. Consider using the [`trybuild`]
196 //! crate to write tests for errors that are emitted by your macro or errors
197 //! detected by the Rust compiler in the expanded code following misuse of the
198 //! macro. Such tests help avoid regressions from later refactors that
199 //! mistakenly make an error no longer trigger or be less helpful than it used
200 //! to be.
201 //!
202 //! [`trybuild`]: https://github.com/dtolnay/trybuild
203 //!
204 //! <br>
205 //!
206 //! # Debugging
207 //!
208 //! When developing a procedural macro it can be helpful to look at what the
209 //! generated code looks like. Use `cargo rustc -- -Zunstable-options
210 //! --pretty=expanded` or the [`cargo expand`] subcommand.
211 //!
212 //! [`cargo expand`]: https://github.com/dtolnay/cargo-expand
213 //!
214 //! To show the expanded code for some crate that uses your procedural macro,
215 //! run `cargo expand` from that crate. To show the expanded code for one of
216 //! your own test cases, run `cargo expand --test the_test_case` where the last
217 //! argument is the name of the test file without the `.rs` extension.
218 //!
219 //! This write-up by Brandon W Maister discusses debugging in more detail:
220 //! [Debugging Rust's new Custom Derive system][debugging].
221 //!
222 //! [debugging]: https://quodlibetor.github.io/posts/debugging-rusts-new-custom-derive-system/
223 //!
224 //! <br>
225 //!
226 //! # Optional features
227 //!
228 //! Syn puts a lot of functionality behind optional features in order to
229 //! optimize compile time for the most common use cases. The following features
230 //! are available.
231 //!
232 //! - **`derive`** *(enabled by default)* — Data structures for representing the
233 //! possible input to a derive macro, including structs and enums and types.
234 //! - **`full`** — Data structures for representing the syntax tree of all valid
235 //! Rust source code, including items and expressions.
236 //! - **`parsing`** *(enabled by default)* — Ability to parse input tokens into
237 //! a syntax tree node of a chosen type.
238 //! - **`printing`** *(enabled by default)* — Ability to print a syntax tree
239 //! node as tokens of Rust source code.
240 //! - **`visit`** — Trait for traversing a syntax tree.
241 //! - **`visit-mut`** — Trait for traversing and mutating in place a syntax
242 //! tree.
243 //! - **`fold`** — Trait for transforming an owned syntax tree.
244 //! - **`clone-impls`** *(enabled by default)* — Clone impls for all syntax tree
245 //! types.
246 //! - **`extra-traits`** — Debug, Eq, PartialEq, Hash impls for all syntax tree
247 //! types.
248 //! - **`proc-macro`** *(enabled by default)* — Runtime dependency on the
249 //! dynamic library libproc_macro from rustc toolchain.
250
251 // Syn types in rustdoc of other crates get linked to here.
252 #![doc(html_root_url = "https://docs.rs/syn/2.0.48")]
253 #![cfg_attr(doc_cfg, feature(doc_cfg))]
254 #![deny(unsafe_op_in_unsafe_fn)]
255 #![allow(non_camel_case_types)]
256 #![allow(
257 clippy::bool_to_int_with_if,
258 clippy::cast_lossless,
259 clippy::cast_possible_truncation,
260 clippy::cast_possible_wrap,
261 clippy::cast_ptr_alignment,
262 clippy::default_trait_access,
263 clippy::derivable_impls,
264 clippy::diverging_sub_expression,
265 clippy::doc_markdown,
266 clippy::expl_impl_clone_on_copy,
267 clippy::explicit_auto_deref,
268 clippy::if_not_else,
269 clippy::inherent_to_string,
270 clippy::into_iter_without_iter,
271 clippy::items_after_statements,
272 clippy::large_enum_variant,
273 clippy::let_underscore_untyped, // https://github.com/rust-lang/rust-clippy/issues/10410
274 clippy::manual_assert,
275 clippy::manual_let_else,
276 clippy::match_like_matches_macro,
277 clippy::match_on_vec_items,
278 clippy::match_same_arms,
279 clippy::match_wildcard_for_single_variants, // clippy bug: https://github.com/rust-lang/rust-clippy/issues/6984
280 clippy::missing_errors_doc,
281 clippy::missing_panics_doc,
282 clippy::module_name_repetitions,
283 clippy::must_use_candidate,
284 clippy::needless_doctest_main,
285 clippy::needless_pass_by_value,
286 clippy::never_loop,
287 clippy::range_plus_one,
288 clippy::redundant_else,
289 clippy::return_self_not_must_use,
290 clippy::similar_names,
291 clippy::single_match_else,
292 clippy::too_many_arguments,
293 clippy::too_many_lines,
294 clippy::trivially_copy_pass_by_ref,
295 clippy::uninhabited_references,
296 clippy::uninlined_format_args,
297 clippy::unnecessary_box_returns,
298 clippy::unnecessary_unwrap,
299 clippy::used_underscore_binding,
300 clippy::wildcard_imports,
301 )]
302
303 #[cfg(feature = "proc-macro")]
304 extern crate proc_macro;
305
306 #[macro_use]
307 mod macros;
308
309 #[cfg(feature = "parsing")]
310 #[macro_use]
311 mod group;
312
313 #[macro_use]
314 pub mod token;
315
316 #[cfg(any(feature = "full", feature = "derive"))]
317 mod attr;
318 #[cfg(any(feature = "full", feature = "derive"))]
319 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
320 pub use crate::attr::{AttrStyle, Attribute, Meta, MetaList, MetaNameValue};
321
322 mod bigint;
323
324 #[cfg(feature = "parsing")]
325 #[cfg_attr(doc_cfg, doc(cfg(feature = "parsing")))]
326 pub mod buffer;
327
328 mod custom_keyword;
329
330 mod custom_punctuation;
331
332 #[cfg(any(feature = "full", feature = "derive"))]
333 mod data;
334 #[cfg(any(feature = "full", feature = "derive"))]
335 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
336 pub use crate::data::{Field, Fields, FieldsNamed, FieldsUnnamed, Variant};
337
338 #[cfg(any(feature = "full", feature = "derive"))]
339 mod derive;
340 #[cfg(feature = "derive")]
341 #[cfg_attr(doc_cfg, doc(cfg(feature = "derive")))]
342 pub use crate::derive::{Data, DataEnum, DataStruct, DataUnion, DeriveInput};
343
344 mod drops;
345
346 mod error;
347 pub use crate::error::{Error, Result};
348
349 #[cfg(any(feature = "full", feature = "derive"))]
350 mod expr;
351 #[cfg(feature = "full")]
352 #[cfg_attr(doc_cfg, doc(cfg(feature = "full")))]
353 pub use crate::expr::{Arm, Label, RangeLimits};
354 #[cfg(any(feature = "full", feature = "derive"))]
355 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
356 pub use crate::expr::{
357 Expr, ExprBinary, ExprCall, ExprCast, ExprField, ExprIndex, ExprLit, ExprMacro, ExprMethodCall,
358 ExprParen, ExprPath, ExprReference, ExprStruct, ExprUnary, FieldValue, Index, Member,
359 };
360 #[cfg(any(feature = "full", feature = "derive"))]
361 #[cfg_attr(doc_cfg, doc(cfg(feature = "full")))]
362 pub use crate::expr::{
363 ExprArray, ExprAssign, ExprAsync, ExprAwait, ExprBlock, ExprBreak, ExprClosure, ExprConst,
364 ExprContinue, ExprForLoop, ExprGroup, ExprIf, ExprInfer, ExprLet, ExprLoop, ExprMatch,
365 ExprRange, ExprRepeat, ExprReturn, ExprTry, ExprTryBlock, ExprTuple, ExprUnsafe, ExprWhile,
366 ExprYield,
367 };
368
369 #[cfg(feature = "parsing")]
370 #[cfg_attr(doc_cfg, doc(cfg(feature = "parsing")))]
371 pub mod ext;
372
373 #[cfg(feature = "full")]
374 mod file;
375 #[cfg(feature = "full")]
376 #[cfg_attr(doc_cfg, doc(cfg(feature = "full")))]
377 pub use crate::file::File;
378
379 #[cfg(any(feature = "full", feature = "derive"))]
380 mod generics;
381 #[cfg(any(feature = "full", feature = "derive"))]
382 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
383 pub use crate::generics::{
384 BoundLifetimes, ConstParam, GenericParam, Generics, LifetimeParam, PredicateLifetime,
385 PredicateType, TraitBound, TraitBoundModifier, TypeParam, TypeParamBound, WhereClause,
386 WherePredicate,
387 };
388 #[cfg(all(any(feature = "full", feature = "derive"), feature = "printing"))]
389 #[cfg_attr(
390 doc_cfg,
391 doc(cfg(all(any(feature = "full", feature = "derive"), feature = "printing")))
392 )]
393 pub use crate::generics::{ImplGenerics, Turbofish, TypeGenerics};
394
395 mod ident;
396 #[doc(inline)]
397 pub use crate::ident::Ident;
398
399 #[cfg(feature = "full")]
400 mod item;
401 #[cfg(feature = "full")]
402 #[cfg_attr(doc_cfg, doc(cfg(feature = "full")))]
403 pub use crate::item::{
404 FnArg, ForeignItem, ForeignItemFn, ForeignItemMacro, ForeignItemStatic, ForeignItemType,
405 ImplItem, ImplItemConst, ImplItemFn, ImplItemMacro, ImplItemType, ImplRestriction, Item,
406 ItemConst, ItemEnum, ItemExternCrate, ItemFn, ItemForeignMod, ItemImpl, ItemMacro, ItemMod,
407 ItemStatic, ItemStruct, ItemTrait, ItemTraitAlias, ItemType, ItemUnion, ItemUse, Receiver,
408 Signature, StaticMutability, TraitItem, TraitItemConst, TraitItemFn, TraitItemMacro,
409 TraitItemType, UseGlob, UseGroup, UseName, UsePath, UseRename, UseTree, Variadic,
410 };
411
412 mod lifetime;
413 #[doc(inline)]
414 pub use crate::lifetime::Lifetime;
415
416 mod lit;
417 #[doc(hidden)] // https://github.com/dtolnay/syn/issues/1566
418 pub use crate::lit::StrStyle;
419 #[doc(inline)]
420 pub use crate::lit::{Lit, LitBool, LitByte, LitByteStr, LitChar, LitFloat, LitInt, LitStr};
421
422 #[cfg(feature = "parsing")]
423 mod lookahead;
424
425 #[cfg(any(feature = "full", feature = "derive"))]
426 mod mac;
427 #[cfg(any(feature = "full", feature = "derive"))]
428 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
429 pub use crate::mac::{Macro, MacroDelimiter};
430
431 #[cfg(all(feature = "parsing", any(feature = "full", feature = "derive")))]
432 #[cfg_attr(
433 doc_cfg,
434 doc(cfg(all(feature = "parsing", any(feature = "full", feature = "derive"))))
435 )]
436 pub mod meta;
437
438 #[cfg(any(feature = "full", feature = "derive"))]
439 mod op;
440 #[cfg(any(feature = "full", feature = "derive"))]
441 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
442 pub use crate::op::{BinOp, UnOp};
443
444 #[cfg(feature = "parsing")]
445 #[cfg_attr(doc_cfg, doc(cfg(feature = "parsing")))]
446 pub mod parse;
447
448 #[cfg(all(feature = "parsing", feature = "proc-macro"))]
449 mod parse_macro_input;
450
451 #[cfg(all(feature = "parsing", feature = "printing"))]
452 mod parse_quote;
453
454 #[cfg(feature = "full")]
455 mod pat;
456 #[cfg(feature = "full")]
457 #[cfg_attr(doc_cfg, doc(cfg(feature = "full")))]
458 pub use crate::expr::{
459 ExprConst as PatConst, ExprLit as PatLit, ExprMacro as PatMacro, ExprPath as PatPath,
460 ExprRange as PatRange,
461 };
462 #[cfg(feature = "full")]
463 #[cfg_attr(doc_cfg, doc(cfg(feature = "full")))]
464 pub use crate::pat::{
465 FieldPat, Pat, PatIdent, PatOr, PatParen, PatReference, PatRest, PatSlice, PatStruct, PatTuple,
466 PatTupleStruct, PatType, PatWild,
467 };
468
469 #[cfg(any(feature = "full", feature = "derive"))]
470 mod path;
471 #[cfg(any(feature = "full", feature = "derive"))]
472 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
473 pub use crate::path::{
474 AngleBracketedGenericArguments, AssocConst, AssocType, Constraint, GenericArgument,
475 ParenthesizedGenericArguments, Path, PathArguments, PathSegment, QSelf,
476 };
477
478 #[cfg(all(any(feature = "full", feature = "derive"), feature = "printing"))]
479 mod print;
480
481 pub mod punctuated;
482
483 #[cfg(any(feature = "full", feature = "derive"))]
484 mod restriction;
485 #[cfg(any(feature = "full", feature = "derive"))]
486 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
487 pub use crate::restriction::{FieldMutability, VisRestricted, Visibility};
488
489 mod sealed;
490
491 mod span;
492
493 #[cfg(all(feature = "parsing", feature = "printing"))]
494 #[cfg_attr(doc_cfg, doc(cfg(all(feature = "parsing", feature = "printing"))))]
495 pub mod spanned;
496
497 #[cfg(feature = "full")]
498 mod stmt;
499 #[cfg(feature = "full")]
500 #[cfg_attr(doc_cfg, doc(cfg(feature = "full")))]
501 pub use crate::stmt::{Block, Local, LocalInit, Stmt, StmtMacro};
502
503 mod thread;
504
505 #[cfg(all(any(feature = "full", feature = "derive"), feature = "extra-traits"))]
506 mod tt;
507
508 #[cfg(any(feature = "full", feature = "derive"))]
509 mod ty;
510 #[cfg(any(feature = "full", feature = "derive"))]
511 #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
512 pub use crate::ty::{
513 Abi, BareFnArg, BareVariadic, ReturnType, Type, TypeArray, TypeBareFn, TypeGroup,
514 TypeImplTrait, TypeInfer, TypeMacro, TypeNever, TypeParen, TypePath, TypePtr, TypeReference,
515 TypeSlice, TypeTraitObject, TypeTuple,
516 };
517
518 #[cfg(all(any(feature = "full", feature = "derive"), feature = "parsing"))]
519 mod verbatim;
520
521 #[cfg(all(feature = "parsing", feature = "full"))]
522 mod whitespace;
523
524 mod gen {
525 /// Syntax tree traversal to transform the nodes of an owned syntax tree.
526 ///
527 /// Each method of the [`Fold`] trait is a hook that can be overridden to
528 /// customize the behavior when transforming the corresponding type of node.
529 /// By default, every method recursively visits the substructure of the
530 /// input by invoking the right visitor method of each of its fields.
531 ///
532 /// [`Fold`]: fold::Fold
533 ///
534 /// ```
535 /// # use syn::{Attribute, BinOp, Expr, ExprBinary};
536 /// #
537 /// pub trait Fold {
538 /// /* ... */
539 ///
540 /// fn fold_expr_binary(&mut self, node: ExprBinary) -> ExprBinary {
541 /// fold_expr_binary(self, node)
542 /// }
543 ///
544 /// /* ... */
545 /// # fn fold_attribute(&mut self, node: Attribute) -> Attribute;
546 /// # fn fold_expr(&mut self, node: Expr) -> Expr;
547 /// # fn fold_bin_op(&mut self, node: BinOp) -> BinOp;
548 /// }
549 ///
550 /// pub fn fold_expr_binary<V>(v: &mut V, node: ExprBinary) -> ExprBinary
551 /// where
552 /// V: Fold + ?Sized,
553 /// {
554 /// ExprBinary {
555 /// attrs: node
556 /// .attrs
557 /// .into_iter()
558 /// .map(|attr| v.fold_attribute(attr))
559 /// .collect(),
560 /// left: Box::new(v.fold_expr(*node.left)),
561 /// op: v.fold_bin_op(node.op),
562 /// right: Box::new(v.fold_expr(*node.right)),
563 /// }
564 /// }
565 ///
566 /// /* ... */
567 /// ```
568 ///
569 /// <br>
570 ///
571 /// # Example
572 ///
573 /// This fold inserts parentheses to fully parenthesizes any expression.
574 ///
575 /// ```
576 /// // [dependencies]
577 /// // quote = "1.0"
578 /// // syn = { version = "2.0", features = ["fold", "full"] }
579 ///
580 /// use quote::quote;
581 /// use syn::fold::{fold_expr, Fold};
582 /// use syn::{token, Expr, ExprParen};
583 ///
584 /// struct ParenthesizeEveryExpr;
585 ///
586 /// impl Fold for ParenthesizeEveryExpr {
587 /// fn fold_expr(&mut self, expr: Expr) -> Expr {
588 /// Expr::Paren(ExprParen {
589 /// attrs: Vec::new(),
590 /// expr: Box::new(fold_expr(self, expr)),
591 /// paren_token: token::Paren::default(),
592 /// })
593 /// }
594 /// }
595 ///
596 /// fn main() {
597 /// let code = quote! { a() + b(1) * c.d };
598 /// let expr: Expr = syn::parse2(code).unwrap();
599 /// let parenthesized = ParenthesizeEveryExpr.fold_expr(expr);
600 /// println!("{}", quote!(#parenthesized));
601 ///
602 /// // Output: (((a)()) + (((b)((1))) * ((c).d)))
603 /// }
604 /// ```
605 #[cfg(feature = "fold")]
606 #[cfg_attr(doc_cfg, doc(cfg(feature = "fold")))]
607 #[rustfmt::skip]
608 pub mod fold;
609
610 /// Syntax tree traversal to walk a shared borrow of a syntax tree.
611 ///
612 /// Each method of the [`Visit`] trait is a hook that can be overridden to
613 /// customize the behavior when visiting the corresponding type of node. By
614 /// default, every method recursively visits the substructure of the input
615 /// by invoking the right visitor method of each of its fields.
616 ///
617 /// [`Visit`]: visit::Visit
618 ///
619 /// ```
620 /// # use syn::{Attribute, BinOp, Expr, ExprBinary};
621 /// #
622 /// pub trait Visit<'ast> {
623 /// /* ... */
624 ///
625 /// fn visit_expr_binary(&mut self, node: &'ast ExprBinary) {
626 /// visit_expr_binary(self, node);
627 /// }
628 ///
629 /// /* ... */
630 /// # fn visit_attribute(&mut self, node: &'ast Attribute);
631 /// # fn visit_expr(&mut self, node: &'ast Expr);
632 /// # fn visit_bin_op(&mut self, node: &'ast BinOp);
633 /// }
634 ///
635 /// pub fn visit_expr_binary<'ast, V>(v: &mut V, node: &'ast ExprBinary)
636 /// where
637 /// V: Visit<'ast> + ?Sized,
638 /// {
639 /// for attr in &node.attrs {
640 /// v.visit_attribute(attr);
641 /// }
642 /// v.visit_expr(&*node.left);
643 /// v.visit_bin_op(&node.op);
644 /// v.visit_expr(&*node.right);
645 /// }
646 ///
647 /// /* ... */
648 /// ```
649 ///
650 /// <br>
651 ///
652 /// # Example
653 ///
654 /// This visitor will print the name of every freestanding function in the
655 /// syntax tree, including nested functions.
656 ///
657 /// ```
658 /// // [dependencies]
659 /// // quote = "1.0"
660 /// // syn = { version = "2.0", features = ["full", "visit"] }
661 ///
662 /// use quote::quote;
663 /// use syn::visit::{self, Visit};
664 /// use syn::{File, ItemFn};
665 ///
666 /// struct FnVisitor;
667 ///
668 /// impl<'ast> Visit<'ast> for FnVisitor {
669 /// fn visit_item_fn(&mut self, node: &'ast ItemFn) {
670 /// println!("Function with name={}", node.sig.ident);
671 ///
672 /// // Delegate to the default impl to visit any nested functions.
673 /// visit::visit_item_fn(self, node);
674 /// }
675 /// }
676 ///
677 /// fn main() {
678 /// let code = quote! {
679 /// pub fn f() {
680 /// fn g() {}
681 /// }
682 /// };
683 ///
684 /// let syntax_tree: File = syn::parse2(code).unwrap();
685 /// FnVisitor.visit_file(&syntax_tree);
686 /// }
687 /// ```
688 ///
689 /// The `'ast` lifetime on the input references means that the syntax tree
690 /// outlives the complete recursive visit call, so the visitor is allowed to
691 /// hold on to references into the syntax tree.
692 ///
693 /// ```
694 /// use quote::quote;
695 /// use syn::visit::{self, Visit};
696 /// use syn::{File, ItemFn};
697 ///
698 /// struct FnVisitor<'ast> {
699 /// functions: Vec<&'ast ItemFn>,
700 /// }
701 ///
702 /// impl<'ast> Visit<'ast> for FnVisitor<'ast> {
703 /// fn visit_item_fn(&mut self, node: &'ast ItemFn) {
704 /// self.functions.push(node);
705 /// visit::visit_item_fn(self, node);
706 /// }
707 /// }
708 ///
709 /// fn main() {
710 /// let code = quote! {
711 /// pub fn f() {
712 /// fn g() {}
713 /// }
714 /// };
715 ///
716 /// let syntax_tree: File = syn::parse2(code).unwrap();
717 /// let mut visitor = FnVisitor { functions: Vec::new() };
718 /// visitor.visit_file(&syntax_tree);
719 /// for f in visitor.functions {
720 /// println!("Function with name={}", f.sig.ident);
721 /// }
722 /// }
723 /// ```
724 #[cfg(feature = "visit")]
725 #[cfg_attr(doc_cfg, doc(cfg(feature = "visit")))]
726 #[rustfmt::skip]
727 pub mod visit;
728
729 /// Syntax tree traversal to mutate an exclusive borrow of a syntax tree in
730 /// place.
731 ///
732 /// Each method of the [`VisitMut`] trait is a hook that can be overridden
733 /// to customize the behavior when mutating the corresponding type of node.
734 /// By default, every method recursively visits the substructure of the
735 /// input by invoking the right visitor method of each of its fields.
736 ///
737 /// [`VisitMut`]: visit_mut::VisitMut
738 ///
739 /// ```
740 /// # use syn::{Attribute, BinOp, Expr, ExprBinary};
741 /// #
742 /// pub trait VisitMut {
743 /// /* ... */
744 ///
745 /// fn visit_expr_binary_mut(&mut self, node: &mut ExprBinary) {
746 /// visit_expr_binary_mut(self, node);
747 /// }
748 ///
749 /// /* ... */
750 /// # fn visit_attribute_mut(&mut self, node: &mut Attribute);
751 /// # fn visit_expr_mut(&mut self, node: &mut Expr);
752 /// # fn visit_bin_op_mut(&mut self, node: &mut BinOp);
753 /// }
754 ///
755 /// pub fn visit_expr_binary_mut<V>(v: &mut V, node: &mut ExprBinary)
756 /// where
757 /// V: VisitMut + ?Sized,
758 /// {
759 /// for attr in &mut node.attrs {
760 /// v.visit_attribute_mut(attr);
761 /// }
762 /// v.visit_expr_mut(&mut *node.left);
763 /// v.visit_bin_op_mut(&mut node.op);
764 /// v.visit_expr_mut(&mut *node.right);
765 /// }
766 ///
767 /// /* ... */
768 /// ```
769 ///
770 /// <br>
771 ///
772 /// # Example
773 ///
774 /// This mut visitor replace occurrences of u256 suffixed integer literals
775 /// like `999u256` with a macro invocation `bigint::u256!(999)`.
776 ///
777 /// ```
778 /// // [dependencies]
779 /// // quote = "1.0"
780 /// // syn = { version = "2.0", features = ["full", "visit-mut"] }
781 ///
782 /// use quote::quote;
783 /// use syn::visit_mut::{self, VisitMut};
784 /// use syn::{parse_quote, Expr, File, Lit, LitInt};
785 ///
786 /// struct BigintReplace;
787 ///
788 /// impl VisitMut for BigintReplace {
789 /// fn visit_expr_mut(&mut self, node: &mut Expr) {
790 /// if let Expr::Lit(expr) = &node {
791 /// if let Lit::Int(int) = &expr.lit {
792 /// if int.suffix() == "u256" {
793 /// let digits = int.base10_digits();
794 /// let unsuffixed: LitInt = syn::parse_str(digits).unwrap();
795 /// *node = parse_quote!(bigint::u256!(#unsuffixed));
796 /// return;
797 /// }
798 /// }
799 /// }
800 ///
801 /// // Delegate to the default impl to visit nested expressions.
802 /// visit_mut::visit_expr_mut(self, node);
803 /// }
804 /// }
805 ///
806 /// fn main() {
807 /// let code = quote! {
808 /// fn main() {
809 /// let _ = 999u256;
810 /// }
811 /// };
812 ///
813 /// let mut syntax_tree: File = syn::parse2(code).unwrap();
814 /// BigintReplace.visit_file_mut(&mut syntax_tree);
815 /// println!("{}", quote!(#syntax_tree));
816 /// }
817 /// ```
818 #[cfg(feature = "visit-mut")]
819 #[cfg_attr(doc_cfg, doc(cfg(feature = "visit-mut")))]
820 #[rustfmt::skip]
821 pub mod visit_mut;
822
823 #[cfg(feature = "clone-impls")]
824 #[rustfmt::skip]
825 mod clone;
826
827 #[cfg(feature = "extra-traits")]
828 #[rustfmt::skip]
829 mod debug;
830
831 #[cfg(feature = "extra-traits")]
832 #[rustfmt::skip]
833 mod eq;
834
835 #[cfg(feature = "extra-traits")]
836 #[rustfmt::skip]
837 mod hash;
838
839 #[cfg(any(feature = "full", feature = "derive"))]
840 #[path = "../gen_helper.rs"]
841 mod helper;
842 }
843
844 #[cfg(feature = "fold")]
845 #[cfg_attr(doc_cfg, doc(cfg(feature = "fold")))]
846 pub use crate::gen::fold;
847
848 #[cfg(feature = "visit")]
849 #[cfg_attr(doc_cfg, doc(cfg(feature = "visit")))]
850 pub use crate::gen::visit;
851
852 #[cfg(feature = "visit-mut")]
853 #[cfg_attr(doc_cfg, doc(cfg(feature = "visit-mut")))]
854 pub use crate::gen::visit_mut;
855
856 // Not public API.
857 #[doc(hidden)]
858 #[path = "export.rs"]
859 pub mod __private;
860
861 /// Parse tokens of source code into the chosen syntax tree node.
862 ///
863 /// This is preferred over parsing a string because tokens are able to preserve
864 /// information about where in the user's code they were originally written (the
865 /// "span" of the token), possibly allowing the compiler to produce better error
866 /// messages.
867 ///
868 /// This function parses a `proc_macro::TokenStream` which is the type used for
869 /// interop with the compiler in a procedural macro. To parse a
870 /// `proc_macro2::TokenStream`, use [`syn::parse2`] instead.
871 ///
872 /// [`syn::parse2`]: parse2
873 ///
874 /// # Examples
875 ///
876 /// ```
877 /// # extern crate proc_macro;
878 /// #
879 /// use proc_macro::TokenStream;
880 /// use quote::quote;
881 /// use syn::DeriveInput;
882 ///
883 /// # const IGNORE_TOKENS: &str = stringify! {
884 /// #[proc_macro_derive(MyMacro)]
885 /// # };
886 /// pub fn my_macro(input: TokenStream) -> TokenStream {
887 /// // Parse the tokens into a syntax tree
888 /// let ast: DeriveInput = syn::parse(input).unwrap();
889 ///
890 /// // Build the output, possibly using quasi-quotation
891 /// let expanded = quote! {
892 /// /* ... */
893 /// };
894 ///
895 /// // Convert into a token stream and return it
896 /// expanded.into()
897 /// }
898 /// ```
899 #[cfg(all(feature = "parsing", feature = "proc-macro"))]
900 #[cfg_attr(doc_cfg, doc(cfg(all(feature = "parsing", feature = "proc-macro"))))]
parse<T: parse::Parse>(tokens: proc_macro::TokenStream) -> Result<T>901 pub fn parse<T: parse::Parse>(tokens: proc_macro::TokenStream) -> Result<T> {
902 parse::Parser::parse(T::parse, tokens)
903 }
904
905 /// Parse a proc-macro2 token stream into the chosen syntax tree node.
906 ///
907 /// This function will check that the input is fully parsed. If there are
908 /// any unparsed tokens at the end of the stream, an error is returned.
909 ///
910 /// This function parses a `proc_macro2::TokenStream` which is commonly useful
911 /// when the input comes from a node of the Syn syntax tree, for example the
912 /// body tokens of a [`Macro`] node. When in a procedural macro parsing the
913 /// `proc_macro::TokenStream` provided by the compiler, use [`syn::parse`]
914 /// instead.
915 ///
916 /// [`syn::parse`]: parse()
917 #[cfg(feature = "parsing")]
918 #[cfg_attr(doc_cfg, doc(cfg(feature = "parsing")))]
parse2<T: parse::Parse>(tokens: proc_macro2::TokenStream) -> Result<T>919 pub fn parse2<T: parse::Parse>(tokens: proc_macro2::TokenStream) -> Result<T> {
920 parse::Parser::parse2(T::parse, tokens)
921 }
922
923 /// Parse a string of Rust code into the chosen syntax tree node.
924 ///
925 /// # Hygiene
926 ///
927 /// Every span in the resulting syntax tree will be set to resolve at the macro
928 /// call site.
929 ///
930 /// # Examples
931 ///
932 /// ```
933 /// use syn::{Expr, Result};
934 ///
935 /// fn run() -> Result<()> {
936 /// let code = "assert_eq!(u8::max_value(), 255)";
937 /// let expr = syn::parse_str::<Expr>(code)?;
938 /// println!("{:#?}", expr);
939 /// Ok(())
940 /// }
941 /// #
942 /// # run().unwrap();
943 /// ```
944 #[cfg(feature = "parsing")]
945 #[cfg_attr(doc_cfg, doc(cfg(feature = "parsing")))]
parse_str<T: parse::Parse>(s: &str) -> Result<T>946 pub fn parse_str<T: parse::Parse>(s: &str) -> Result<T> {
947 parse::Parser::parse_str(T::parse, s)
948 }
949
950 // FIXME the name parse_file makes it sound like you might pass in a path to a
951 // file, rather than the content.
952 /// Parse the content of a file of Rust code.
953 ///
954 /// This is different from `syn::parse_str::<File>(content)` in two ways:
955 ///
956 /// - It discards a leading byte order mark `\u{FEFF}` if the file has one.
957 /// - It preserves the shebang line of the file, such as `#!/usr/bin/env rustx`.
958 ///
959 /// If present, either of these would be an error using `from_str`.
960 ///
961 /// # Examples
962 ///
963 /// ```no_run
964 /// use std::error::Error;
965 /// use std::fs::File;
966 /// use std::io::Read;
967 ///
968 /// fn run() -> Result<(), Box<dyn Error>> {
969 /// let mut file = File::open("path/to/code.rs")?;
970 /// let mut content = String::new();
971 /// file.read_to_string(&mut content)?;
972 ///
973 /// let ast = syn::parse_file(&content)?;
974 /// if let Some(shebang) = ast.shebang {
975 /// println!("{}", shebang);
976 /// }
977 /// println!("{} items", ast.items.len());
978 ///
979 /// Ok(())
980 /// }
981 /// #
982 /// # run().unwrap();
983 /// ```
984 #[cfg(all(feature = "parsing", feature = "full"))]
985 #[cfg_attr(doc_cfg, doc(cfg(all(feature = "parsing", feature = "full"))))]
parse_file(mut content: &str) -> Result<File>986 pub fn parse_file(mut content: &str) -> Result<File> {
987 // Strip the BOM if it is present
988 const BOM: &str = "\u{feff}";
989 if content.starts_with(BOM) {
990 content = &content[BOM.len()..];
991 }
992
993 let mut shebang = None;
994 if content.starts_with("#!") {
995 let rest = whitespace::skip(&content[2..]);
996 if !rest.starts_with('[') {
997 if let Some(idx) = content.find('\n') {
998 shebang = Some(content[..idx].to_string());
999 content = &content[idx..];
1000 } else {
1001 shebang = Some(content.to_string());
1002 content = "";
1003 }
1004 }
1005 }
1006
1007 let mut file: File = parse_str(content)?;
1008 file.shebang = shebang;
1009 Ok(file)
1010 }
1011