int readDepth = 0;
int writeDepth = 0;
// Default class loader used to reach the SuT classes' state (static
// variables)
ClassLoaderInfo cli = this.vm.getSystemState().getKernelState().classLoaders.get(0);
// update the write depth if the class OutputStream has been loaded
if (cli.getResolvedClassInfo("java.io.OutputStream") != null) {
writeDepth = (int) this.vm.getSystemState().getKernelState().classLoaders.get(0).getResolvedClassInfo("java.io.OutputStream")
.getStaticFieldValueObject("writeDepth");
} else {
logger.severe("jointstates java.io.OutputStream class not loaded");
terminate();
}
// update the read depth if the class InputStream has been loaded
if (cli.getResolvedClassInfo("java.io.InputStream") != null) {
readDepth = (int) this.vm.getSystemState().getKernelState().classLoaders.get(0).getResolvedClassInfo("java.io.InputStream")
.getStaticFieldValueObject("readDepth");
} else {
logger.severe("jointstates java.io.InputStream class not loaded");
terminate();