The state machine diagram shows transitions from the initial node to the resulting state, but it does not show which constructor produces each transition. This makes it hard to understand classes whose constructors lead to different states.
Label each initial transition with its constructor signature, for example new ClassName(type, type). Show parameter types so overloaded constructors can be distinguished, including when they lead to the same state. Keep the existing precondition and postcondition display available.
Expected result: Looking at the diagram, a user can tell which constructor leads to each initial state.
The state machine diagram shows transitions from the initial node to the resulting state, but it does not show which constructor produces each transition. This makes it hard to understand classes whose constructors lead to different states.
Label each initial transition with its constructor signature, for example
new ClassName(type, type). Show parameter types so overloaded constructors can be distinguished, including when they lead to the same state. Keep the existing precondition and postcondition display available.Expected result: Looking at the diagram, a user can tell which constructor leads to each initial state.