SC.Validator.StateValidator (sc v1.0.2)
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(SC.Validator.validation_result(), [SC.State.t()]) :: SC.Validator.validation_result()
Validate that no states have empty or nil IDs.
@spec validate_state_ids(SC.Validator.validation_result(), SC.Document.t()) :: SC.Validator.validation_result()
Validate that all state IDs are unique and non-empty.
@spec validate_unique_ids(SC.Validator.validation_result(), [SC.State.t()]) :: SC.Validator.validation_result()
Validate that all state IDs are unique within the document.