use crate::semantic::ValidationContext;
#[allow(missing_docs)]
#[derive(Debug, Eq, PartialEq)]
pub enum StateTransitionError {
InconsistentCreatedFoundriesCount,
InconsistentFoundrySerialNumber,
InconsistentNativeTokensFoundryCreation,
InconsistentNativeTokensFoundryDestruction,
InconsistentNativeTokensMint,
InconsistentNativeTokensTransition,
InconsistentNativeTokensMeltBurn,
IssuerNotUnlocked,
MissingAliasForFoundry,
MutatedFieldWithoutRights,
MutatedImmutableField,
NonMonotonicallyIncreasingNativeTokens,
NonZeroCreatedId,
NonZeroCreatedFoundryCounter,
NonZeroCreatedStateIndex,
UnsortedCreatedFoundries,
UnsupportedStateIndexOperation { current_state: u32, next_state: u32 },
UnsupportedStateTransition,
}
pub trait StateTransitionVerifier {
fn creation(next_state: &Self, context: &ValidationContext) -> Result<(), StateTransitionError>;
fn transition(
current_state: &Self,
next_state: &Self,
context: &ValidationContext,
) -> Result<(), StateTransitionError>;
fn destruction(current_state: &Self, context: &ValidationContext) -> Result<(), StateTransitionError>;
}