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

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1515
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1515&view=rev
Author:   frankrimlinger
Date:     2009-05-14 18:51:32 +0000 (Thu, 14 May 2009)

Log Message:
-----------
Created a new set of regular expressions for the formal bytecode port.  These have all been tested on the port to AALOAD.  Created ExceptionHandlerUtil to take over generation of the creation of flow control for exceptions.  This code scattered around but a lot of it is in the obsolete CodeAttribute class.   The strategy is to create a mapping of MethodInfo --> HandlerInfo, where HandlerInfo is a private inner class of ExceptionHandlerUtil.  This map will allow ExceptionHandlerUtil to service the various requests for ExceptionHandler support.  

Also need to create a few synthetic Instructions to support throwing exception.  The goal is just to replicate the existing control flow for thrown exceptions, generated as the scanner spins out it data.

Modified Paths:
--------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoFormalLanguage.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java

Added Paths:
-----------
    branches/mango/MangoJPF/bytecode cheat.txt
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java

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