[Javapathfinder-svn] SF.net SVN: javapathfinder:[1583] branches/mango/MangoJPF

[<fra...@us...>]

Revision: 1583
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1583&view=rev
Author:   frankrimlinger
Date:     2009-06-02 00:03:37 +0000 (Tue, 02 Jun 2009)

Log Message:
-----------
Reinstated much of the JclassSym functionality.  This code is pretty ad hoc and hopefully will eventually be replace.  But for now just need to get on with it.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeSyms.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/NEW.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JmethodSym.java

Removed Paths:
-------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/ClassSym.java


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