Trait puffin::variable_data::VariableData

pub trait VariableData<PT: ProtocolTypes>: Debug + EvaluatedTerm<PT> {
    // Required methods
    fn boxed(&self) -> Box<dyn VariableData<PT>>;
    fn boxed_any(&self) -> Box<dyn Any>;
    fn boxed_term(&self) -> Box<dyn EvaluatedTerm<PT>>;
    fn type_id(&self) -> TypeId;
    fn type_name(&self) -> &'static str;
}

Required Methods

fn boxed(&self) -> Box<dyn VariableData<PT>>

fn boxed_any(&self) -> Box<dyn Any>

fn boxed_term(&self) -> Box<dyn EvaluatedTerm<PT>>

fn type_id(&self) -> TypeId

fn type_name(&self) -> &'static str

Implementors

impl<T, PT: ProtocolTypes> VariableData<PT> for T

where T: Clone + Debug + EvaluatedTerm<PT> + 'static,

A VariableData is cloneable and has a 'static type. This data type is used throughout tlspuffin to handle data of dynamic size.