[−][src]Struct tcb::causality_checker::causality_checker_structs::CausalityCheckerError
State of the causality checker when the error was detected.
Implementations
impl CausalityCheckerError
[src]
pub fn new(
error_type: CausalityCheckerErrorEnum,
message: String,
global_causal_dag: ArrayMap<CheckNode>,
peer_dot_sequences: Vec<Vec<CausalCheck>>,
dot_to_index_map: HashMap<Dot, usize>,
peer_version_vectors: Vec<VersionVector>,
dot_version_vector_map: HashMap<Dot, VersionVector>,
peer_dot_sequence_indexes: Vec<usize>,
peer_dot_sequence_prev_indexes: Vec<usize>,
current_dot: Dot,
current_peer: usize,
current_peer_dot_sequence_index: usize
) -> Self
[src]
error_type: CausalityCheckerErrorEnum,
message: String,
global_causal_dag: ArrayMap<CheckNode>,
peer_dot_sequences: Vec<Vec<CausalCheck>>,
dot_to_index_map: HashMap<Dot, usize>,
peer_version_vectors: Vec<VersionVector>,
dot_version_vector_map: HashMap<Dot, VersionVector>,
peer_dot_sequence_indexes: Vec<usize>,
peer_dot_sequence_prev_indexes: Vec<usize>,
current_dot: Dot,
current_peer: usize,
current_peer_dot_sequence_index: usize
) -> Self
Builds a new CausalityCheckerError wrapper.
Arguments
error_type
- Type of the causality checker error.
message
- Message detailing the cause of the error.
global_causal_dag
- Graph built by the causality checker while traversing the dot sequences.
peer_dot_sequences
- Dot sequences of the group's peers.
dot_to_index_map
- Struct that maps a dot to its index in the causal dependency graph mapped as an array.
peer_version_vectors
- Version vector of each peer.
dot_version_vector_map
- Structs with the version vectors of each dot.
peer_dot_sequence_indexes
- Vector with each peer's current dot sequence index when the error was thrown.
peer_dot_sequence_prev_indexes
- Vector with each peer's previous sent message dot sequence index when the error was thrown.
current_dot
- Dot where the error was thrown.
current_peer
- Peer where the error was thrown.
current_peer_dot_sequence_index
- Index in the peer's dot sequence where the error was thrown.
pub fn log_causal_check_error(self, output_base_file_path: String)
[src]
Logs the causality checker error in a readable format and into multiple files.
Arguments
output_base_file_path
- Path to the base file in the output directory.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for CausalityCheckerError
impl Send for CausalityCheckerError
impl Sync for CausalityCheckerError
impl Unpin for CausalityCheckerError
impl UnwindSafe for CausalityCheckerError
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,