Struct tlspuffin::protocol::TLSProtocolTypes

pub struct TLSProtocolTypes;

Trait Implementations

impl Claim<TLSProtocolTypes> for TlsClaim

fn agent_name(&self) -> AgentName

fn id(&self) -> TypeShape<TLSProtocolTypes>

fn inner(&self) -> Box<dyn EvaluatedTerm<TLSProtocolTypes>>

impl Clone for TLSProtocolTypes

fn clone(&self) -> TLSProtocolTypes

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TLSProtocolTypes

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TLSProtocolTypes

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TLSProtocolTypes

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

Formats the value using the given formatter.

impl EvaluatedTerm<TLSProtocolTypes> for AlertDescription

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for AlertLevel

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for AlertMessagePayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for CertReqExtension

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for Certificate

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for Certificate

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for CertificateEntry

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for CertificateExtension

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for CertificatePayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for CertificatePayloadTLS13

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for CertificateRequestPayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for CertificateRequestPayloadTLS13

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for CertificateStatus

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for CertificateVerify

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ChangeCipherSpecPayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for CipherSuite

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ClientExtension

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ClientHello

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ClientHelloPayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for Compression

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for DigitallySignedStruct

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ECDHEServerKeyExchange

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for EncryptedExtensions

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for Finished

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for HandshakeHash

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for HandshakeMessagePayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for HandshakePayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for HandshakeType

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for HeartbeatPayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for HelloRetryExtension

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for KeyUpdateRequest

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for Message

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _: Option<TlsQueryMatcher>, source: &'a Source, ) -> Result<(), Error>

Extracts knowledge from a crate::tls::rustls::msgs::message::Message. Only plaintext messages yield more knowledge than their binary payload. If a message is an ApplicationData (TLS 1.3) or an encrypted Heartbeet or Handhake message (TLS 1.2), then only the message itself and the binary payload is returned.

impl EvaluatedTerm<TLSProtocolTypes> for MessageFlight

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for MessagePayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for NamedGroup

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for NewSessionTicketExtension

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for NewSessionTicketPayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for NewSessionTicketPayloadTLS13

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for OpaqueMessage

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for OpaqueMessageFlight

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl<T: EvaluatedTerm<TLSProtocolTypes> + Clone + 'static> EvaluatedTerm<TLSProtocolTypes> for Option<T>

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for Payload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for PresharedKeyIdentity

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ProtocolVersion

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for Random

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ServerExtension

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ServerHello

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for ServerHelloPayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for ServerKeyExchangePayload

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<TlsQueryMatcher>, 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

impl EvaluatedTerm<TLSProtocolTypes> for SessionID

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for SignatureScheme

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for TlsClaim

fn extract_knowledge( &self, _knowledges: &mut Vec<Knowledge<'_, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::Matcher>, _source: &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

impl EvaluatedTerm<TLSProtocolTypes> for TranscriptCertificate

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for TranscriptClientFinished

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for TranscriptClientHello

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for TranscriptPartialClientHello

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for TranscriptServerFinished

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for TranscriptServerHello

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl<T: EvaluatedTerm<TLSProtocolTypes> + Clone + 'static> EvaluatedTerm<TLSProtocolTypes> for Vec<T>

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for bool

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, _matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for u32

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for u64

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl EvaluatedTerm<TLSProtocolTypes> for u8

fn extract_knowledge<'a>( &'a self, knowledges: &mut Vec<Knowledge<'a, TLSProtocolTypes>>, matcher: Option<<TLSProtocolTypes as ProtocolTypes>::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

impl Hash for TLSProtocolTypes

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl OpaqueProtocolMessage<TLSProtocolTypes> for OpaqueMessage

fn debug(&self, info: &str)

impl OpaqueProtocolMessageFlight<TLSProtocolTypes, OpaqueMessage> for OpaqueMessageFlight

fn new() -> Self

fn push(&mut self, msg: OpaqueMessage)

fn debug(&self, info: &str)

impl ProtocolMessage<TLSProtocolTypes, OpaqueMessage> for Message

fn create_opaque(&self) -> OpaqueMessage

fn debug(&self, info: &str)

impl ProtocolMessageDeframer<TLSProtocolTypes> for MessageDeframer

type OpaqueProtocolMessage = OpaqueMessage

fn pop_frame(&mut self) -> Option<OpaqueMessage>

fn read(&mut self, rd: &mut dyn Read) -> Result<usize>

impl ProtocolMessageFlight<TLSProtocolTypes, Message, OpaqueMessage, OpaqueMessageFlight> for MessageFlight

fn new() -> Self

fn push(&mut self, msg: Message)

fn debug(&self, info: &str)

impl ProtocolTypes for TLSProtocolTypes

type Matcher = TlsQueryMatcher

fn signature() -> &'static Signature<Self>

Get the signature that is used in the protocol

impl SecurityViolationPolicy<TLSProtocolTypes, TlsClaim> for TlsSecurityViolationPolicy

fn check_violation(claims: &[TlsClaim]) -> Option<&'static str>

impl Serialize for TLSProtocolTypes

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

where __S: Serializer,

Serialize this value into the given Serde serializer.