The source displays the Java
source with a coloration allowing to
understand the origin of lemma.
When a case is selected in the case
explorer the corresponding part of
the source code is displayed. A execution path of the method is
associated to each case. This execution path is displayed with
different colors:
Text in green is the part of
the source code that is considered to be executed normally
Text in blue is like green text but
informations are associated to the code (for instance, condition
evaluation or method specification are given), when the mouse stays more than
one second on the blue text, a tool tip appears displaying some useful
informations
Text
in red is the part of the source code that is considered to launch an
exception, the launched exception is associated to the code
Text in black correspond to the part of
the source code that is not concerned by this case.
