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

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

Revision: 1461
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1461&view=rev
Author:   frankrimlinger
Date:     2009-04-29 18:19:00 +0000 (Wed, 29 Apr 2009)

Log Message:
-----------
Ran into an unpleasant snag while writing VirtualMethodRegistrar extension of ClassLoader to inventory all modelled methods.  Recall this inventory is required by InvocationChoiceGenerator.  I decided I would use the jpf model of the java package for mango, since it is remarkably full of goodies.  But when I tried to read it in with ClassLoader.defineClass(), well, thats a security violation of the root ClassLoader.  And rightfully so.  No problem, I say, because I can just run virtually under JPF.  Unfortunately, defineClass is "not supported yet" in JPF world.  Oh well, the fall back plan is just to change "java" to "javaShadow" and refactor the classes.  Then I can perform my inventory, just changing "javaShadow" back to "java" wherever I see it.  This is ugly, but I have to get on with it.

Hopefully defineClass() will be properly modelled some day in JPF, as the comment seems to suggest.  Actually, mango currently parses .class files by hand, but I don't want to go there.  This is exactly the code I want to eliminate.

Modified Paths:
--------------
    branches/mango/MangoJPF/.classpath
    branches/mango/MangoJPF/.project
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/SCANNER.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/File.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/FileDescriptor.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/FileInputStream.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/FileOutputStream.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/InputStreamReader.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/OutputStreamWriter.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/io/RandomAccessFile.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/Class.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/ClassLoader.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/StackTraceElement.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/System.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/Thread.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/Throwable.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/annotation/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/annotation/Inherited.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/annotation/Retention.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/ref/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/ref/Reference.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/ref/ReferenceQueue.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/ref/WeakReference.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/reflect/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/reflect/AccessibleObject.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/reflect/Constructor.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/reflect/Field.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/reflect/InvocationTargetException.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/lang/reflect/Method.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/security/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/security/AccessController.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/security/MessageDigest.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/text/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/text/DecimalFormat.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/text/Format.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/text/NumberFormat.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/text/SimpleDateFormat.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/concurrent/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/concurrent/BrokenBarrierException.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/concurrent/CyclicBarrier.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/concurrent/atomic/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/concurrent/atomic/AtomicIntegerFieldUpdater.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/concurrent/atomic/AtomicLongFieldUpdater.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/concurrent/atomic/AtomicReferenceFieldUpdater.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/regex/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/regex/Matcher.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/javaShadow/util/regex/Pattern.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/VirtualMethodRegistrar.java

Removed Paths:
-------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/TargetMethodRegistrar.java


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