[−][src]Trait c2rust_refactor::rewrite::Rewrite

pub trait Rewrite {
    fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool;
}

Required methods

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`

Given an old AST, a new AST, and text corresponding to the old AST, transform the text into text corresponding to the new AST. rcx tracks the old text (in the form of a SourceMap) and the rewrites. Returns true if rewriting succeeded, false otherwise.

Loading content...

Implementations on Foreign Types

`impl Rewrite for Crate`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Mod`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Item`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ItemKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for UseTreeKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for UseTree`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TraitItem`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TraitItemKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ImplItem`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ImplItemKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TraitRef`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for EnumDef`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Variant_`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for VariantData`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for StructField`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for MethodSig`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ForeignMod`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ForeignItem`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ForeignItemKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Generics`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for GenericParam`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for GenericParamKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for WhereClause`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for WherePredicate`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for WhereBoundPredicate`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for WhereRegionPredicate`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for WhereEqPredicate`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TraitBoundModifier`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for VisibilityKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for CrateSugar`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Ty`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for MutTy`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TyKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TraitObjectSyntax`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for LitIntType`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for FloatTy`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for BareFnTy`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Lifetime`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for GenericBound`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for PolyTraitRef`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for FnDecl`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for FnHeader`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Arg`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for FunctionRetTy`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TypeBinding`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Stmt`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for StmtKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Local`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Expr`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ExprKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for IsAsync`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Movability`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for UnOp`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for BinOpKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Field`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Arm`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Guard`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Block`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Pat`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for PatKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for FieldPat`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for LitKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Defaultness`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Constness`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ImplPolarity`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for IsAuto`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Unsafety`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Abi`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Mutability`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for RangeEnd`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for RangeSyntax`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for BindingMode`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for CaptureBy`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for BlockCheckMode`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for UnsafeSource`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for StrStyle`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for AsmDialect`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for RangeLimits`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Attribute`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for AttrStyle`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Path`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for PathSegment`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for GenericArgs`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for AngleBracketedArgs`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for ParenthesizedArgs`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for GenericArg`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for QSelf`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Mac_`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for MacStmtStyle`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TokenStream`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for MacroDef`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for InlineAsm`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for GlobalAsm`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for InlineAsmOutput`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Label`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for MacDelimiter`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for AnonConst`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Ident`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Name`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for SyntaxContext`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Span`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for NodeId`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for AttrId`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for usize`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for bool`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for u128`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for u8`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for char`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Nonterminal`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for TokenTree`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for DelimSpan`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for DelimToken`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for Token`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for MetaItem`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for MetaItemKind`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl Rewrite for NestedMetaItem`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<T: Rewrite> Rewrite for P<T>`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<T: Rewrite> Rewrite for Rc<T>`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<T: Rewrite> Rewrite for Spanned<T>`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<T: Rewrite> Rewrite for Option<T>`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<A: Rewrite, B: Rewrite> Rewrite for (A, B)`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<A: Rewrite, B: Rewrite, C: Rewrite> Rewrite for (A, B, C)`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<T: MaybeRewriteSeq> Rewrite for [T]`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<T: MaybeRewriteSeq> Rewrite for Vec<T>`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

`impl<T: MaybeRewriteSeq> Rewrite for ThinVec<T>`[src]

`fn rewrite(old: &Self, new: &Self, rcx: RewriteCtxtRef) -> bool`[src]

Loading content...

Implementors

Loading content...