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

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

Revision: 1542
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1542&view=rev
Author:   frankrimlinger
Date:     2009-05-22 03:42:16 +0000 (Fri, 22 May 2009)

Log Message:
-----------
completed port of BackupAlg.method_2_vertices.  This involved untangling some very ancient and obscure code for setting up clinit invocations and defining the beginning of time.  A hook has been left in the Worker to designate a beginning of time method (or methods, pretty agnostic about this.)  However, not bothering to back this all the way up to preferences for now because this is a little used feature.  Also used very nice support in jpf Instruction class to set up SourceLineData objects.  

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/graph/data/graphic/SourceLineData.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoFormalLanguage.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/BeginningOfTime.java


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