Visibility of system status: It is difficult to evaluate the tool
on this principle simply because there is very little continuity
between individual steps. For example, executing Case 2
followed by Case 1 results in an incomplete end state.
Theoretically, the tool should then prompt users to continue,
but instead the process is immediately terminated. In Corollary
1.3, neither tool refocuses on the newly created method, and
only Eclipse refocuses on the method signature created in Case
2. These are all signs of disconnected although clearly related
capabilities with poor status updates.