Trait puffin::protocol::Extractable

pub trait Extractable<PT: ProtocolTypes>: Debug + AsAny
where
    Self: 'static,
{
    // Required method
    fn extract_knowledge<'a>(
        &'a self,
        knowledges: &mut Vec<Knowledge<'a, PT>>,
        matcher: Option<PT::Matcher>,
        source: &'a Source,
    ) -> Result<(), Error>;
}

Fill knowledges with new knowledge gathered form the type implementing EvaluatedTerm by recursively calling extract_knowledge on all contained element Knowledges can be extracted from using extract_knowledge

Required Methods

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, PT>>, matcher: Option<PT::Matcher>, source: &'a Source, ) -> Result<(), Error>

Fill knowledges with new knowledge gathered form the type implementing EvaluatedTerm by recursively calling extract_knowledge on all contained element This will put source as the source of all the produced knowledge, matcher is also passed recursively but might be overwritten by a type with a more specific matcher

Implementations on Foreign Types

impl<PT: ProtocolTypes, T: EvaluatedTerm<PT> + Clone + Codec + 'static> Extractable<PT> for Vec<T>

where Vec<T>: Codec,

Implement Extractable for all Vec of types implementing Extractable

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, PT>>, matcher: Option<<PT as ProtocolTypes>::Matcher>, source: &'a Source, ) -> Result<(), Error>

impl<PT: ProtocolTypes, T: Extractable<PT> + Clone + 'static> Extractable<PT> for Option<T>

where Option<T>: Codec,

Implement Extractable for all Option of types implementing Extractable

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, PT>>, matcher: Option<<PT as ProtocolTypes>::Matcher>, source: &'a Source, ) -> Result<(), Error>

Implementors