Struct PathEnumerationJson 

pub struct PathEnumerationJson {
    pub paths: Vec<ExecutionPathJson>,
    pub total_enumerated: usize,
    pub truncated: bool,
    pub statistics: PathStatisticsJson,
}

Serializable wrapper for path enumeration results

Wraps Magellan’s PathEnumerationResult for CLI JSON output.

Fields

paths: Vec<ExecutionPathJson>

All discovered execution paths

total_enumerated: usize

Total number of paths enumerated

truncated: bool

Whether enumeration was truncated due to limits

statistics: PathStatisticsJson

Statistics about enumerated paths

Trait Implementations

impl Clone for PathEnumerationJson

fn clone(&self) -> PathEnumerationJson

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PathEnumerationJson

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

Formats the value using the given formatter.

impl From<&PathEnumerationResult> for PathEnumerationJson

fn from(result: &PathEnumerationResult) -> Self

Converts to this type from the input type.

impl Serialize for PathEnumerationJson

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

where __S: Serializer,

Serialize this value into the given Serde serializer.