[Javapathfinder-svn] SF.net SVN: javapathfinder:[1919] trunk/extensions/net-iocache

[<wat...@us...>]

Revision: 1919
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1919&view=rev
Author:   watcharin
Date:     2009-10-02 05:16:19 +0000 (Fri, 02 Oct 2009)

Log Message:
-----------
Separate logging code from CacheNotifier to the new class, CacheLogger.
Use JPF logging interface instead of "System.out.print". State numbers are displayed on "fine" log level. Operations on trees and cache are displayed on "info" log level.

Modified Paths:
--------------
    trunk/extensions/net-iocache/bin/env.sh
    trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/cache/CacheLayerInputStream.java
    trunk/extensions/net-iocache/env/jpf/java/net/ServerSocket.java
    trunk/extensions/net-iocache/env/jpf/java/net/Socket.java
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_ServerSocket.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/CacheLayer.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/PhysicalConnection.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RRTree.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/CacheNotifier.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/SearchTreeMonitor.java

Added Paths:
-----------
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/CacheLogger.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.