Struct AnalysisCtrl

pub struct AnalysisCtrl {
    analyze: Vec<String>,
    inlining_depth: InliningDepth,
    include: Vec<String>,
}

Fields

analyze: Vec<String>

Target this function as analysis target. Command line version of #[paralegal::analyze]). Must be a full rust path and resolve to a function. May be specified multiple times and multiple, comma separated paths may be supplied at the same time.

inlining_depth: InliningDepth

Disables all recursive analysis (both paralegal_flow’s inlining as well as Flowistry’s recursive analysis).

include: Vec<String>

Implementations

impl AnalysisCtrl

pub fn selected_targets(&self) -> &[String]

Externally (via command line) selected analysis targets

pub fn use_recursive_analysis(&self) -> bool

Are we recursing into (unmarked) called functions with the analysis?

pub fn inlining_depth(&self) -> &InliningDepth

pub fn included(&self) -> &[String]

Trait Implementations

impl Default for AnalysisCtrl

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for AnalysisCtrl

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for AnalysisCtrl

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<ClapAnalysisCtrl> for AnalysisCtrl

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: ClapAnalysisCtrl) -> Result<Self, Self::Error>

Performs the conversion.