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

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

Revision: 1062
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1062&view=rev
Author:   pcmehlitz
Date:     2008-11-08 03:30:54 +0000 (Sat, 08 Nov 2008)

Log Message:
-----------
* fixed the broken GenericInstructionFactory init. Concrete InstructionFactory implementors now have to pass the Config argument up to their super classes. The DefaultInstructionFactory ctor initializes the factory's classloader. With this, the InstructionFactory.init(conf) becomes obsolete and gets removed. - Thanks Taehoon

Had to update the extension factory ctors with "super(Config,..)" calls, but that should not affect anything else in there.

Modified Paths:
--------------
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/ConcolicInstructionFactory.java
    trunk/extensions/numeric/src/gov/nasa/jpf/numeric/NumericInstructionFactory.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/TSInstructionFactory.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/TSVM.java
    trunk/src/gov/nasa/jpf/jvm/DefaultInstructionFactory.java
    trunk/src/gov/nasa/jpf/jvm/InstructionFactory.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/util/GenericInstructionFactory.java


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