[Javapathfinder-svn] SF.net SVN: javapathfinder:[1336] branches/mango/Mango

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1336
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1336&view=rev
Author:   frankrimlinger
Date:     2009-03-27 06:25:15 +0000 (Fri, 27 Mar 2009)

Log Message:
-----------
Moved local data to Mango project.  Broke out "system" as a different user since it really should stand on its own.  The intent for the local file is just to contain the data that is basic to the operation, testing and maintenance of the tool.  Other input data can be supplied by command line path names or gui.  The old trick of bouncing from the local directory with a symbolic link causes many problems and should be avoided.

This move breaks a lot of hack code which now can be rewritten from the "product" point of view.

Of course, the input data is generated by a project, and the files for this project will now be nested inside of Mango.  Eclipse is "ok" with this in the sense that the outer project can just ignore the inner project structure and use the inner project data however it wants to.  You can always check out the inner project separately into your workspace, and changes then take effect when you sync up.  In fact, the Mango project is nested in the javapathfinder-mango project, and it works out.  Maybe Eclipse should be nested project aware, but oh well...

Added Paths:
-----------
    branches/mango/Mango/kill DS_Store command.txt
    branches/mango/Mango/local/
    branches/mango/Mango/local/frank/
    branches/mango/Mango/local/frank/input/
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/.classpath
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/.project
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmetic.java
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmeticTest.java
    branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/liteTest1.java
    branches/mango/Mango/local/frank/input/LocalVariableScopeTest/
    branches/mango/Mango/local/frank/input/LocalVariableScopeTest/.classpath
    branches/mango/Mango/local/frank/input/LocalVariableScopeTest/.project
    branches/mango/Mango/local/frank/input/LocalVariableScopeTest/src/
    branches/mango/Mango/local/frank/input/LocalVariableScopeTest/src/localVariableScopeTests/
    branches/mango/Mango/local/frank/input/LocalVariableScopeTest/src/localVariableScopeTests/LocalVariableScopeTest.java
    branches/mango/Mango/local/frank/input/MangoModelTest/
    branches/mango/Mango/local/frank/input/MangoModelTest/.classpath
    branches/mango/Mango/local/frank/input/MangoModelTest/.project
    branches/mango/Mango/local/frank/input/MangoModelTest/src/
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/Demo.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/EZfunctionAbs.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/FieldTest.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/LinearTest.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/ManagementDemo.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/ModelCheckText.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/RefBuster.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/Wacko.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/condTest.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/conditionalTest.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/conditonalBugs.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/A.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/B.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/falseRecursion.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/fcnCall.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/heapVacuum.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/initTest/
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/initTest/A.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/initTest/B.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/invocationTest.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/multiarray.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/one.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/simpleArray.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/crazyGlue.java
    branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/staticObjectVirtualCallTest.java
    branches/mango/Mango/local/frank/input/app/
    branches/mango/Mango/local/frank/input/app/.classpath
    branches/mango/Mango/local/frank/input/app/.project
    branches/mango/Mango/local/frank/input/app/src/
    branches/mango/Mango/local/frank/input/app/src/app/
    branches/mango/Mango/local/frank/input/app/src/app/Bit/
    branches/mango/Mango/local/frank/input/app/src/app/Bit/Bit.java
    branches/mango/Mango/local/frank/input/app/src/app/Bit/nastyBitTest.java
    branches/mango/Mango/local/frank/input/app/src/app/BitString/
    branches/mango/Mango/local/frank/input/app/src/app/BitString/BitString.java
    branches/mango/Mango/local/frank/input/linearArithmeticTests/
    branches/mango/Mango/local/frank/input/localVariableScopeTests/
    branches/mango/Mango/local/frank/input/loopTests/
    branches/mango/Mango/local/frank/input/loopTests/.classpath
    branches/mango/Mango/local/frank/input/loopTests/.project
    branches/mango/Mango/local/frank/input/loopTests/src/
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/ArrayLengthLoopTest.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/EcapTwo.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/EncapsulationTest.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopGuardTest.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/A.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/B.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/LoopImplicitCall.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/NaturalMultiplier.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/SimpleEcap.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/WarrenExample.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/fibonocci.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/genloc.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/heapLoop.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/innermostLoop.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/nested_blowup.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/testrecursive.java
    branches/mango/Mango/local/frank/input/loopTests/src/loopTests/twoLevelLoop.java
    branches/mango/Mango/local/frank/rules/
    branches/mango/Mango/local/frank/rules/rulebase.zip
    branches/mango/Mango/local/frank/sessions/
    branches/mango/Mango/local/frank/sessions/a.zip
    branches/mango/Mango/local/frank/sessions/baseline/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/for all i such that i is less than 'n' AND i is greater than or equal to 0 implies 'y'[i] does not equal 0.zip
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/-baseline.AxiomInLoop.divide_arrays([I[II)V#14:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/-baseline.AxiomInLoop.divide_arrays([I[II)V#14:iload_i_Code_01/'y'['i'] does not equal 0.zip
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/length of the Array 'x' is greater than or equal to 'n', length of the Array 'y' is greater than or equal to 'n'.zip
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/-baseline.AxiomInLoop.init_arrays([I[II)V#20:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/-baseline.AxiomInLoop.init_arrays([I[II)V#20:iload_i_Code_01/op0 is less than 'n'.zip
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/main([I[II)Z/
    branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/main([I[II)Z/for all i such that i is less than 'n' AND i is greater than or equal to 0 implies 'y'[i] does not equal 0.zip
    branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/
    branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/
    branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/'x' equals 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/'x' is less than 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/10 is less than 'x'.zip
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/for all i such that i is less than 'n' AND 0 is greater than or equal to i implies 'a'[i] is greater than or equal to 0.zip
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/loops/
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/'a'['i'] is greater than or equal to 0.zip
    branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/there exists i such that i is less than 'n' AND i is less than length of the Array 'a' AND 'a'[i] is less than 0 AND Array 'a' is non-negative for indices 0 to i - 1.zip
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/'x' is greater than or equal to op0.zip
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/main(I)Z/
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is greater than or equal to 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is less than 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/loops/
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/main([I)Z/
    branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/loops/
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' does not equal 3.zip
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' equals 3.zip
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/main([I)Z/
    branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/op0 is less than 'x'.zip
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/op0 is less than 'x'.zip
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/main(I)Z/
    branches/mango/Mango/local/frank/sessions/baseline/nested_loops/main(I)Z/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/op0 is less than 'x'.zip
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/op0 is less than 'x'.zip
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/main(I)Z/
    branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/main(I)Z/'x' is greater than or equal to 0.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/<init>()V/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/<init>()V/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/op0 is less than 5.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is greater than or equal to 5.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/main(II)Z/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/main(II)Z/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/case.zip
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/
    branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/op0 is less than 5.zip
    branches/mango/Mango/local/rkrug/
    branches/mango/Mango/local/rkrug/.classpath
    branches/mango/Mango/local/rkrug/.project
    branches/mango/Mango/local/rkrug/input/
    branches/mango/Mango/local/rkrug/input/AxiomInLoop/
    branches/mango/Mango/local/rkrug/input/AxiomInLoop/.classpath
    branches/mango/Mango/local/rkrug/input/AxiomInLoop/.project
    branches/mango/Mango/local/rkrug/input/AxiomInLoop/src/
    branches/mango/Mango/local/rkrug/input/AxiomInLoop/src/baseline/
    branches/mango/Mango/local/rkrug/input/AxiomInLoop/src/baseline/AxiomInLoop.java
    branches/mango/Mango/local/rkrug/input/big-model-check-test/
    branches/mango/Mango/local/rkrug/input/big-model-check-test/.classpath
    branches/mango/Mango/local/rkrug/input/big-model-check-test/.project
    branches/mango/Mango/local/rkrug/input/big-model-check-test/src/
    branches/mango/Mango/local/rkrug/input/big-model-check-test/src/baseline/
    branches/mango/Mango/local/rkrug/input/big-model-check-test/src/baseline/big_model_check_test.java
    branches/mango/Mango/local/rkrug/input/bin/
    branches/mango/Mango/local/rkrug/input/bin/baseline/
    branches/mango/Mango/local/rkrug/input/bin/baseline/AxiomInLoop.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/big_model_check_test.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/find_negative.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/if_with_two_loops.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/itsAWrap.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/loop_with_if.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/nested_loops.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/two_loops_in_a_row.class
    branches/mango/Mango/local/rkrug/input/bin/baseline/while_with_conjunct.class
    branches/mango/Mango/local/rkrug/input/find_negative/
    branches/mango/Mango/local/rkrug/input/find_negative/.classpath
    branches/mango/Mango/local/rkrug/input/find_negative/.project
    branches/mango/Mango/local/rkrug/input/find_negative/src/
    branches/mango/Mango/local/rkrug/input/find_negative/src/baseline/
    branches/mango/Mango/local/rkrug/input/find_negative/src/baseline/find_negative.java
    branches/mango/Mango/local/rkrug/input/if-with-two-loops/
    branches/mango/Mango/local/rkrug/input/if-with-two-loops/.classpath
    branches/mango/Mango/local/rkrug/input/if-with-two-loops/.project
    branches/mango/Mango/local/rkrug/input/if-with-two-loops/src/
    branches/mango/Mango/local/rkrug/input/if-with-two-loops/src/baseline/
    branches/mango/Mango/local/rkrug/input/if-with-two-loops/src/baseline/if_with_two_loops.java
    branches/mango/Mango/local/rkrug/input/itsAWrap/
    branches/mango/Mango/local/rkrug/input/itsAWrap/.classpath
    branches/mango/Mango/local/rkrug/input/itsAWrap/.project
    branches/mango/Mango/local/rkrug/input/itsAWrap/src/
    branches/mango/Mango/local/rkrug/input/itsAWrap/src/baseline/
    branches/mango/Mango/local/rkrug/input/itsAWrap/src/baseline/itsAWrap.java
    branches/mango/Mango/local/rkrug/input/loop-with-if/
    branches/mango/Mango/local/rkrug/input/loop-with-if/.classpath
    branches/mango/Mango/local/rkrug/input/loop-with-if/.project
    branches/mango/Mango/local/rkrug/input/loop-with-if/src/
    branches/mango/Mango/local/rkrug/input/loop-with-if/src/baseline/
    branches/mango/Mango/local/rkrug/input/loop-with-if/src/baseline/loop_with_if.java
    branches/mango/Mango/local/rkrug/input/nested-loops/
    branches/mango/Mango/local/rkrug/input/nested-loops/.classpath
    branches/mango/Mango/local/rkrug/input/nested-loops/.project
    branches/mango/Mango/local/rkrug/input/nested-loops/src/
    branches/mango/Mango/local/rkrug/input/nested-loops/src/baseline/
    branches/mango/Mango/local/rkrug/input/nested-loops/src/baseline/nested_loops.java
    branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/
    branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/.classpath
    branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/.project
    branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/src/
    branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/src/baseline/
    branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/src/baseline/two_loops_in_a_row.java
    branches/mango/Mango/local/rkrug/input/while-with-conjunct/
    branches/mango/Mango/local/rkrug/input/while-with-conjunct/.classpath
    branches/mango/Mango/local/rkrug/input/while-with-conjunct/.project
    branches/mango/Mango/local/rkrug/input/while-with-conjunct/src/
    branches/mango/Mango/local/rkrug/input/while-with-conjunct/src/baseline/
    branches/mango/Mango/local/rkrug/input/while-with-conjunct/src/baseline/while_with_conjunct.java
    branches/mango/Mango/local/rkrug/rules/
    branches/mango/Mango/local/rkrug/sessions/
    branches/mango/Mango/local/system/
    branches/mango/Mango/local/system/input/
    branches/mango/Mango/local/system/input/System/
    branches/mango/Mango/local/system/input/System/.classpath
    branches/mango/Mango/local/system/input/System/.project
    branches/mango/Mango/local/system/input/System/bin/
    branches/mango/Mango/local/system/input/System/bin/bin.jar
    branches/mango/Mango/local/system/input/System/bin/build
    branches/mango/Mango/local/system/input/System/bin/java/
    branches/mango/Mango/local/system/input/System/bin/mango/
    branches/mango/Mango/local/system/input/System/build
    branches/mango/Mango/local/system/input/System/java/
    branches/mango/Mango/local/system/input/System/java/io/
    branches/mango/Mango/local/system/input/System/java/io/DataInput.java
    branches/mango/Mango/local/system/input/System/java/io/File.java
    branches/mango/Mango/local/system/input/System/java/io/FileDescriptor.java
    branches/mango/Mango/local/system/input/System/java/io/FileOutputStream.java
    branches/mango/Mango/local/system/input/System/java/io/FilterOutputStream.java
    branches/mango/Mango/local/system/input/System/java/io/IOException.java
    branches/mango/Mango/local/system/input/System/java/io/InputStream.java
    branches/mango/Mango/local/system/input/System/java/io/ObjectInput.java
    branches/mango/Mango/local/system/input/System/java/io/ObjectInputStream.java
    branches/mango/Mango/local/system/input/System/java/io/ObjectStreamClass.java
    branches/mango/Mango/local/system/input/System/java/io/ObjectStreamConstants.java
    branches/mango/Mango/local/system/input/System/java/io/ObjectStreamField.java
    branches/mango/Mango/local/system/input/System/java/io/OutputStream.java
    branches/mango/Mango/local/system/input/System/java/io/PrintStream.java
    branches/mango/Mango/local/system/input/System/java/io/Serializable.java
    branches/mango/Mango/local/system/input/System/java/lang/
    branches/mango/Mango/local/system/input/System/java/lang/ArithmeticException.java
    branches/mango/Mango/local/system/input/System/java/lang/ArrayIndexOutOfBoundsException.java
    branches/mango/Mango/local/system/input/System/java/lang/ArrayStoreException.java
    branches/mango/Mango/local/system/input/System/java/lang/Boolean.java
    branches/mango/Mango/local/system/input/System/java/lang/Byte.java
    branches/mango/Mango/local/system/input/System/java/lang/CharSequence.java
    branches/mango/Mango/local/system/input/System/java/lang/Character.java
    branches/mango/Mango/local/system/input/System/java/lang/Class.java
    branches/mango/Mango/local/system/input/System/java/lang/ClassCastException.java
    branches/mango/Mango/local/system/input/System/java/lang/ClassNotFoundException.java
    branches/mango/Mango/local/system/input/System/java/lang/CloneNotSupportedException.java
    branches/mango/Mango/local/system/input/System/java/lang/Cloneable.java
    branches/mango/Mango/local/system/input/System/java/lang/Comparable.java
    branches/mango/Mango/local/system/input/System/java/lang/Double.java
    branches/mango/Mango/local/system/input/System/java/lang/Exception.java
    branches/mango/Mango/local/system/input/System/java/lang/Float.java
    branches/mango/Mango/local/system/input/System/java/lang/IllegalAccessException.java
    branches/mango/Mango/local/system/input/System/java/lang/IllegalArgumentException.java
    branches/mango/Mango/local/system/input/System/java/lang/IllegalMonitorStateException.java
    branches/mango/Mango/local/system/input/System/java/lang/IllegalStateException.java
    branches/mango/Mango/local/system/input/System/java/lang/IllegalThreadStateException.java
    branches/mango/Mango/local/system/input/System/java/lang/IndexOutOfBoundsException.java
    branches/mango/Mango/local/system/input/System/java/lang/InstantiationException.java
    branches/mango/Mango/local/system/input/System/java/lang/Integer.java
    branches/mango/Mango/local/system/input/System/java/lang/InterruptedException.java
    branches/mango/Mango/local/system/input/System/java/lang/Long.java
    branches/mango/Mango/local/system/input/System/java/lang/Math.java
    branches/mango/Mango/local/system/input/System/java/lang/NegativeArraySizeException.java
    branches/mango/Mango/local/system/input/System/java/lang/NoSuchFieldException.java
    branches/mango/Mango/local/system/input/System/java/lang/NoSuchMethodException.java
    branches/mango/Mango/local/system/input/System/java/lang/NullPointerException.java
    branches/mango/Mango/local/system/input/System/java/lang/Number.java
    branches/mango/Mango/local/system/input/System/java/lang/NumberFormatException.java
    branches/mango/Mango/local/system/input/System/java/lang/Object.java
    branches/mango/Mango/local/system/input/System/java/lang/RuntimeException.java
    branches/mango/Mango/local/system/input/System/java/lang/SecurityException.java
    branches/mango/Mango/local/system/input/System/java/lang/Short.java
    branches/mango/Mango/local/system/input/System/java/lang/String.java
    branches/mango/Mango/local/system/input/System/java/lang/StringBuffer.java
    branches/mango/Mango/local/system/input/System/java/lang/StringBuilder.java
    branches/mango/Mango/local/system/input/System/java/lang/StringIndexOutOfBoundsException.java
    branches/mango/Mango/local/system/input/System/java/lang/System.java
    branches/mango/Mango/local/system/input/System/java/lang/Throwable.java
    branches/mango/Mango/local/system/input/System/java/lang/UnsupportedOperationException.java
    branches/mango/Mango/local/system/input/System/java/lang/Void.java
    branches/mango/Mango/local/system/input/System/java/lang/reflect/
    branches/mango/Mango/local/system/input/System/java/lang/reflect/Array.java
    branches/mango/Mango/local/system/input/System/java/math/
    branches/mango/Mango/local/system/input/System/java/math/BigInteger.java
    branches/mango/Mango/local/system/input/System/java/net/
    branches/mango/Mango/local/system/input/System/java/net/URI.java
    branches/mango/Mango/local/system/input/System/java/net/URL.java
    branches/mango/Mango/local/system/input/System/java/util/
    branches/mango/Mango/local/system/input/System/java/util/AbstractCollection.java
    branches/mango/Mango/local/system/input/System/java/util/AbstractList.java
    branches/mango/Mango/local/system/input/System/java/util/AbstractMap.java
    branches/mango/Mango/local/system/input/System/java/util/ArrayList.java
    branches/mango/Mango/local/system/input/System/java/util/Arrays.java
    branches/mango/Mango/local/system/input/System/java/util/Collection.java
    branches/mango/Mango/local/system/input/System/java/util/Comparator.java
    branches/mango/Mango/local/system/input/System/java/util/HashMap.java
    branches/mango/Mango/local/system/input/System/java/util/Iterator.java
    branches/mango/Mango/local/system/input/System/java/util/List.java
    branches/mango/Mango/local/system/input/System/java/util/ListIterator.java
    branches/mango/Mango/local/system/input/System/java/util/Locale.java
    branches/mango/Mango/local/system/input/System/java/util/Map.java
    branches/mango/Mango/local/system/input/System/java/util/Random.java
    branches/mango/Mango/local/system/input/System/java/util/RandomAccess.java
    branches/mango/Mango/local/system/input/System/java/util/Set.java
    branches/mango/Mango/local/system/input/System/mango/
    branches/mango/Mango/local/system/input/System/mango/lang/
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_Boolean.java
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_Byte.java
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_Class.java
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_Integer.java
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_Object.java
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_Short.java
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.charAt worksheet.rtf
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.java
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.length worksheet.rtf
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_StringBuffer.append worksheet.rtf
    branches/mango/Mango/local/system/input/System/mango/lang/Mango_StringBuffer.java
    branches/mango/Mango/local/system/input/System/mango/util/
    branches/mango/Mango/local/system/input/System/mango/util/Mango_ArrayList.add worksheet.rtf
    branches/mango/Mango/local/system/input/System/mango/util/Mango_ArrayList.java
    branches/mango/Mango/local/system/input/SystemTests/
    branches/mango/Mango/local/system/input/SystemTests/.classpath
    branches/mango/Mango/local/system/input/SystemTests/.project
    branches/mango/Mango/local/system/input/SystemTests/src/
    branches/mango/Mango/local/system/input/SystemTests/src/systemTests/
    branches/mango/Mango/local/system/input/SystemTests/src/systemTests/ArrayCopyFunctionalTest.java
    branches/mango/Mango/local/system/input/SystemTests/src/systemTests/ArrayCopyTest.java
    branches/mango/Mango/local/system/input/SystemTests/src/systemTests/Bit.class
    branches/mango/Mango/local/system/input/SystemTests/src/systemTests/PleaseWrapThis.java
    branches/mango/Mango/local/system/input/SystemTests/src/systemTests/StartsWithTest.java
    branches/mango/Mango/local/system/input/SystemTests/src/systemTests/StringTests.java
    branches/mango/Mango/local/system/rules/
    branches/mango/Mango/local/system/sessions/

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