Source Panel

The source view panel allows you to view the Java source code corresponding to the current instruction.

JPF may have access to the source files of the system under test (using the sourcepath). If it does, then the Inspector, too, will have access to these sources.

Every time execution is suspended (for example, because a breakpoint hits), the source view panel will update to show the source code of the instruction that will next be executed. If it's unavailable, then the panel won't update.

The panel is only capable of showing the line of the instruction, not the specific Java statement. Some additional information about the instruction is displayed near the bottom of the panel, however.

The source view panel is read only.