Trait Visualizable

pub trait Visualizable {
    // Required methods
    fn get_name_from_hash(&self, hash: &u64) -> Option<String>;
    fn get_state(&self, hash: &u64, line_number: &usize) -> Option<State>;
    fn get_states(&self, hash: &u64) -> Vec<(usize, usize, State)>;
    fn _append_event(
        &mut self,
        resource_access_point: &ResourceAccessPoint,
        event: Event,
        line_number: &usize,
    );
    fn append_processed_external_event(
        &mut self,
        event: ExternalEvent,
        line_number: usize,
    );
    fn append_external_event(
        &mut self,
        event: ExternalEvent,
        line_number: &usize,
    );
    fn is_mut(&self, hash: &u64) -> bool;
    fn is_mutref(&self, hash: &u64) -> bool;
    fn calc_state(
        &self,
        previous_state: &State,
        event: &Event,
        event_line: usize,
        hash: &u64,
    ) -> State;
}

Required Methods

fn get_name_from_hash(&self, hash: &u64) -> Option<String>

fn get_state(&self, hash: &u64, line_number: &usize) -> Option<State>

fn get_states(&self, hash: &u64) -> Vec<(usize, usize, State)>

fn _append_event( &mut self, resource_access_point: &ResourceAccessPoint, event: Event, line_number: &usize, )

fn append_processed_external_event( &mut self, event: ExternalEvent, line_number: usize, )

fn append_external_event(&mut self, event: ExternalEvent, line_number: &usize)

fn is_mut(&self, hash: &u64) -> bool

fn is_mutref(&self, hash: &u64) -> bool

fn calc_state( &self, previous_state: &State, event: &Event, event_line: usize, hash: &u64, ) -> State

Implementors

impl Visualizable for VisualizationData