Statifier.Validator.StateValidator (statifier v1.5.0)
View SourceValidates state-related constraints in SCXML documents.
Handles state ID uniqueness, non-empty IDs, and basic state structure validation.
Summary
Functions
Validate that no states have empty or nil IDs.
Validate that all state IDs are unique and non-empty.
Validate that all state IDs are unique within the document.
Functions
@spec validate_non_empty_ids(Statifier.Validator.validation_result(), [ Statifier.State.t() ]) :: Statifier.Validator.validation_result()
Validate that no states have empty or nil IDs.
@spec validate_state_ids( Statifier.Validator.validation_result(), Statifier.Document.t() ) :: Statifier.Validator.validation_result()
Validate that all state IDs are unique and non-empty.
@spec validate_unique_ids(Statifier.Validator.validation_result(), [ Statifier.State.t() ]) :: Statifier.Validator.validation_result()
Validate that all state IDs are unique within the document.