Praxis Software Structure Model

State Machine Diagrams

仅在代码事实表明存在明确状态语义时生成。