|
From: <fra...@us...> - 2009-06-18 16:50:44
|
Revision: 1659
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1659&view=rev
Author: frankrimlinger
Date: 2009-06-18 16:50:42 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Decided its time to face the music regarding the System boot classes. JPF needs some stuff to boot up and do its thing, and Mango needs some stuff to do formal analysis of arrays and so on. Trying to find that sweet spot where everyone is happy.
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ArithmeticException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ArrayStoreException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Class.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ClassCastException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Comparable.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Exception.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Object.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/RuntimeException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/UnsupportedOperationException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URL.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FileInputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/InputStreamReader.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/OutputStreamWriter.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/RandomAccessFile.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ClassLoader.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StackTraceElement.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Thread.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/Reference.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/ReferenceQueue.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/WeakReference.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/AccessibleObject.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Constructor.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Field.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/InvocationTargetException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Method.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FileDescriptor.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Cloneable.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractCollection.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractList.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractMap.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Collection.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Comparator.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/HashMap.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Iterator.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/List.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/ListIterator.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Locale.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Map.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Random.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/RandomAccess.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Set.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|