The Sequence diagram produced includes the following:
When the Visual Execution Analyzer cannot match a function call to an operation within the model, it still creates the sequence, but it creates a reference for any Class that it cannot locate. It does this for all languages.
Fragments displayed in the Sequence diagram represent loops or iterations of a section(s) of code. The Visual Execution Analyzer attempts to match function scope with method calls to as accurately as possible represent the execution visually.
If a State Machine has been used during the recording process, any transitions in State are presented after the method call that caused the transition to occur. States are calculated on the return of every method to its caller.