API Reference statifier v#1.9.0

Main entry point for parsing and validating SCXML documents.

Executes SCXML actions during state transitions.

Represents an SCXML <assign> action for data model assignments.

Represents an SCXML <foreach> action for iterating over collections.

Represents SCXML <if>, <elseif>, and <else> conditional execution blocks.

Represents and executes SCXML <invoke> elements for external service communication.

Represents a <log> element in SCXML.

Represents an SCXML <param> element for passing parameters.

Represents a <raise> action in SCXML.

Represents a <send> element action in SCXML.

Represents a <content> child element of <send> in SCXML.

Represents the current active states in an SCXML state chart.

Represents a data element in an SCXML datamodel.

Manages the data model for SCXML state machines.

Represents a parsed SCXML document.

Unified expression evaluation for SCXML using Predicator.

Represents an event that can be sent to a state chart.

Detects SCXML features used in documents to enable proper test validation.

Pre-computed hierarchy information for O(1) runtime lookups.

Tracks history state configurations for SCXML state machines.

Core interpreter for SCXML state charts.

Handles SCXML transition resolution and conflict resolution.

Behavior for SCXML invoke handlers.

Protocol for logging adapters in the Statifier logging system.

Logging adapter that integrates with Elixir's Logger.

Central logging manager for the Statifier logging system.

Logging adapter that stores log entries in the StateChart for testing.

Parser for SCXML documents using Saxy SAX parser with accurate location tracking.

Builds SCXML elements from XML attributes and location information.

SAX event handler for parsing SCXML documents with accurate location tracking.

Handles location tracking for SCXML parsing using XML string analysis.

Manages the parsing state stack for hierarchical SCXML document construction.

Represents a state in an SCXML document.

Represents a running state chart instance.

State hierarchy analysis and navigation utilities for SCXML state charts.

A GenServer wrapper around Statifier.StateChart for asynchronous state chart processing.

Defines the callback behaviour for StateMachine modules.

A DynamicSupervisor for managing StateMachine processes.

Represents a transition in an SCXML state.

Validates SCXML documents for structural correctness and semantic consistency.

Compiles expressions in SCXML documents for performance optimization.

Validates history state constraints in SCXML documents.

Validates initial state constraints in SCXML documents.

Analyzes state reachability in SCXML documents.

Validates state-related constraints in SCXML documents.

Validates transition-related constraints in SCXML documents.

Utility functions shared across validator modules.

Validates code examples in documentation files.

Runs the complete code quality validation pipeline.

Update the baseline of passing tests.

Run regression tests that should always pass.

Updates all SCION and W3C test files with @tag required_features: tags.