Trait rustc_ast_pretty::pprust::state::PrintState

pub trait PrintState<'a>: Deref<Target = Printer> + DerefMut {
    // Required methods
    fn comments(&self) -> Option<&Comments<'a>>;
    fn comments_mut(&mut self) -> Option<&mut Comments<'a>>;
    fn ann_post(&mut self, ident: Ident);
    fn print_generic_args(
        &mut self,
        args: &GenericArgs,
        colons_before_params: bool,
    );

    // Provided methods
    fn print_ident(&mut self, ident: Ident) { ... }
    fn strsep<T, F>(
        &mut self,
        sep: &'static str,
        space_before: bool,
        b: Breaks,
        elts: &[T],
        op: F,
    )
       where F: FnMut(&mut Self, &T) { ... }
    fn commasep<T, F>(&mut self, b: Breaks, elts: &[T], op: F)
       where F: FnMut(&mut Self, &T) { ... }
    fn maybe_print_comment(&mut self, pos: BytePos) -> bool { ... }
    fn print_comment(&mut self, cmnt: Comment) { ... }
    fn peek_comment<'b>(&'b self) -> Option<&'b Comment>
       where 'a: 'b { ... }
    fn next_comment(&mut self) -> Option<Comment> { ... }
    fn maybe_print_trailing_comment(
        &mut self,
        span: Span,
        next_pos: Option<BytePos>,
    ) { ... }
    fn print_remaining_comments(&mut self) { ... }
    fn print_string(&mut self, st: &str, style: StrStyle) { ... }
    fn print_inner_attributes(&mut self, attrs: &[Attribute]) -> bool { ... }
    fn print_outer_attributes(&mut self, attrs: &[Attribute]) -> bool { ... }
    fn print_either_attributes(
        &mut self,
        attrs: &[Attribute],
        kind: AttrStyle,
        is_inline: bool,
        trailing_hardbreak: bool,
    ) -> bool { ... }
    fn print_attribute_inline(&mut self, attr: &Attribute, is_inline: bool) { ... }
    fn print_attr_item(&mut self, item: &AttrItem, span: Span) { ... }
    fn print_tt(
        &mut self,
        tt: &TokenTree,
        convert_dollar_crate: bool,
    ) -> Spacing { ... }
    fn print_tts(&mut self, tts: &TokenStream, convert_dollar_crate: bool) { ... }
    fn print_mac_common(
        &mut self,
        header: Option<MacHeader<'_>>,
        has_bang: bool,
        ident: Option<Ident>,
        delim: Delimiter,
        tts: &TokenStream,
        convert_dollar_crate: bool,
        span: Span,
    ) { ... }
    fn print_mac_def(
        &mut self,
        macro_def: &MacroDef,
        ident: &Ident,
        sp: Span,
        print_visibility: impl FnOnce(&mut Self),
    ) { ... }
    fn print_path(
        &mut self,
        path: &Path,
        colons_before_params: bool,
        depth: usize,
    ) { ... }
    fn print_path_segment(
        &mut self,
        segment: &PathSegment,
        colons_before_params: bool,
    ) { ... }
    fn head<S: Into<Cow<'static, str>>>(&mut self, w: S) { ... }
    fn bopen(&mut self) { ... }
    fn bclose_maybe_open(&mut self, span: Span, empty: bool, close_box: bool) { ... }
    fn bclose(&mut self, span: Span, empty: bool) { ... }
    fn break_offset_if_not_bol(&mut self, n: usize, off: isize) { ... }
    fn nonterminal_to_string(&self, nt: &Nonterminal) -> String { ... }
    fn token_kind_to_string(&self, tok: &TokenKind) -> Cow<'static, str> { ... }
    fn token_kind_to_string_ext(
        &self,
        tok: &TokenKind,
        convert_dollar_crate: Option<Span>,
    ) -> Cow<'static, str> { ... }
    fn token_to_string(&self, token: &Token) -> Cow<'static, str> { ... }
    fn token_to_string_ext(
        &self,
        token: &Token,
        convert_dollar_crate: bool,
    ) -> Cow<'static, str> { ... }
    fn ty_to_string(&self, ty: &Ty) -> String { ... }
    fn pat_to_string(&self, pat: &Pat) -> String { ... }
    fn expr_to_string(&self, e: &Expr) -> String { ... }
    fn meta_item_lit_to_string(&self, lit: &MetaItemLit) -> String { ... }
    fn stmt_to_string(&self, stmt: &Stmt) -> String { ... }
    fn item_to_string(&self, i: &Item) -> String { ... }
    fn path_to_string(&self, p: &Path) -> String { ... }
    fn vis_to_string(&self, v: &Visibility) -> String { ... }
    fn block_to_string(&self, blk: &Block) -> String { ... }
    fn attr_item_to_string(&self, ai: &AttrItem) -> String { ... }
    fn tts_to_string(&self, tokens: &TokenStream) -> String { ... }
    fn to_string(f: impl FnOnce(&mut State<'_>)) -> String { ... }
}

This trait is used for both AST and HIR pretty-printing.

Required Methods

fn comments(&self) -> Option<&Comments<'a>>

fn comments_mut(&mut self) -> Option<&mut Comments<'a>>

fn ann_post(&mut self, ident: Ident)

fn print_generic_args(&mut self, args: &GenericArgs, colons_before_params: bool)

Provided Methods

fn print_ident(&mut self, ident: Ident)

fn strsep<T, F>( &mut self, sep: &'static str, space_before: bool, b: Breaks, elts: &[T], op: F, )

where F: FnMut(&mut Self, &T),

fn commasep<T, F>(&mut self, b: Breaks, elts: &[T], op: F)

where F: FnMut(&mut Self, &T),

fn maybe_print_comment(&mut self, pos: BytePos) -> bool

fn print_comment(&mut self, cmnt: Comment)

fn peek_comment<'b>(&'b self) -> Option<&'b Comment>

where 'a: 'b,

fn next_comment(&mut self) -> Option<Comment>

fn maybe_print_trailing_comment( &mut self, span: Span, next_pos: Option<BytePos>, )

fn print_remaining_comments(&mut self)

fn print_string(&mut self, st: &str, style: StrStyle)

fn print_inner_attributes(&mut self, attrs: &[Attribute]) -> bool

fn print_outer_attributes(&mut self, attrs: &[Attribute]) -> bool

fn print_either_attributes( &mut self, attrs: &[Attribute], kind: AttrStyle, is_inline: bool, trailing_hardbreak: bool, ) -> bool

fn print_attribute_inline(&mut self, attr: &Attribute, is_inline: bool)

fn print_attr_item(&mut self, item: &AttrItem, span: Span)

fn print_tt(&mut self, tt: &TokenTree, convert_dollar_crate: bool) -> Spacing

This doesn’t deserve to be called “pretty” printing, but it should be meaning-preserving. A quick hack that might help would be to look at the spans embedded in the TTs to decide where to put spaces and newlines. But it’d be better to parse these according to the grammar of the appropriate macro, transcribe back into the grammar we just parsed from, and then pretty-print the resulting AST nodes (so, e.g., we print expression arguments as expressions). It can be done! I think.

fn print_tts(&mut self, tts: &TokenStream, convert_dollar_crate: bool)

fn print_mac_common( &mut self, header: Option<MacHeader<'_>>, has_bang: bool, ident: Option<Ident>, delim: Delimiter, tts: &TokenStream, convert_dollar_crate: bool, span: Span, )

fn print_mac_def( &mut self, macro_def: &MacroDef, ident: &Ident, sp: Span, print_visibility: impl FnOnce(&mut Self), )

fn print_path(&mut self, path: &Path, colons_before_params: bool, depth: usize)

fn print_path_segment( &mut self, segment: &PathSegment, colons_before_params: bool, )

fn head<S: Into<Cow<'static, str>>>(&mut self, w: S)

fn bopen(&mut self)

fn bclose_maybe_open(&mut self, span: Span, empty: bool, close_box: bool)

fn bclose(&mut self, span: Span, empty: bool)

fn break_offset_if_not_bol(&mut self, n: usize, off: isize)

fn nonterminal_to_string(&self, nt: &Nonterminal) -> String

fn token_kind_to_string(&self, tok: &TokenKind) -> Cow<'static, str>

Print the token kind precisely, without converting $crate into its respective crate name.

fn token_kind_to_string_ext( &self, tok: &TokenKind, convert_dollar_crate: Option<Span>, ) -> Cow<'static, str>

fn token_to_string(&self, token: &Token) -> Cow<'static, str>

Print the token precisely, without converting $crate into its respective crate name.

fn token_to_string_ext( &self, token: &Token, convert_dollar_crate: bool, ) -> Cow<'static, str>

fn ty_to_string(&self, ty: &Ty) -> String

fn pat_to_string(&self, pat: &Pat) -> String

fn expr_to_string(&self, e: &Expr) -> String

fn meta_item_lit_to_string(&self, lit: &MetaItemLit) -> String

fn stmt_to_string(&self, stmt: &Stmt) -> String

fn item_to_string(&self, i: &Item) -> String

fn path_to_string(&self, p: &Path) -> String

fn vis_to_string(&self, v: &Visibility) -> String

fn block_to_string(&self, blk: &Block) -> String

fn attr_item_to_string(&self, ai: &AttrItem) -> String

fn tts_to_string(&self, tokens: &TokenStream) -> String

fn to_string(f: impl FnOnce(&mut State<'_>)) -> String

Object Safety

This trait is not object safe.

Implementors

impl<'a> PrintState<'a> for State<'a>