Enum Mode 

pub enum Mode {
    ChangeNothing,
    InjectChecks(CheckSettings),
    EmbedSpecs,
}

Variants

ChangeNothing

Make no changes to the code.

InjectChecks(CheckSettings)

Inject code to enable compile-time and/or runtime checks.

EmbedSpecs

Embed spec elements as new items without changing existing code.

Implementations

impl Mode

pub fn instrument_item_struct( &self, spec: DataSpec, item_struct: ItemStruct, ) -> Result<TokenStream>

pub fn instrument_item_enum( &self, spec: DataSpec, item_enum: ItemEnum, ) -> Result<TokenStream>

impl Mode

pub fn instrument_fn( &self, spec: &Spec, sig: &Signature, body: &mut Block, ) -> Result<()>

pub fn build_precondition_fn_sig(prefix: &str, sig: &Signature) -> Signature

pub fn build_postcondition_fn_sig(prefix: &str, sig: &Signature) -> Signature

pub fn build_qualifier_const_item<SomeConstItem: Parse>( attrs: &[Attribute], prefix: &str, qualifiers: FnQualifiers, fn_ident: &Ident, ) -> SomeConstItem

pub fn build_qualifier_check_stmt( fn_ident: &Ident, impl_type: &Type, trait_path: &Path, ) -> Stmt

pub fn build_precondition_fn_body( requires: &[Condition], maintains: &[Condition], ) -> Block

pub fn build_postcondition_fn_body( maintains: &[Condition], captures: &[Capture], ensures: &[PostCondition], ) -> Result<Block>

impl Mode

pub fn instrument_impl( &self, spec: DataSpec, the_impl: ItemImpl, ) -> Result<ItemImpl>

Expand items inside an inherent impl.

Reasons why impl functions must be treated differently from free-standing functions:

• The __anodized_fn_try_* function must be qualified as Self:: inside an impl.

impl Mode

pub fn instrument_loops_in_fn_body(&self, body: &mut Block) -> Result<()>

pub fn instrument_expr_while(&self, spec: LoopSpec, expr_while: &mut ExprWhile)

pub fn instrument_expr_for_loop( &self, spec: LoopSpec, expr_for_loop: &mut ExprForLoop, )

impl Mode

pub fn instrument_trait( &self, spec: DataSpec, the_trait: ItemTrait, ) -> Result<ItemTrait>

Expand trait items by mangling each method and adding a wrapper default impl.

Mangling a function involves the following:

1. Rename the function following the pattern: fn add -> fn __anodized_add.
2. Make a new function with the original name that has a default impl; the default impl performs runtime validation and calls the mangled function.

pub fn instrument_trait_impl( &self, spec: DataSpec, the_impl: ItemImpl, ) -> Result<ItemImpl>

Expand impl items by mangling methods for trait impls.

The #[spec] attribute on an impl fn must narrow the #[spec] of the trait fn:

• The impl’s preconditions must follow from the trait’s preconditions.
• The impl’s postconditions must entail the trait’s postconditions.

impl Mode

pub fn changes_anything(&self) -> bool

pub fn emits_try_fn(&self) -> bool

pub fn with_try_fn(&self, value: bool) -> Self

pub fn instrument_item_fn( &self, spec: Spec, item_fn: ItemFn, ) -> Result<TokenStream>

pub fn instrument_item_impl( &self, spec: DataSpec, item_impl: ItemImpl, ) -> Result<TokenStream>

pub fn instrument_item_trait( &self, spec: DataSpec, item_trait: ItemTrait, ) -> Result<TokenStream>

pub fn instrument_item_trait_impl( &self, spec: DataSpec, item_impl: ItemImpl, ) -> Result<TokenStream>

Trait Implementations

impl Clone for Mode

fn clone(&self) -> Mode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Mode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.