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. |