Struct sshpuffin::claim::SshClaim

pub struct SshClaim {
    agent_name: AgentName,
    inner: Box<SshClaimInner>,
}

Fields

agent_name: AgentName

inner: Box<SshClaimInner>

Trait Implementations

impl Claim<SshProtocolTypes> for SshClaim

fn agent_name(&self) -> AgentName

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

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

impl Clone for SshClaim

fn clone(&self) -> SshClaim

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SshClaim

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

Formats the value using the given formatter.

impl EvaluatedTerm<SshProtocolTypes> for SshClaim

fn extract_knowledge<'a>( &'a self, _knowledges: &mut Vec<Knowledge<'a, SshProtocolTypes>>, _matcher: Option<<SshProtocolTypes 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 SecurityViolationPolicy<SshProtocolTypes, SshClaim> for SshSecurityViolationPolicy

fn check_violation(_claims: &[SshClaim]) -> Option<&'static str>