Struct puffin::trace::KnowledgeStore

pub struct KnowledgeStore<PT: ProtocolTypes> {
    raw_knowledge: Vec<RawKnowledge<PT>>,
}

Fields

raw_knowledge: Vec<RawKnowledge<PT>>

Implementations

impl<PT: ProtocolTypes> KnowledgeStore<PT>

pub fn new() -> Self

pub fn add_raw_knowledge<T: EvaluatedTerm<PT> + 'static>( &mut self, data: T, source: Source, term: Option<Term<PT>>, )

pub fn add_raw_boxed_knowledge( &mut self, data: Box<dyn EvaluatedTerm<PT>>, source: Source, term: Option<Term<PT>>, )

pub fn number_matching_message_with_source( &self, source: Source, type_id: TypeId, tls_message_type: &Option<PT::Matcher>, ) -> usize

pub fn number_matching_message( &self, type_id: TypeId, tls_message_type: &Option<PT::Matcher>, ) -> usize

Count the number of sub-messages of type type_id in the output message.

pub fn find_variable( &self, query_type_shape: TypeShape<PT>, query: &Query<PT::Matcher>, ) -> Option<&dyn VariableData<PT>>

Returns the variable which matches best -> highest specificity If we want a variable with lower specificity, then we can just query less specific

Trait Implementations

impl<PT: Debug + ProtocolTypes> Debug for KnowledgeStore<PT>

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

Formats the value using the given formatter.

impl<PT: Default + ProtocolTypes> Default for KnowledgeStore<PT>

fn default() -> KnowledgeStore<PT>

Returns the “default value” for a type.