[Javapathfinder-svn] SF.net SVN: javapathfinder:[1438] trunk

[<pcm...@us...>]

Revision: 1438
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1438&view=rev
Author:   pcmehlitz
Date:     2009-04-22 19:24:20 +0000 (Wed, 22 Apr 2009)

Log Message:
-----------
* removed a bunch of temp files that percolated up from extensions

* reworked synthesized code a bit - this was triggered by mango through an ill-placed RETURN.initilialize(). Excplicit insn reation had several mechanisms with a lot of pitfalls. Now it's using a MethodInfo local CodeBuilder object, which sets MethodInfo, location and offset of added insns while it builds the code array.

* the various "initialize()" methods in Insn classes that happened to be synthesized have been renamed to their concrete class purpose (e.g. InvokeInstruction.setInvokedMethod), and stripped of their location initialization (which is done by the CodeBuilder).

Modified Paths:
--------------
    trunk/extensions/symts/src/gov/nasa/jpf/ts/TSVM.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ALOAD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/GETFIELD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/INVOKECG.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/Instruction.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/InvokeInstruction.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/RETURN.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ReturnInstruction.java
    trunk/test/gov/nasa/jpf/jvm/TestFileIO.java

Removed Paths:
-------------
    trunk/TestFileSimpleCoverage.java-trace
    trunk/double-test.txt
    trunk/javapathfinder-972.patch.txt
    trunk/osm_method.dot
    trunk/osm_sequence.dot
    trunk/outFile.txt
    trunk/src/gov/nasa/jpf/jvm/CodeBuilder.java


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