Struct syntax::print::pprust::State

pub struct State<'a> {
    pub s: Printer<'a>,
    // some fields omitted
}

Fields

s: Printer<'a>

Methods

impl<'a> State<'a>

pub fn new_from_input(     cm: &'a SourceMap,     sess: &ParseSess,     filename: FileName,     input: &mut dyn Read,     out: Box<dyn Write + 'a>,     ann: &'a dyn PpAnn,     is_expanded: bool ) -> State<'a>

pub fn new(     cm: &'a SourceMap,     out: Box<dyn Write + 'a>,     ann: &'a dyn PpAnn,     comments: Option<Vec<Comment>>,     literals: Option<Vec<Literal>>,     is_expanded: bool ) -> State<'a>

impl<'a> State<'a>

pub fn cbox(&mut self, u: usize) -> Result<()>

pub fn word_nbsp<S: Into<Cow<'static, str>>>(&mut self, w: S) -> Result<()>

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

pub fn bopen(&mut self) -> Result<()>

pub fn bclose_(&mut self, span: Span, indented: usize) -> Result<()>

pub fn bclose_maybe_open(     &mut self,     span: Span,     indented: usize,     close_box: bool ) -> Result<()>

pub fn bclose(&mut self, span: Span) -> Result<()>

pub fn in_cbox(&self) -> bool

pub fn break_offset_if_not_bol(&mut self, n: usize, off: isize) -> Result<()>

pub fn synth_comment(&mut self, text: String) -> Result<()>

pub fn commasep_cmnt<T, F, G>(     &mut self,     b: Breaks,     elts: &[T],     op: F,     get_span: G ) -> Result<()> where     F: FnMut(&mut State, &T) -> Result<()>,     G: FnMut(&T) -> Span,

pub fn commasep_exprs(&mut self, b: Breaks, exprs: &[P<Expr>]) -> Result<()>

pub fn print_mod(&mut self, _mod: &Mod, attrs: &[Attribute]) -> Result<()>

pub fn print_foreign_mod(     &mut self,     nmod: &ForeignMod,     attrs: &[Attribute] ) -> Result<()>

pub fn print_opt_lifetime(&mut self, lifetime: &Option<Lifetime>) -> Result<()>

pub fn print_generic_arg(&mut self, generic_arg: &GenericArg) -> Result<()>

pub fn print_type(&mut self, ty: &Ty) -> Result<()>

pub fn print_foreign_item(&mut self, item: &ForeignItem) -> Result<()>

pub fn print_item(&mut self, item: &Item) -> Result<()>

Pretty-print an item

pub fn print_enum_def(     &mut self,     enum_definition: &EnumDef,     generics: &Generics,     ident: Ident,     span: Span,     visibility: &Visibility ) -> Result<()>

pub fn print_variants(&mut self, variants: &[Variant], span: Span) -> Result<()>

pub fn print_visibility(&mut self, vis: &Visibility) -> Result<()>

pub fn print_defaultness(&mut self, defaultness: Defaultness) -> Result<()>

pub fn print_struct(     &mut self,     struct_def: &VariantData,     generics: &Generics,     ident: Ident,     span: Span,     print_finalizer: bool ) -> Result<()>

pub fn print_variant(&mut self, v: &Variant) -> Result<()>

pub fn print_method_sig(     &mut self,     ident: Ident,     generics: &Generics,     m: &MethodSig,     vis: &Visibility ) -> Result<()>

pub fn print_trait_item(&mut self, ti: &TraitItem) -> Result<()>

pub fn print_impl_item(&mut self, ii: &ImplItem) -> Result<()>

pub fn print_stmt(&mut self, st: &Stmt) -> Result<()>

pub fn print_block(&mut self, blk: &Block) -> Result<()>

pub fn print_block_unclosed(&mut self, blk: &Block) -> Result<()>

pub fn print_block_unclosed_with_attrs(     &mut self,     blk: &Block,     attrs: &[Attribute] ) -> Result<()>

pub fn print_block_unclosed_indent(     &mut self,     blk: &Block,     indented: usize ) -> Result<()>

pub fn print_block_with_attrs(     &mut self,     blk: &Block,     attrs: &[Attribute] ) -> Result<()>

pub fn print_block_maybe_unclosed(     &mut self,     blk: &Block,     indented: usize,     attrs: &[Attribute],     close_box: bool ) -> Result<()>

pub fn print_if(     &mut self,     test: &Expr,     blk: &Block,     elseopt: Option<&Expr> ) -> Result<()>

pub fn print_if_let(     &mut self,     pats: &[P<Pat>],     expr: &Expr,     blk: &Block,     elseopt: Option<&Expr> ) -> Result<()>

pub fn print_mac(&mut self, m: &Mac) -> Result<()>

pub fn print_expr_maybe_paren(&mut self, expr: &Expr, prec: i8) -> Result<()>

pub fn print_expr_as_cond(&mut self, expr: &Expr) -> Result<()>

Print an expr using syntax that's acceptable in a condition position, such as the cond in if cond { ... }.

pub fn print_expr(&mut self, expr: &Expr) -> Result<()>

pub fn print_local_decl(&mut self, loc: &Local) -> Result<()>

pub fn print_ident(&mut self, ident: Ident) -> Result<()>

pub fn print_usize(&mut self, i: usize) -> Result<()>

pub fn print_name(&mut self, name: Name) -> Result<()>

pub fn print_for_decl(&mut self, loc: &Local, coll: &Expr) -> Result<()>

pub fn print_pat(&mut self, pat: &Pat) -> Result<()>

pub fn print_fn(     &mut self,     decl: &FnDecl,     header: FnHeader,     name: Option<Ident>,     generics: &Generics,     vis: &Visibility ) -> Result<()>

pub fn print_fn_args_and_ret(&mut self, decl: &FnDecl) -> Result<()>

pub fn print_fn_block_args(&mut self, decl: &FnDecl) -> Result<()>

pub fn print_movability(&mut self, movability: Movability) -> Result<()>

pub fn print_asyncness(&mut self, asyncness: IsAsync) -> Result<()>

pub fn print_capture_clause(&mut self, capture_clause: CaptureBy) -> Result<()>

pub fn print_type_bounds(     &mut self,     prefix: &'static str,     bounds: &[GenericBound] ) -> Result<()>

pub fn print_lifetime(&mut self, lifetime: Lifetime) -> Result<()>

pub fn print_lifetime_bounds(     &mut self,     lifetime: Lifetime,     bounds: &GenericBounds ) -> Result<()>

pub fn print_generic_params(     &mut self,     generic_params: &[GenericParam] ) -> Result<()>

pub fn print_where_clause(&mut self, where_clause: &WhereClause) -> Result<()>

pub fn print_use_tree(&mut self, tree: &UseTree) -> Result<()>

pub fn print_mutability(&mut self, mutbl: Mutability) -> Result<()>

pub fn print_mt(&mut self, mt: &MutTy) -> Result<()>

pub fn print_arg(&mut self, input: &Arg, is_closure: bool) -> Result<()>

pub fn print_fn_output(&mut self, decl: &FnDecl) -> Result<()>

pub fn print_ty_fn(     &mut self,     abi: Abi,     unsafety: Unsafety,     decl: &FnDecl,     name: Option<Ident>,     generic_params: &[GenericParam] ) -> Result<()>

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

pub fn print_remaining_comments(&mut self) -> Result<()>

pub fn print_opt_abi_and_extern_if_nondefault(     &mut self,     opt_abi: Option<Abi> ) -> Result<()>

pub fn print_extern_opt_abi(&mut self, opt_abi: Option<Abi>) -> Result<()>

pub fn print_fn_header_info(     &mut self,     header: FnHeader,     vis: &Visibility ) -> Result<()>

pub fn print_unsafety(&mut self, s: Unsafety) -> Result<()>

pub fn print_is_auto(&mut self, s: IsAuto) -> Result<()>

Trait Implementations

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

fn writer(&mut self) -> &mut Printer<'a>

fn boxes(&mut self) -> &mut Vec<Breaks>

fn comments(&mut self) -> &mut Option<Vec<Comment>>

fn cur_cmnt(&mut self) -> &mut usize

fn cur_lit(&mut self) -> Option<&Literal>

fn bump_lit(&mut self) -> Option<Literal>

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

fn popen(&mut self) -> Result<()>

fn pclose(&mut self) -> Result<()>

fn is_begin(&mut self) -> bool

fn is_end(&mut self) -> bool

fn is_bol(&mut self) -> bool

fn hardbreak_if_not_bol(&mut self) -> Result<()>

fn rbox(&mut self, u: usize, b: Breaks) -> Result<()>

fn ibox(&mut self, u: usize) -> Result<()>

fn end(&mut self) -> Result<()>

fn commasep<T, F>(&mut self, b: Breaks, elts: &[T], op: F) -> Result<()> where     F: FnMut(&mut Self, &T) -> Result<()>,

fn next_lit(&mut self, pos: BytePos) -> Option<Literal>

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

fn print_comment(&mut self, cmnt: &Comment) -> Result<()>

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

fn print_literal(&mut self, lit: &Lit) -> Result<()>

fn print_string(&mut self, st: &str, style: StrStyle) -> Result<()>

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

fn print_inner_attributes_no_trailing_hardbreak(     &mut self,     attrs: &[Attribute] ) -> Result<()>

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

fn print_inner_attributes_inline(&mut self, attrs: &[Attribute]) -> Result<()>

fn print_outer_attributes_inline(&mut self, attrs: &[Attribute]) -> Result<()>

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

fn print_attribute_path(&mut self, path: &Path) -> Result<()>

fn print_attribute(&mut self, attr: &Attribute) -> Result<()>

fn print_attribute_inline(     &mut self,     attr: &Attribute,     is_inline: bool ) -> Result<()>

fn print_meta_list_item(&mut self, item: &NestedMetaItem) -> Result<()>

fn print_meta_item(&mut self, item: &MetaItem) -> Result<()>

fn print_tt(&mut self, tt: TokenTree) -> Result<()>

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) -> Result<()>

fn space_if_not_bol(&mut self) -> Result<()>

fn nbsp(&mut self) -> Result<()>

fn print_dollar_crate(&mut self, ident: Ident) -> Result<()>