SC.Validator.InitialStateValidator (sc v1.0.2)

Validates initial state constraints in SCXML documents.

Handles document-level initial states, compound state initial attributes, initial elements, and hierarchical consistency validation.

Summary

Validate that hierarchical state references are consistent.

Validate that the document's initial state exists.

Validate that if document has initial state, it must be a top-level state (not nested).

@spec validate_hierarchical_consistency(
  SC.Validator.validation_result(),
  SC.Document.t()
) ::
  SC.Validator.validation_result()

Validate that hierarchical state references are consistent.

@spec validate_initial_state(SC.Validator.validation_result(), SC.Document.t()) ::
  SC.Validator.validation_result()

Validate that the document's initial state exists.

@spec validate_initial_state_hierarchy(
  SC.Validator.validation_result(),
  SC.Document.t()
) ::
  SC.Validator.validation_result()

Validate that if document has initial state, it must be a top-level state (not nested).