SC.Validator.Utils (sc v1.0.2)
View SourceUtility functions shared across validator modules.
Provides common operations like result manipulation, state collection, and document traversal helpers.
Summary
Functions
Add an error to the validation result.
Add a warning to the validation result.
Collect all states from a document, including nested states.
Collect all transitions from a list of states.
Recursively collect states from a state list.
Linear search for a state by ID during validation (before lookup maps are built).
Get the initial state ID from a document.
Check if a state with the given ID exists in the document.
Functions
@spec add_error(SC.Validator.validation_result(), String.t()) :: SC.Validator.validation_result()
Add an error to the validation result.
@spec add_warning(SC.Validator.validation_result(), String.t()) :: SC.Validator.validation_result()
Add a warning to the validation result.
@spec collect_all_states(SC.Document.t()) :: [SC.State.t()]
Collect all states from a document, including nested states.
@spec collect_all_transitions([SC.State.t()]) :: [SC.Transition.t()]
Collect all transitions from a list of states.
@spec collect_states_recursive([SC.State.t()]) :: [SC.State.t()]
Recursively collect states from a state list.
@spec find_state_by_id_linear(String.t(), SC.Document.t()) :: SC.State.t() | nil
Linear search for a state by ID during validation (before lookup maps are built).
@spec get_initial_state(SC.Document.t()) :: String.t() | nil
Get the initial state ID from a document.
Returns the explicit initial state if set, otherwise the first state's ID, or nil if the document has no states.
@spec state_exists?(String.t(), SC.Document.t()) :: boolean()
Check if a state with the given ID exists in the document.