[Javapathfinder-svn] SF.net SVN: javapathfinder:[1623] branches/mango/Mango

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

Revision: 1623
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1623&view=rev
Author:   frankrimlinger
Date:     2009-06-13 16:10:53 +0000 (Sat, 13 Jun 2009)

Log Message:
-----------
Fixed minor bug in INVOKECLINIT.

Working on itsAWrap.main bug.  The problem is basic, in that the clear routine is never invoked.  The stratification differs from that of Mango, so this is the place to start.

Modified Paths:
--------------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java


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