Instrumentation class for Java.
===============================

There are two files that implement Logiscope instrumentation
function for Java: log_inst.tcl, log_inst_jvt.tcl.


log_inst.tcl
------------

With this script, the instrumented Java application writes all
execution traces on a Socket solution to communicate with the 
TestChecker Gateway (See TestChecker on line help and 
documentation to have more information about the TestChecker Gateway).

To use this script, you must use the instrumentation
function defined in VlgInstrument.java file.


log_inst_jvt.tcl
----------------

With this script, the instrumented Java application writes all
execution traces in a result<I>.trc file where <I> is a number. 
The number <I> is used to create a new trace file. You can import 
this file with TestChecker to exploit execution result.

To use this script, you must use the instrumentation function defined
in VlgTrace.java file (log_inst -lang Java -tcl VlgTrace.tcl).