pub struct CheckpointValidator { /* private fields */ }Expand description
Comprehensive checkpoint validator (backward compatibility wrapper)
Implementations§
Source§impl CheckpointValidator
impl CheckpointValidator
Sourcepub fn new(config: V2WALConfig) -> Self
pub fn new(config: V2WALConfig) -> Self
Create new checkpoint validator
Sourcepub fn validate_checkpoint_file(
&self,
checkpoint_path: &Path,
) -> CheckpointResult<bool>
pub fn validate_checkpoint_file( &self, checkpoint_path: &Path, ) -> CheckpointResult<bool>
Validate checkpoint file integrity (backward compatibility method)
Sourcepub fn validate_checkpoint_consistency(
&self,
checkpoint_lsn_range: (u64, u64),
last_checkpointed_lsn: u64,
) -> CheckpointResult<()>
pub fn validate_checkpoint_consistency( &self, checkpoint_lsn_range: (u64, u64), last_checkpointed_lsn: u64, ) -> CheckpointResult<()>
Validate checkpoint consistency with WAL (backward compatibility method)
Sourcepub fn validate_dirty_block_consistency(
&self,
dirty_blocks: &DirtyBlockTracker,
max_pending_blocks: u64,
) -> CheckpointResult<()>
pub fn validate_dirty_block_consistency( &self, dirty_blocks: &DirtyBlockTracker, max_pending_blocks: u64, ) -> CheckpointResult<()>
Validate dirty block state consistency (simplified version)
Sourcepub fn validate_comprehensive(
&self,
checkpoint_path: &Path,
_dirty_blocks: &DirtyBlockTracker,
_checkpoint_state: &CheckpointState,
_checkpoint_progress: &CheckpointProgress,
checkpoint_lsn_range: (u64, u64),
last_checkpointed_lsn: u64,
checkpoint_duration: Duration,
_max_pending_blocks: u64,
) -> CheckpointResult<CheckpointValidationReport>
pub fn validate_comprehensive( &self, checkpoint_path: &Path, _dirty_blocks: &DirtyBlockTracker, _checkpoint_state: &CheckpointState, _checkpoint_progress: &CheckpointProgress, checkpoint_lsn_range: (u64, u64), last_checkpointed_lsn: u64, checkpoint_duration: Duration, _max_pending_blocks: u64, ) -> CheckpointResult<CheckpointValidationReport>
Perform comprehensive validation using all validation components
Sourcepub fn rule_engine(&self) -> &ValidationRuleEngine
pub fn rule_engine(&self) -> &ValidationRuleEngine
Get the rule engine reference
Sourcepub fn consistency_validator(&self) -> &CheckpointConsistencyValidator
pub fn consistency_validator(&self) -> &CheckpointConsistencyValidator
Get the consistency validator reference
Sourcepub fn invariants_validator(&self) -> &V2InvariantValidator
pub fn invariants_validator(&self) -> &V2InvariantValidator
Get the V2 invariants validator reference
Sourcepub fn reporter(&self) -> &CheckpointValidationReporter
pub fn reporter(&self) -> &CheckpointValidationReporter
Get the reporter reference
Auto Trait Implementations§
impl Freeze for CheckpointValidator
impl RefUnwindSafe for CheckpointValidator
impl Send for CheckpointValidator
impl Sync for CheckpointValidator
impl Unpin for CheckpointValidator
impl UnwindSafe for CheckpointValidator
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more