DVT Eclipse IDE Diagrams - Finite-State Machine Diagrams

Overview

Using DVT, you can generate diagrams for the finite-state machines in your code. States and transitions are automatically detected.

The diagram editor allows you to intuitively explore the states and transitions of the resulting diagram.

Explore the design and verification tools: https://www.dvteclipse.com
Or request a license: https://www.dvteclipse.com/request-license

Details

DVT allows you to easily generate diagrams for the finite-state machines in your code.

To generate a diagram:

• Right-click on the state variable of the FSM and click Show Diagram.

Navigating the Diagram

• Selecting a state or transition highlights previous and next states in different colors.
• You can right-click on a transition and use Go to Source to jump to the assignment that causes it.
• Go to Source on a state takes you to the state value.

Customizing the Diagram

You can also customize the look and feel of the diagram through the Preferences dialog. For example, you can change the diagram direction.

You can save the diagram as an image file.