javapathfinder-svn Mailing List for JavaPathFinder (Page 6)

Status: Beta

Brought to you by: artimid, johnpenix, masoud_mansouri, pcdillinger, and 3 others

javapathfinder-svn — source repository related messages (SVN)

You can subscribe to this list here.

2008	_Jan	_Feb	_Mar	_Apr	_May (16)	_Jun (42)	_Jul (46)	_Aug (48)	_Sep (33)	_Oct (26)	_Nov (28)	_Dec (38)
2009	_Jan (35)	_Feb (80)	_Mar (112)	_Apr (108)	_May (102)	_Jun (126)	_Jul (89)	_Aug (82)	_Sep (36)	_Oct (7)	_Nov (1)	_Dec (4)
2010	_Jan (87)	_Feb	_Mar (2)	_Apr (1)	_May	_Jun	_Jul	_Aug	_Sep	_Oct	_Nov	_Dec

Flat | Threaded

<< < 1 .. 4 5 6 7 8 .. 46 > >> (Page 6 of 46)

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1894] trunk/extensions/guidedsymbolic/src/edu/ byu/cs/guided/jpf/TraceOutputListener.java

From: <ne...@us...> - 2009-09-06 20:41:28

Revision: 1894
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1894&view=rev
Author:   nehas
Date:     2009-09-06 20:41:20 +0000 (Sun, 06 Sep 2009)

Log Message:
-----------
A Listener to output a detailed error trace that outputs the thread id and source line of code at each point in the error trace. 

Added Paths:
-----------
    trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/TraceOutputListener.java


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

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

From: <fra...@us...> - 2009-09-06 03:54:28

Revision: 1893
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1893&view=rev
Author:   frankrimlinger
Date:     2009-09-06 03:54:21 +0000 (Sun, 06 Sep 2009)

Log Message:
-----------
Completed design for unravelling predicate transformers.  Implementation in progress.

Modified Paths:
--------------
    branches/mango/Mango/doc/unravelling predicate transfomers.rtf
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoAnnotation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoState.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Edge.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoice.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/sym/
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/sym/HarvestChoiceSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/RewriteInstruction.java

Removed Paths:
-------------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/RewriterInstruction.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1892] branches/mango/Mango/doc/ unravelling predicate transfomers.rtf

From: <fra...@us...> - 2009-09-04 19:15:41

Revision: 1892
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1892&view=rev
Author:   frankrimlinger
Date:     2009-09-04 19:15:35 +0000 (Fri, 04 Sep 2009)

Log Message:
-----------
Realized that the transition from the dual world of predicate transformers to the state/predicate world should not be attacked in an ad hoc manner.  This process gets its own design document "unravelling predicate transformers".  To summarize,  instruction.execute() must block and rewrite in order to formulate the correct return value.  This method creates its own private data structures, blocks on the rewriter, and the when it wakes up, examines those structures and either returns nextPC, or loads the appropriate choice generators and returns null.  The RewriteListener.instructionExecuted() method is restricted to the very simple function of mapping the current step to the MangoState already computed in the execute() method, and updating the transition annotation accordingly.  The only reason we don't do this in the execute() method is that currentStep is not available yet.

"unravelling predicate transformers" in progress.

Added Paths:
-----------
    branches/mango/Mango/doc/unravelling predicate transfomers.rtf


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1891] branches/mango/Mango/ javapathfinder-mango-bridge/mango/rewriter/MangoState.java

From: <fra...@us...> - 2009-09-04 14:34:36

Revision: 1891
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1891&view=rev
Author:   frankrimlinger
Date:     2009-09-04 14:34:30 +0000 (Fri, 04 Sep 2009)

Log Message:
-----------
Went a little overboard in 1890.  While it is true that the dual space of predicate transformers provides a sound theory for slicing and dicing control flow diagrams, this is only a means to and end.  The end is to interpret this dual graph as a specification.  This interpretation is in terms of the original concepts of predicate and state transformer.  In the particular case of a loop invocation along a edge, which started this thread, what happens is that "gates" are produced.  This is worth understanding.  Although a loop embedded in a control flow diagram has a single entry point, it might have many exit points.  When the loop collapses into the entrypoint, each such exit is represented with an edge containing the appropriate predicate transformer to encapsulate the last incomplete journey around the loop.  Having done this, we can now interpret the situation like so:

Any state which does not hang the loop must leave by one of the prescribed exits.  Therefore, the assumption of an exit condition is a specification for a set of states which do not hang the loop, because,evidently, they leave the loop along the prescribed edge.  Therefore, even if the recursive function for the state transition of the loop is not total, it is "good enough" for our purpose.

As a practical matter, the exit condition composes with the recursive function to get the weakest precondition at the entrance, and so it's really hard for the user to know what they are buying.  Therefore, such an assumption is referred to as a "conjecture", and the name of the game is for the user, or perhaps some robust ai process, to guess some hypotheses not involving the loop which imply the conjecture.  

In conclusion, it is not necessary for Step to maintain dual state, and so we have restored MangoState to 1884.  But this digression has raised one useful point.  When we assume a condition containing a recursive function, e.g., an instantiated loop, this is specified as a "conjecture", NOT a "hypothesis".  We have to stop and let the user try and guess some hypotheses which will imply the conjecture.  At some point, maybe atm will kick in to prove or disprove the conjectures.

If this part could be done automatically, then we truly would enter the realm of the "self-verifying compiler", but for now this is terra incognita.

Modified Paths:
--------------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoState.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1890] branches/mango/Mango/ javapathfinder-mango-bridge/mango/rewriter/MangoState.java

From: <fra...@us...> - 2009-09-04 04:20:59

Revision: 1890
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1890&view=rev
Author:   frankrimlinger
Date:     2009-09-04 04:20:48 +0000 (Fri, 04 Sep 2009)

Log Message:
-----------
Splicing total state is easy.  The thing to keep in mind is that each branch point gets its own choice generator.  So the choice generator is the logical place to store the accumulated total state s_0.  The first instruction of a transition, say with formal state s, sets

totalState=(o s s_0)
partialState=s

For i>0, the i'th instruction sets 
totalState=(o s totalState_i-1)
partialState=(o s partialState_i-1)

Having said this, since we will be composing with loop invocations, which may or may not represent state transitions (because the loop could hang), the sound thing to do is to work in the dual category of predicate transformers, which always exist.  Most people just check out when you talk about the dual category, but oh well, it is necessary.  For the record, predicate transformers in a nutshell:  
S= set of states
s is a state transformer s:S->S
b is a predicate, b:S->{t,f}
P the set of predicates
A predicate transformer is just a map P->P.  These can be bad, but it turns out that every predicate transformer arising from deterministic control flow factors as s*^b*, where duality (*) is defined like so, for any predicate p,

s*(p)=pS
b*(p)=b

For any control flow diagram with vertices which are state transformers s and edges which are predicates b, the dual diagram just replaces s with s* and b with b*^id*, where id is the identity state transformer.  Composing backwards along a path gives a potential state transition, but you have an ugly computation involving the branch conditions to get the constraint.  The situation is much nicer in the dual graph, composing forwards just give the accumulated predicate transformer, which takes a predicate at the end of a path to its weakest precondition at the beginning.  None of this would make any difference, except that a loop can be modelled in full generality as a deterministic predicate transformer, a simple exercise for the reader.  (Hint: b(s)=false for all states which hang the loop).

So, MangoState is refactored like so:

class MangoState{
	Hitem totalDual;
	Hitem partialDual;
}

The choice generator stores the accumulated totalDual, x_0. 
First transition= x*^b*, you assume b, and:
totalDual=(o x_0  x)
partialDual= x

i'th transition= x*^b*, you assume b, and:
totalDual=(o totalDual_i-1 x)
partialDual=(o partialDual_i-1 x)

This is all fine and well, but still need to write the code for Step update.

Modified Paths:
--------------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoState.java


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

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

From: <fra...@us...> - 2009-09-03 22:08:52

Revision: 1889
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1889&view=rev
Author:   frankrimlinger
Date:     2009-09-03 22:08:44 +0000 (Thu, 03 Sep 2009)

Log Message:
-----------
Various tweaks to better understand exactly how JPFrewriter, RewriteChoiceGenerator, and RewriteListener play together.  Simulations show all the paths through a loop body or acyclic module graph are covered exactly once.  Ready for the tricky business of state splicing across transitions.  Also made sure persistent names were manufactured in order to support "transition replay", which will eventually be an issue.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/SimpleLoopPath.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Edge.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/RewriterInstruction.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java


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

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

From: <fra...@us...> - 2009-09-03 18:11:09

Revision: 1888
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1888&view=rev
Author:   frankrimlinger
Date:     2009-09-03 18:11:02 +0000 (Thu, 03 Sep 2009)

Log Message:
-----------
It turns out that the annotation object exists at the transition level, not the step level as indicated in 1884.  But thats ok, just store a MangoAnnotation.  Inside the MangoAnnotation, there is a HashMap that maps each step to its MangoState.  

Wired in branching logic for Vertex and Edge.  Decided there was no need for separate listener for branching, so this is in the RewriteListener.

TODO: Vertex.firstExecuted() in particular, the issue splicing of totalState with the previous transition needs to be figured out.  

Vertex.instructionExecuted() needs to compose with state of the previous edge.  Also, if there is no outgoing edge, then needs to wait on message to complete the specification for this case.  NB: NOT to be confused with no "next pc", which just means we are at the end of a transition.

Edge.instructionExecuted() needs to do a lot of stuff.  Assumption of branch conditions, module instantiation, and setting up its mango state, which is previous composed with trivial or the instantiated module state.  (The whole point of assuming the branch condition is to make it go away).  Also buried in here will be the user stuff to help out with translation issues, so there will have to be a "Go" button after all so the user can indicate when ready to continue.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/utilities/Set.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoState.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Edge.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Graphic.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/InvokeRewriter.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Boolean_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Character_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Class_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Double_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Integer_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Math_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Short_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/System_MangoFormal.java

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoAnnotation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/RewriterInstruction.java


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

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

From: <fra...@us...> - 2009-09-03 03:44:19

Revision: 1887
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1887&view=rev
Author:   frankrimlinger
Date:     2009-09-03 03:44:12 +0000 (Thu, 03 Sep 2009)

Log Message:
-----------
Most of the wiring for JPFrewriter is now in place.  Need to punch in the branching logic for Vertex and Edge instructions. In RewriteListener.instructionExecuted(), you need to acquire the last Step, generate its MangoState, and wait on a command to rewrite the MangoState components.  Then the game starts to play itself.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/JPFrewriter.java
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_rewriter_RewriterMJI.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/InstructionFactory.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Edge.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInstructionFactory.java

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoState.java
    branches/mango/Mango/mangoUserHome/rkrug/itsAWrap/src/baseline/ItsAWrap.java.tmp


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

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

From: <fra...@us...> - 2009-09-02 19:14:12

Revision: 1886
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1886&view=rev
Author:   frankrimlinger
Date:     2009-09-02 19:13:57 +0000 (Wed, 02 Sep 2009)

Log Message:
-----------
Wired up the JPFrewriter according to 1884.  It remains to implement the functionality of RewriteChoiceGenerator, RewriteListener, and the getEntryPoint() method for classes LoopDefinitionManager and MethodDefinitionManager.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/Mango/ThreadSupport/src/threadModel/Command.java
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/JPFrewriter.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/Launcher.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoTargetLauncher.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_rewriter_RewriterMJI.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/JPFrewriterCmd.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriterMJI.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/InvokeRewriter.java
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/Final case. op0 is less than 10.zip

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/Array length of x is greater than or equal to 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/


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

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

From: <fra...@us...> - 2009-09-02 15:11:55

Revision: 1885
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1885&view=rev
Author:   frankrimlinger
Date:     2009-09-02 15:11:47 +0000 (Wed, 02 Sep 2009)

Log Message:
-----------
Happily, no fundamental modification of the ThreadSupport project is necessary to support "user" blocking of a Commander thread.  The point is that a ReentrantLock has already been established in the SystemBuilder, called "executionLock".  The command that holds the lock is the only one that gets to execute.  This lock was established to *prevent* higher priority commands from swapping in randomly while a lower priority command was running. So if a lower priority command wants to block, it does the following:

create a new Semaphore sem.
create the higher priority message, passing sem
post the higher priority message
unlock the executionLock
acquire sem
lock the executionLock


All the higher priority message has to do is release sem when it is done.  The lower priority message will then unblock and continue execution.

BUT, what happens if the lower priority message is so unlucky that it swaps out just after unlocking.  Then the higher priority message kicks in, does its thing, and attempts to release the semaphore before it was ever acquired?  Well, the higher priority thread can accommodate this situation like so:

while(true){
	if(!sem.hasQueuedThreads()){
		Thread.sleep(1);
	}
	else{
		sem.release();
		break;
	}
}

It's a piece of cake!  The InterruptCode interface declares two methods, getSemaphore() and transit().   ScheduleRequestMsg implements this interface, so extensions can now run as interrupt code.  All they have to do is accept a Semaphore and pass it to super(), and call transit() instead of transit(Command.E.FINISH)   The base class implementation of transit() handles the cleanup at FINISH time.

For any Command that needs to block, there is the incantation:

wait( new XXXmsg(<usual arguments>, new Semaphore()))

The method wait() accepts any Command implementing InterruptCode, and calls its getSemphore() method to implement the blocking logic for this command.

Modified ScheduleRequestMsg and Command to accomodate the InterruptCode interface.  Created the new lowest priority for the session threads, JPFREWRITER.  With JPFrewriter running the show, its not clear that that the "session" concept has any meaning, but we just let sessions continue to exist until it is clear they are no longer needed.

The whole idea of having a static set of threads tied to pre-defined priorities is feeling a little 20th century, but oh well, good enough for now.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/control/msg/ReplayedMsg.java
    branches/mango/Mango/Mango/src/mango/worker/msg/ScheduleAutoCommand.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/model/EventLoopTrap.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ScheduleRequestMsg.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/TrapCommand.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/WorkerCommand.java
    branches/mango/Mango/ThreadSupport/src/threadModel/Command.java
    branches/mango/Mango/ThreadSupport/src/threadModel/Priority.java
    branches/mango/Mango/ThreadSupport/src/threadModel/SystemBuilder.java

Added Paths:
-----------
    branches/mango/Mango/ThreadSupport/src/threadModel/InterruptCode.java


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

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

From: <fra...@us...> - 2009-09-02 04:15:45

Revision: 1884
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1884&view=rev
Author:   frankrimlinger
Date:     2009-09-02 04:15:34 +0000 (Wed, 02 Sep 2009)

Log Message:
-----------
Introduced JPFrewriter and its Launcher and InstructionFactory in the new package mango.rewriter in the javapathfinder-mango-bridge.  Moved classes Edge and Vertex, which extend Graphic, from mango.worker.mangoModel to mango.rewriter.synthetic.  The base class Graphic now extends Instruction, so JPFrewriter can now execute Vertex and Edge objects.  So far so good, but how is this execution to take place?

Here is a theory of operation, which is somewhat speculative at this point.  JPF has the notion of a Step, which is an executed instruction, and a Transition, which is a sequence of Steps from the last branch point.  The current trail is stored in the SystemState and so is available to the execute() method of an instruction.  The point is that an Instruction that is executing can obtain the "last step" of the trail, which presumably is the instruction that just executed, if any. 

Here is the punchline: a Step can store an "annotation", which can be any Object.  Its pretty clear that JPF regards this as user register, since the only reference to setAnnotation() is in an MJI method called addComment(), which probably enables the source code annotation concept.  As this only exists in JPF extensions, we presumably are free to knock ourselves out. So annotate a Step by storing MangoState

class MangoState{
  Hitem totalState;
  Hitem partialState;
}

Now we are good-to-go.  TotalState is the accumulated state from the module entry point to the current instruction, and partialState is the accumulated state from the last branch point.  Its up to the choice generators to carry the total state from one Transition to the next.  TotalState will enable specification, and partialState will enable invariant factorization.

This feels right, but here is a question.  How can an Instruction that is executing get a hold of its Step, which doesn't exist yet?  This must be listener thing.

Well, at the outset have to call ss.recordSteps(true), where ss is the SystemState singleton.  Then, assuming nobody has altered the logInstruction field of the ThreadInfo, the step will be recorded just AFTER execution of the instruction.  But then, as expected, there is vm.notifyInstructionExecuted, passing this ThreadInfo and the instruction.

So, we install a listener that responds to "instruction executed" by 

1)  Creating the formal expressions for the new MangoState.

2) posting a rewrite message to a higher priority queue and blocking the JPFrewriter thread.  There will have to be some work done in the ThreadSupport  project to allow execution of higher priority messages while a message is in the "blocked" state.  Currently there is no such state, but it's time to face the music.  There is no other way, short of abandoning jpf.  Since we are in a listener when the block occurs, JPFrewriter should be in a pretty consistent state.

Now this rewriter message is going to be firing up Module instantiations, which will affect data in ChoiceGenerators, and invariant detection, which will cause tracebacks.  The tracebacks are read-only as far as JPFrewriter is concerned, so relatively safe.  But the fact is that we will be messing with ChoiceGenerator data while blocked inside a listener, but this seems safe enough.  When the JPFrewriter wakes up, it exits the listener and continues the Transition.  When the transition is done and a new choice is made, well, it may not be a choice we could have predicted in advance, but that's life.

So, JPFrewriter will be the main driver of automation.  It will take frequent naps, but each time it wakes up it will be a little bit smarter.  What is nice about dynamically wiring the choice generators is that the game can be made to play itself until all cases are exhausted, at which point the JPFcmd finally finishes and the higher level automation kicks in to clean up, restart, select the next target, and fire up a new JPFrewriter.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
    branches/mango/Mango/Mango/src/mango/graph/data/supervertex/SuperEntryData.java
    branches/mango/Mango/Mango/src/mango/graph/data/ucon/UconData.java
    branches/mango/Mango/Mango/src/mango/gumboModel/factory/EmbeddedJVMFactory.java
    branches/mango/Mango/Mango/src/mango/gumboModel/factory/GraphModelFactory.java
    branches/mango/Mango/Mango/src/mango/gumboModel/factory/MultiGraphModelFactory.java
    branches/mango/Mango/Mango/src/mango/gumboModel/factory/SourceModelFactory.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/AssignNotObjectValue.java
    branches/mango/Mango/Mango/src/mango/tree/model/Cell.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/AlphaDelegate.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/BackupDelegate.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/CodeDelegate.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/EdgeDelegate.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/GraphDelegate.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/OmegaDelegate.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/UconDelegate.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/BackupEdge.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/EdgeIterator.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/InstallResult.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/Path.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/PathCollection.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/SimpleLoopPath.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/AcyclicGraph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/CpnGraph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/Graph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/SuperCpnGraph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/GraphicSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/PackageSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/InvocationUconSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconOSTerminatorSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/CallVertex.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/MethodVertex.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperVertex.java
    branches/mango/Mango/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInterface.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/JPFrewriter.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/InstructionFactory.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/Launcher.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Edge.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Graphic.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/Edge.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graphic/Graphic.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/Vertex.java


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

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

From: <fra...@us...> - 2009-09-01 20:35:24

Revision: 1883
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1883&view=rev
Author:   frankrimlinger
Date:     2009-09-01 20:35:17 +0000 (Tue, 01 Sep 2009)

Log Message:
-----------
Trip down memory lane.  Back in 2002, if I had realized that the graphs I was building could be acted on by jpf, a lot of trouble could have been saved, but oh well.  The first order of business is to reconstruct the graph of an innermost loop.  Innermost loops are trivially embedded in the control flow, in the sense that they can be collapsed without creating new loops.  The sequences of edges representing an innermost loop still exists as the Path.cass graphic of the corresponding LoopSym, but the Graph adapter code is missing.  Probably was too funky to survive translation from C++.

Reintroduced the corresponding SuperPathSym, which may now be accessed by opening the LoopSym of the innermost loop.  The edge sequence generated by an innermost loop is now a SimpleLoopPath extending Path, which is now abstract. The reason Path is made abstract is so it can have the abstract method getEntryPoint(), which returns the first vertex and by indirection the content of the path.  SimpleLoopPath does some munging of the path sequence before delivering the entryPoint, so that the GateSym's are all falsified along the edges.  We no longer have to deny that we are leaving the loop, since there is no place else to go.  Also, the entrypoint represents the underlying CodeSym, which is the "first instruction" of the loop, NOT the loop as a whole.  Finally, the last vertex  of a SimpleLoopPath interprets to the trivial state transformation.  All of the these modifications are made so that when jpf traverses the Graph with entrypointSet {simpleLoopPath.getEntryPoint()}, it will specify the state transition of the loop body, which is the desired outcome.

NB: A SuperPathSym is not to be confused with the existing SuperLoopSym.  A SuperLoopSym is an intermediary created by "blowing up".  In the case of ItsAWrap, we have an innermost loop, so there is nothing to blow up, so the graph corresponding SuperLoopSym coincides with that of the ambient MethodSym.  The terminology is not great.

Next: create and wire LoopDefinitionRequestMsg and MethodDefintionRequestMsg to create a JPFrewriter and fire it up.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/Resources/IconIndex.java
    branches/mango/Mango/Mango/src/mango/graph/data/graphic/CodeData.java
    branches/mango/Mango/Mango/src/mango/graph/data/graphic/VertexData.java
    branches/mango/Mango/Mango/src/mango/graph/data/ucon/UconData.java
    branches/mango/Mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.java
    branches/mango/Mango/Mango/src/mango/worker/Mango.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/BackupEdge.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/Edge.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/InstallResult.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/Path.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/SourceLineSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/VertexSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/SimpleLoopPath.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperPathSym.java
    branches/mango/Mango/mangoUserHome/rkrug/itsAWrap/src/baseline/ItsAWrap.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/graph/data/supervertex/SuperStrataData.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
    branches/mango/Mango/mangoUserHome/rkrug/itsAWrap/src/baseline/itsAWrap.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1882] branches/mango/MangoBaseline

From: <fra...@us...> - 2009-09-01 04:17:43

Revision: 1882
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1882&view=rev
Author:   frankrimlinger
Date:     2009-09-01 04:17:36 +0000 (Tue, 01 Sep 2009)

Log Message:
-----------
Some final tweaks to make sure MangoBaseline is in good working order, as it will certainly be needed for debugging Mango down the stretch.

Modified Paths:
--------------
    branches/mango/MangoBaseline/META-INF/MANIFEST.MF
    branches/mango/MangoBaseline/META-INF/Mango.product
    branches/mango/MangoBaseline/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoBaseline/baselineUserHome/frank/rules/rulebase.zip
    branches/mango/MangoBaseline/plugin.xml
    branches/mango/MangoBaseline/src/mango/intro/ApplicationActionBarAdvisor.java
    branches/mango/MangoBaseline/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
    branches/mango/MangoBaseline/src/mango/intro/LoginDialog.java
    branches/mango/MangoBaseline/src/mango/views/GenSpecWindow.java

Added Paths:
-----------
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/Class-object array is not an array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/Final case. index is less than Array length of array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/array is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/index is greater than or equal to Array length of array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/index is less than 0.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/get(Ljava.lang.Object;I)Ljava.lang.Object;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/get(Ljava.lang.Object;I)Ljava.lang.Object;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/get(Ljava.lang.Object;I)Ljava.lang.Object;/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getBoolean(Ljava.lang.Object;I)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getBoolean(Ljava.lang.Object;I)Z/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getByte(Ljava.lang.Object;I)B/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getByte(Ljava.lang.Object;I)B/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getChar(Ljava.lang.Object;I)C/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getChar(Ljava.lang.Object;I)C/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getDouble(Ljava.lang.Object;I)D/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getDouble(Ljava.lang.Object;I)D/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getFloat(Ljava.lang.Object;I)F/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getFloat(Ljava.lang.Object;I)F/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getInt(Ljava.lang.Object;I)I/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getInt(Ljava.lang.Object;I)I/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getLong(Ljava.lang.Object;I)J/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getLong(Ljava.lang.Object;I)J/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getShort(Ljava.lang.Object;I)S/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getShort(Ljava.lang.Object;I)S/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/Class-object array is not an array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/Final case. component class of Class-object array does not equal type.value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/array is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/component class of Class-object array equals type.value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/type is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/type may not be cast to java.lang.String.zip


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

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

From: <fra...@us...> - 2009-08-31 19:57:17

Revision: 1881
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1881&view=rev
Author:   frankrimlinger
Date:     2009-08-31 19:57:10 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
Now begins the final leg of the journey, as outlined in the design rev.  Key design points are total automation modulo user help for translating and case filtering, jpf backtracking for case enumeration, jpf tracebacks for invariant factorization computation, automated target selection.

Modified Paths:
--------------
    branches/mango/Mango/doc/design.rtf

Added Paths:
-----------
    branches/mango/Mango/doc/design rev.rtf


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1880] branches/mango/MangoBaseline/ baselineUserHome

From: <fra...@us...> - 2009-08-31 19:52:35

Revision: 1880
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1880&view=rev
Author:   frankrimlinger
Date:     2009-08-31 19:52:16 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
Uptodate version of mangoUserHome for MangoBaseline.  Part3  This completes the initialization of MangoBaseline

Added Paths:
-----------
    branches/mango/MangoBaseline/baselineUserHome/frank/
    branches/mango/MangoBaseline/baselineUserHome/frank/.classpath
    branches/mango/MangoBaseline/baselineUserHome/frank/.project
    branches/mango/MangoBaseline/baselineUserHome/frank/LinearArithmeticTest/
    branches/mango/MangoBaseline/baselineUserHome/frank/LinearArithmeticTest/src/
    branches/mango/MangoBaseline/baselineUserHome/frank/LinearArithmeticTest/src/linearArithmeticTests/
    branches/mango/MangoBaseline/baselineUserHome/frank/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmetic.java
    branches/mango/MangoBaseline/baselineUserHome/frank/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmeticTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/LinearArithmeticTest/src/linearArithmeticTests/liteTest1.java
    branches/mango/MangoBaseline/baselineUserHome/frank/LocalVariableScopeTest/
    branches/mango/MangoBaseline/baselineUserHome/frank/LocalVariableScopeTest/src/
    branches/mango/MangoBaseline/baselineUserHome/frank/LocalVariableScopeTest/src/localVariableScopeTests/
    branches/mango/MangoBaseline/baselineUserHome/frank/LocalVariableScopeTest/src/localVariableScopeTests/LocalVariableScopeTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/Demo.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/EZfunctionAbs.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/FieldTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/LinearTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/ManagementDemo.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/ModelCheckText.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/RefBuster.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/Wacko.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/condTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/conditionalTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/conditonalBugs.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/falseRecursion/
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/falseRecursion/A.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/falseRecursion/B.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/falseRecursion/falseRecursion.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/fcnCall.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/heapVacuum.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/initTest/
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/initTest/A.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/initTest/B.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/invocationTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/multiarray.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/one.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/simpleArray.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/crazyGlue.java
    branches/mango/MangoBaseline/baselineUserHome/frank/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/staticObjectVirtualCallTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/ArrayLengthLoopTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/EcapTwo.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/EncapsulationTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/LoopGuardTest.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/LoopImplicitCall/
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/LoopImplicitCall/A.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/LoopImplicitCall/B.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/LoopImplicitCall/LoopImplicitCall.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/NaturalMultiplier.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/SimpleEcap.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/WarrenExample.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/fibonocci.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/genloc.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/heapLoop.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/innermostLoop.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/nested_blowup.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/testrecursive.java
    branches/mango/MangoBaseline/baselineUserHome/frank/loopTests/src/loopTests/twoLevelLoop.java
    branches/mango/MangoBaseline/baselineUserHome/frank/rules/
    branches/mango/MangoBaseline/baselineUserHome/frank/rules/rulebase (original) 2.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/rules/rulebase (original).zip
    branches/mango/MangoBaseline/baselineUserHome/frank/rules/rulebase.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/Casting/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/Casting/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/Casting/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/Casting/cast(DFILI;)LI;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/Casting/cast(DFILI;)LI;/Final case. objI may be cast to I.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/Casting/cast(DFILI;)LI;/objI is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/Casting/cast(DFILI;)LI;/objI may not be cast to I.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/compareTo(LI;)I/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/compareTo(LI;)I/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/Final case. compareTo_LocalVar_at_offset_1_lineNumber_1 may not be cast to I.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/compareTo_LocalVar_at_offset_1_lineNumber_1 is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/compareTo_LocalVar_at_offset_1_lineNumber_1 may be cast to I.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens()Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens()Ljava.lang.Class;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens1()Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens1()Ljava.lang.Class;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens2()Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens2()Ljava.lang.Class;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens3()Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/I/whatHappens3()Ljava.lang.Class;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/a
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/a.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/<init>()V/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/Array length of x is greater than or equal to 10.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/a.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/Final case. x[5] equals x[6].zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/x[5] equals x[6].zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/ArrayIndexOutOfBoundsException_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/ArrayIndexOutOfBoundsException_MangoFormal/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/ArrayIndexOutOfBoundsException_MangoFormal/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/booleanValue()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/booleanValue()Z/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj may not be cast to java.lang.Boolean_MangoFormal.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value does not equal obj._value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value equals obj._value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/byteValue()B/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/byteValue()B/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj may not be cast to java.lang.Byte_MangoFormal.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value does not equal obj._value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value equals obj._value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/Final case. className is defined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/className is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class;/Final case. this is not an array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class;/this is an array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String;/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isArray()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isArray()Z/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class;)Z/Final case. cls is defined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class;)Z/cls is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isInterface()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isInterface()Z/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isPrimitive()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Class_MangoFormal/isPrimitive()Z/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/IllegalArgumentException_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/IllegalArgumentException_MangoFormal/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/IllegalArgumentException_MangoFormal/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/IndexOutOfBoundsException_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/IndexOutOfBoundsException_MangoFormal/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/IndexOutOfBoundsException_MangoFormal/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj may not be cast to java.lang.Integer_MangoFormal.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value does not equal obj._value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value equals obj._value.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/intValue()I/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Integer_MangoFormal/intValue()I/case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/Object_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/reflect/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/reflect/Array_MangoFormal/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/java/lang/reflect/Array_MangoFormal/getShort(Ljava.lang.Object;I)S/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getLength(Ljava.lang.Object_MangoFormal;)I/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getLength(Ljava.lang.Object_MangoFormal;)I/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/<init>()V/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/<init>()V/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse()Z/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class;Ljava.lang.Class;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class;Ljava.lang.Class;)Z/Final case. x is defined, y is defined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/compatibleTrue()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/compatibleTrue()Z/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/Final case. clazz is not an array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/clazz is an array.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/clazz is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/intComponentTest()Ljava.lang.String;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/intComponentTest()Ljava.lang.String;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/intComponentTest2()Ljava.lang.String;/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/intComponentTest2()Ljava.lang.String;/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class;)Z/Final case. clazz is defined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class;)Z/clazz is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsFalse()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsFalse()Z/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsTrue()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsTrue()Z/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isPrimitive(Ljava.lang.Class;)Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isPrimitive(Ljava.lang.Class;)Z/Final case. clazz is defined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isPrimitive(Ljava.lang.Class;)Z/clazz is undefined.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveFalse()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveFalse()Z/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveTrue()Z/
    branches/mango/MangoBaseline/baselineUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveTrue()Z/Final case.zip
    branches/mango/MangoBaseline/baselineUserHome/marc/
    branches/mango/MangoBaseline/baselineUserHome/marc/.classpath
    branches/mango/MangoBaseline/baselineUserHome/marc/.project
    branches/mango/MangoBaseline/baselineUserHome/marc/arrayCopyShell/
    branches/mango/MangoBaseline/baselineUserHome/marc/arrayCopyShell/src/
    branches/mango/MangoBaseline/baselineUserHome/marc/arrayCopyShell/src/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/arrayCopyShell/src/extest/arrayCopyShell.java
    branches/mango/MangoBaseline/baselineUserHome/marc/hypo2/
    branches/mango/MangoBaseline/baselineUserHome/marc/hypo2/src/
    branches/mango/MangoBaseline/baselineUserHome/marc/hypo2/src/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/hypo2/src/extest/hypo2.java
    branches/mango/MangoBaseline/baselineUserHome/marc/lptry1/
    branches/mango/MangoBaseline/baselineUserHome/marc/lptry1/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/lptry1/extest/lptry1.java
    branches/mango/MangoBaseline/baselineUserHome/marc/lptry2/
    branches/mango/MangoBaseline/baselineUserHome/marc/lptry2/src/
    branches/mango/MangoBaseline/baselineUserHome/marc/lptry2/src/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/lptry2/src/extest/lptry2.java
    branches/mango/MangoBaseline/baselineUserHome/marc/try1/
    branches/mango/MangoBaseline/baselineUserHome/marc/try1/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/try1/extest/try1.java
    branches/mango/MangoBaseline/baselineUserHome/marc/try2/
    branches/mango/MangoBaseline/baselineUserHome/marc/try2/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/try2/extest/try2.java
    branches/mango/MangoBaseline/baselineUserHome/marc/try3/
    branches/mango/MangoBaseline/baselineUserHome/marc/try3/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/try3/extest/try3.java
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk1/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk1/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk1/extest/trychk1.java
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk2/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk2/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk2/extest/trychk2.java
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk3/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk3/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk3/extest/trychk3.java
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk6/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk6/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk6/extest/trychk6.java
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk7/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk7/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk7/extest/trychk7.java
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk8/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk8/extest/
    branches/mango/MangoBaseline/baselineUserHome/marc/trychk8/extest/trychk8.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1879] branches/mango/MangoBaseline/ baselineUserHome

From: <fra...@us...> - 2009-08-31 19:50:03

Revision: 1879
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1879&view=rev
Author:   frankrimlinger
Date:     2009-08-31 19:49:57 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
Uptodate version of mangoUserHome for MangoBaseline.  Part2

Added Paths:
-----------
    branches/mango/MangoBaseline/baselineUserHome/rkrug/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/.classpath
    branches/mango/MangoBaseline/baselineUserHome/rkrug/.project
    branches/mango/MangoBaseline/baselineUserHome/rkrug/AxiomInLoop/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/AxiomInLoop/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/AxiomInLoop/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/AxiomInLoop/src/baseline/AxiomInLoop.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/big-model-check-test/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/big-model-check-test/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/big-model-check-test/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/big-model-check-test/src/baseline/big_model_check_test.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/find_negative/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/find_negative/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/find_negative/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/find_negative/src/baseline/find_negative.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/if-with-two-loops/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/if-with-two-loops/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/if-with-two-loops/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/if-with-two-loops/src/baseline/if_with_two_loops.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/itsAWrap/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/itsAWrap/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/itsAWrap/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/itsAWrap/src/baseline/itsAWrap.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/loop-with-if/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/loop-with-if/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/loop-with-if/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/loop-with-if/src/baseline/loop_with_if.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/nested-loops/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/nested-loops/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/nested-loops/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/nested-loops/src/baseline/nested_loops.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/two-loops-in-a-row/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/two-loops-in-a-row/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/two-loops-in-a-row/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/two-loops-in-a-row/src/baseline/two_loops_in_a_row.java
    branches/mango/MangoBaseline/baselineUserHome/rkrug/while-with-conjunct/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/while-with-conjunct/src/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/while-with-conjunct/src/baseline/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/while-with-conjunct/src/baseline/while_with_conjunct.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1878] branches/mango/MangoBaseline/ baselineUserHome

From: <fra...@us...> - 2009-08-31 19:49:22

Revision: 1878
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1878&view=rev
Author:   frankrimlinger
Date:     2009-08-31 19:49:16 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
Uptodate version of mangoUserHome for MangoBaseline.  Part1

Added Paths:
-----------
    branches/mango/MangoBaseline/baselineUserHome/system/
    branches/mango/MangoBaseline/baselineUserHome/system/.classpath
    branches/mango/MangoBaseline/baselineUserHome/system/.project
    branches/mango/MangoBaseline/baselineUserHome/system/.settings/
    branches/mango/MangoBaseline/baselineUserHome/system/.settings/org.eclipse.jdt.core.prefs
    branches/mango/MangoBaseline/baselineUserHome/system/System/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/io/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/io/FileOutputStream_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/io/FilterOutputStream_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/io/InputStream_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/io/ObjectStreamClass_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/io/OutputStream_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/io/PrintStream_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/ArrayIndexOutOfBoundsException_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Boolean_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Byte_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Character_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/ClassCastException_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Class_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Double_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Exception_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Float_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/IllegalArgumentException_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/IllegalStateException_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/IndexOutOfBoundsException_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Integer_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Long_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Math_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/NullPointerException_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Object_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/RuntimeException_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Short_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/StringBuffer_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/StringBuilder_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/String_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/System_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Worksheet for String._MangoFormal<init>(C)V.txt
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Worksheet for String_MangoFormal.isArray()Z.txt
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/Worksheet for isPrimitive.txt
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/getName worksheet.txt
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/reflect/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/lang/reflect/Array_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/math/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/math/BigInteger_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/net/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/net/URI_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/net/URL_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/util/
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/util/ArrayList_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/java/util/Arrays_MangoFormal.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/io/
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/io/Mango_PrintStream.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/Mango_Byte.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/Mango_Class.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/Mango_Integer.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/Mango_Short.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/Mango_String.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/Mango_StringBuffer.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/reflect/
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/lang/reflect/Mango_Array.java
    branches/mango/MangoBaseline/baselineUserHome/system/System/mango/util/
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/Bit.class
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/Casting.java
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/I.java
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/systemTests/
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/systemTests/ArrayCopyFunctionalTest.java
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/systemTests/ArrayCopyTest.java
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/systemTests/ClassTests.java
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/systemTests/PleaseWrapThis.java
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/systemTests/StartsWithTest.java
    branches/mango/MangoBaseline/baselineUserHome/system/SystemTests/src/systemTests/StringTests.java
    branches/mango/MangoBaseline/baselineUserHome/system/cheatsheet.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1877] branches/mango/MangoBaseline

From: <fra...@us...> - 2009-08-31 19:25:15

Revision: 1877
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1877&view=rev
Author:   frankrimlinger
Date:     2009-08-31 19:25:07 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
rev 1869 for MangoBaseline.  Should have got these the first time around.

Revision Links:
--------------
    http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1869&view=rev

Modified Paths:
--------------
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashStable.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/rule/TemplateRule.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/rule/Tier.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/workFlow/translate/agent/TranslateModuleAgent.java
    branches/mango/MangoBaseline/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java

Added Paths:
-----------
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumptionClassObject.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_classObject.java

Removed Paths:
-------------
    branches/mango/MangoBaseline/baselineUserHome/frank/
    branches/mango/MangoBaseline/baselineUserHome/marc/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/
    branches/mango/MangoBaseline/baselineUserHome/system/


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1873] branches/mango/MangoBaseline

From: <fra...@us...> - 2009-08-31 13:56:23

Revision: 1873
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1873&view=rev
Author:   frankrimlinger
Date:     2009-08-31 13:56:14 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
MangoBaseline initial commit part 3

Added Paths:
-----------
    branches/mango/MangoBaseline/Mango/
    branches/mango/MangoBaseline/Mango/src/
    branches/mango/MangoBaseline/Mango/src/mango/
    branches/mango/MangoBaseline/Mango/src/mango/control/
    branches/mango/MangoBaseline/Mango/src/mango/control/action/
    branches/mango/MangoBaseline/Mango/src/mango/control/action/control/
    branches/mango/MangoBaseline/Mango/src/mango/control/action/control/DebugRewriterAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/control/MFLEditorAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/control/StopWorkerAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/control/WorkerAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/editor/
    branches/mango/MangoBaseline/Mango/src/mango/control/action/editor/CheckSyntaxAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/editor/MatchParensAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/editor/NameAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/editor/PostAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/input/
    branches/mango/MangoBaseline/Mango/src/mango/control/action/input/RuleBaseAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/CurrentModuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/DebuggerAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/GenSpecAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/HelpAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/LogAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/ResetPopupAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/action/window/ScriptAction.java
    branches/mango/MangoBaseline/Mango/src/mango/control/editor/
    branches/mango/MangoBaseline/Mango/src/mango/control/editor/MFLEditorWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/control/editor/ParensMatcher.java
    branches/mango/MangoBaseline/Mango/src/mango/control/menu/
    branches/mango/MangoBaseline/Mango/src/mango/control/menu/WindowMenu.java
    branches/mango/MangoBaseline/Mango/src/mango/control/msg/
    branches/mango/MangoBaseline/Mango/src/mango/control/msg/OpenEncapsulationTemplateRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/control/msg/OpenInterpretationRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/control/msg/OpenMFLEditorRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/control/msg/OpenMFLasAxiomRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/control/msg/ReplayedMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/control/window/
    branches/mango/MangoBaseline/Mango/src/mango/control/window/HelpWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/control/window/MenuWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/control/window/WorkstationFindWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/core/
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreHitem.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreHitemFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreKons.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreKonsFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreMFLexportProxySym.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreMFLexportProxySymFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreMangoActiveObject.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreMangoObject.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreRule.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreRuleBase.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreSym.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreSymFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreTier.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreVariable.java
    branches/mango/MangoBaseline/Mango/src/mango/core/CoreVariableFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/ProxyActiveObject.java
    branches/mango/MangoBaseline/Mango/src/mango/core/RuleResourceManager.java
    branches/mango/MangoBaseline/Mango/src/mango/core/actions/
    branches/mango/MangoBaseline/Mango/src/mango/core/actions/ActionsManager.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/StaticFields.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ApplyCoreRuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/BringRuleParentToFrontAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/BringTierParentToFrontAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ClearStatisticsAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/Clipboard.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/CloneCoreRuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/CloseCoreRuleBaseAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/CoreCutAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/CoreDeleteAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/CorePasteAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/CreateParametersAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/DownloadCoreRuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/EnforceTierSettingsAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ExportCoreRuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ExportCoreTierAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/FindAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ImportCoreRuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ImportCoreTierAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/NewCoreRuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/NewCoreTierAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/RevertCoreRuleAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/SaveCoreRuleBaseOutlineAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ScriptedActivateAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/ScriptedDeactivateAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/action/UpdateVariablesAction.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/editing/
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/editing/BooleanCellEditor.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/editing/CoreRuleCellEditor.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/editing/CoreTierCellEditor.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/editing/CoreVariableRequirementCellEditor.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/editing/StringCellEditor.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/rendering/
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/rendering/BooleanCellRenderer.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/rendering/CoreRuleCellRenderer.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/rendering/CoreTierCellRenderer.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/rendering/CoreVariableStringCellRenderer.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/rendering/StringCellRenderer.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/table/
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/table/CoreRuleBaseTable.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/table/CoreTierTable.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/table/CoreVariableTable.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/CoreRuleBaseTableModel.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/CoreTierTableModel.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/CoreVariableTableModel.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/MangoModel.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/MangoModelUtilities.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/ObjectDirtinessManager.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/ObjectLocationManager.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/tablemodel/ServerDirtinessManager.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/CoreRuleBaseWindowFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/CoreRuleDownloadWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/CoreRuleEditorWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/CoreSuperWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/CoreTableListener.java
    branches/mango/MangoBaseline/Mango/src/mango/core/gui/window/CoreTierWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreDoublePersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreFloatPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreIntegerPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreKonsPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreLongPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreMFLexportProxySymPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CorePersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreRuleBasePersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreRulePersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreSymPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreTierPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/CoreVariablePersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/MangoEncoder.java
    branches/mango/MangoBaseline/Mango/src/mango/core/io/MangoScriptPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/mfl/
    branches/mango/MangoBaseline/Mango/src/mango/core/mfl/CoreMFLBuilder.java
    branches/mango/MangoBaseline/Mango/src/mango/core/mfl/CoreMFLCreator.java
    branches/mango/MangoBaseline/Mango/src/mango/core/mfl/CoreMFLReader.java
    branches/mango/MangoBaseline/Mango/src/mango/core/mfl/CoreMFLTokenizer.java
    branches/mango/MangoBaseline/Mango/src/mango/core/numbers/
    branches/mango/MangoBaseline/Mango/src/mango/core/numbers/CoreDouble.java
    branches/mango/MangoBaseline/Mango/src/mango/core/numbers/CoreFloat.java
    branches/mango/MangoBaseline/Mango/src/mango/core/numbers/CoreInteger.java
    branches/mango/MangoBaseline/Mango/src/mango/core/numbers/CoreLong.java
    branches/mango/MangoBaseline/Mango/src/mango/core/numbers/CoreNumber.java
    branches/mango/MangoBaseline/Mango/src/mango/core/numbers/CoreNumberFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/requirements/
    branches/mango/MangoBaseline/Mango/src/mango/core/requirements/RequirementsManager.java
    branches/mango/MangoBaseline/Mango/src/mango/core/statistic/
    branches/mango/MangoBaseline/Mango/src/mango/core/statistic/Statistic.java
    branches/mango/MangoBaseline/Mango/src/mango/core/statistic/StatisticManager.java
    branches/mango/MangoBaseline/Mango/src/mango/core/statistic/StatisticUpdate.java
    branches/mango/MangoBaseline/Mango/src/mango/core/statistic/StatisticUpdateFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/ActiveObjectSym.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/AliasedRuleKey.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/AliasedRuleVariable.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/ReindexHeapPointerSym.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/RuleBaseSym.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/RuleKey.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/RuleSym.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/RuleVariable.java
    branches/mango/MangoBaseline/Mango/src/mango/core/sym/UntypedVariable.java
    branches/mango/MangoBaseline/Mango/src/mango/core/util/
    branches/mango/MangoBaseline/Mango/src/mango/core/util/ArrayComparator.java
    branches/mango/MangoBaseline/Mango/src/mango/core/util/CoreStringUtilities.java
    branches/mango/MangoBaseline/Mango/src/mango/core/util/CoreUtilities.java
    branches/mango/MangoBaseline/Mango/src/mango/core/util/ReflectionUtilities.java
    branches/mango/MangoBaseline/Mango/src/mango/coreserver/
    branches/mango/MangoBaseline/Mango/src/mango/coreserver/file/
    branches/mango/MangoBaseline/Mango/src/mango/coreserver/file/FileManager.java
    branches/mango/MangoBaseline/Mango/src/mango/data/
    branches/mango/MangoBaseline/Mango/src/mango/data/DataUtil.java
    branches/mango/MangoBaseline/Mango/src/mango/data/FontData.java
    branches/mango/MangoBaseline/Mango/src/mango/data/IconID.java
    branches/mango/MangoBaseline/Mango/src/mango/data/MangoColorResolver.java
    branches/mango/MangoBaseline/Mango/src/mango/data/MangoData.java
    branches/mango/MangoBaseline/Mango/src/mango/data/MangoDataModel.java
    branches/mango/MangoBaseline/Mango/src/mango/data/MangoDataModelNotifier.java
    branches/mango/MangoBaseline/Mango/src/mango/data/MangoDataResolver.java
    branches/mango/MangoBaseline/Mango/src/mango/data/PseudoEdge.java
    branches/mango/MangoBaseline/Mango/src/mango/data/TestData.java
    branches/mango/MangoBaseline/Mango/src/mango/data/dnd/
    branches/mango/MangoBaseline/Mango/src/mango/data/dnd/TransferableClientModel.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/
    branches/mango/MangoBaseline/Mango/src/mango/debugger/BreakPointWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/DebuggerViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/DebuggerWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/action/
    branches/mango/MangoBaseline/Mango/src/mango/debugger/action/BreakPointTypeAction.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/action/ClearAllBreakPointsAction.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/action/ContinueAction.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/action/RuleKeyBreakPointAction.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/action/StepAction.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/action/StopRewritingAction.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/model/
    branches/mango/MangoBaseline/Mango/src/mango/debugger/model/SingleStep.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/model/SingleStepTracker.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/model/StepAll.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/SetBreakPointMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/SetBreakPointTypeMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/SingleOffMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/SingleOnMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/SingleStepMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/msg/StopRewritingMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/sym/
    branches/mango/MangoBaseline/Mango/src/mango/debugger/sym/BreakPointCsym.java
    branches/mango/MangoBaseline/Mango/src/mango/debugger/sym/DebuggerWindowSym.java
    branches/mango/MangoBaseline/Mango/src/mango/deprecatedPackage/
    branches/mango/MangoBaseline/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
    branches/mango/MangoBaseline/Mango/src/mango/deprecatedPackage/ProxyVariable.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/Zen and the Art of WorkerID
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/LocatableFolderViewer.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/Locator.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/LocatorManager.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/MFLocator.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/MFLocatorPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/ModuleLocator.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/locator/ModuleLocatorPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/ClassProxy.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/ClassProxyPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/EncapsulateNameMapping.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/GetPredicateTransformer.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/GetPredicateTransformerPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/HashItemProxy.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/HashItemProxyPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/HiddenObject.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/HiddenObjectPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/MethodProxy.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/MethodProxyPersistenceDelegate.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/ParityModel.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/model/Transformer.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/sym/
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/sym/ExpLevelSym.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/sym/LocatableArraySym.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/sym/MemoSym.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/ExecutionID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/GlobalObjectID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/GlobalParityID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/ID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/IDException.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/InitializationID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/LogicalViewID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/ObjectID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/ParityID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/PersistentID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/PersistentParityID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/RandomID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/SourceAspectID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/TransientObjectID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/TransientParityID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/ViewID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/WorkerID.java
    branches/mango/MangoBaseline/Mango/src/mango/enterprise/workerID/WorkerIDBeanInfo.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/
    branches/mango/MangoBaseline/Mango/src/mango/graph/Graph2DViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/Graph2DViewWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/Graph3DViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/Graph3DViewWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/SuperGraph3DViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/SuperGraph3DViewWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/agent/
    branches/mango/MangoBaseline/Mango/src/mango/graph/agent/CoarseGraphViewAgent.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/agent/GraphViewAgent.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/ChainFeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/ClusteredData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/ComponentFeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/ErrorCheckFeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/FeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/LayoutSpec.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/LoopFeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/MaximalCompleteSubgraphFeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/StarFeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/feature/TreeFeatureData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/CodeData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/EdgeData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/GraphicData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/LoopCollectionData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/LoopData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/MethodData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/OmegaData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/PathData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/SourceLineData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/graphic/VertexData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/return_terminator/
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/return_terminator/ReturnTerminatorData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/sink_terminator/
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/sink_terminator/BadPlaceSinkData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/sink_terminator/OSSinkData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/sink_terminator/SinkTerminatorData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/sink_terminator/ThrowData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/SuperBlowUpData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/SuperCpnData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/SuperEntryData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/SuperLoopData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/SuperPathData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/SuperStrataData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/supervertex/SuperVertexData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/ucon/
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/ucon/AlphaData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/ucon/MethodEntryData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/data/ucon/UconData.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/Graph2DViewCreateCommandMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/Graph3DViewCreateCommandMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/Graph3DViewCreateRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/GraphViewCreateCommandMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/GraphViewCreateRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/MultiGraph3DViewCreateCommandMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/ColorDataBinding.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/ContextManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/PopUpResourceManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/ViewBuilder.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/ActionCategory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/ActionCategoryMenu.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/ActionCategoryTree.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/ActionManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/InternallyEnabledAction.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/MangoAction.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/MangoActionManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/MangoActionMenuItem.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/action/SingleSelectAction.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/agent/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/agent/ActionAgent.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/agent/AspectModelAgent.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/data/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/data/AspectTableListener.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/data/AspectTableModel.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/data/ColorPool.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/data/MangoTextStyle.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/data/Primo.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/factory/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/factory/EmbeddedJVMFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/factory/GraphModelFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/factory/ListModelFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/factory/MultiGraphModelFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/factory/SourceModelFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/factory/TreeModelFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/impl/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/impl/Swing/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/impl/Swing/MangoSwingGraphVertex.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/impl/Swing/MangoSwingGraphViewFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/Actions.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/BaseInput.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/CenterViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/GroupOverManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/MangoViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/PopUpMenuEnabler.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/PopupMenuManager.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/StandardInput.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/WorkstationCheckBoxMenuItem.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/interaction/WorkstationMenuItem.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/msg/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/msg/GumboCommand.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/msg/PopupMenuCommand.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/msg/SetAllActionsEnabledMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/msg/SetEnabledActionsMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/AspectWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/ChildWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/CoarseGraphWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/DebugFlagsDialog.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/FeatureWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/WindowMonitor.java
    branches/mango/MangoBaseline/Mango/src/mango/gumboModel/window/Windows.java
    branches/mango/MangoBaseline/Mango/src/mango/list/
    branches/mango/MangoBaseline/Mango/src/mango/list/ListNodeData.java
    branches/mango/MangoBaseline/Mango/src/mango/list/ListViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/list/dnd/
    branches/mango/MangoBaseline/Mango/src/mango/list/dnd/JListDragSource.java
    branches/mango/MangoBaseline/Mango/src/mango/list/dnd/JTextPaneDropHandler.java
    branches/mango/MangoBaseline/Mango/src/mango/list/dnd/ListItemDataFlavor.java
    branches/mango/MangoBaseline/Mango/src/mango/list/impl/
    branches/mango/MangoBaseline/Mango/src/mango/list/impl/LabelViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/list/impl/SwingJLabelViewFactory.java
    branches/mango/MangoBaseline/Mango/src/mango/list/impl/SwingJLabelViewManager.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/CompareCoreRuleBaseAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/DeleteMergeTreeNodeAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/DisplayMatchAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/FindPatternAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/MergeCoreRuleBaseAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/MoveDownAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/MoveUpAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/SaveMergedCoreRuleBaseAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/action/SelectCoreRuleBaseAction.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/dnd/
    branches/mango/MangoBaseline/Mango/src/mango/merge/dnd/FileTransferHandler.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/dnd/MangoMergeTreeNodeTransferHandler.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/listener/
    branches/mango/MangoBaseline/Mango/src/mango/merge/listener/CoreRuleViewWindowListener.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/listener/DropKeyAdapter.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/listener/MergeTreeSelectionListener.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/tree/
    branches/mango/MangoBaseline/Mango/src/mango/merge/tree/MangoMergeTree.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/tree/MangoMergeTreeCellRenderer.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/tree/MangoMergeTreeModel.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/tree/MangoMergeTreeModelListener.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/tree/MangoMergeTreeNode.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/util/
    branches/mango/MangoBaseline/Mango/src/mango/merge/util/CoreRuleBaseLoader.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/window/
    branches/mango/MangoBaseline/Mango/src/mango/merge/window/CoreRuleBaseMergeWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/window/CoreRuleBaseSelectionWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/window/CoreRuleCompareWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/window/CoreRuleViewWindow.java
    branches/mango/MangoBaseline/Mango/src/mango/merge/window/FindPatternWindow.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1870] branches/mango/MangoBaseline/

From: <fra...@us...> - 2009-08-31 13:04:28

Revision: 1870
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1870&view=rev
Author:   frankrimlinger
Date:     2009-08-31 13:04:13 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
Initial import.

Added Paths:
-----------
    branches/mango/MangoBaseline/


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

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

From: <fra...@us...> - 2009-08-31 03:21:29

Revision: 1869
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1869&view=rev
Author:   frankrimlinger
Date:     2009-08-31 03:21:21 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
Cleanup of system code to make sure all methods targeted for native implementation throw IllegalStateException.  There are dozens if not hundreds of these, but just a few at a time go a long way.


Completed spec of Mango_Array.isType().  Wrote native implementation for Mango_Array.getShort().  Fixed a mispelled rulekey name that was interfering with garbage collection.  Nasty.  Fixed Checkcast action to return 't or 'f, NOT 1 or 0.

Next bug: Rewriter compression problem, a.zip.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashStable.java
    branches/mango/Mango/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/system/System/java/io/FileOutputStream_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/io/FilterOutputStream_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/io/InputStream_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/io/ObjectStreamClass_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/io/OutputStream_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/io/PrintStream_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Boolean_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Byte_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Character_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Double_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Float_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Integer_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Long_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Math_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Short_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/StringBuffer_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/StringBuilder_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/String_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/System_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/math/BigInteger_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/net/URI_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/util/ArrayList_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/io/Mango_PrintStream.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Integer.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Short.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.java

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase (original) 2.zip
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase (original).zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/reflect/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/reflect/Array_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/reflect/Array_MangoFormal/getShort(Ljava.lang.Object;I)S/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/io/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/io/Mango_PrintStream/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/io/Mango_PrintStream/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/io/Mango_PrintStream/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/io/Mango_PrintStream/append(Ljava.io.PrintStream_MangoFormal;Ljava.lang.String;)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/io/Mango_PrintStream/append(Ljava.io.PrintStream_MangoFormal;Ljava.lang.String;)V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/get(Ljava.lang.Object;I)Ljava.lang.Object;/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/get(Ljava.lang.Object;I)Ljava.lang.Object;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/get(Ljava.lang.Object;I)Ljava.lang.Object;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getBoolean(Ljava.lang.Object;I)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getBoolean(Ljava.lang.Object;I)Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getByte(Ljava.lang.Object;I)B/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getByte(Ljava.lang.Object;I)B/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getChar(Ljava.lang.Object;I)C/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getChar(Ljava.lang.Object;I)C/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getDouble(Ljava.lang.Object;I)D/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getDouble(Ljava.lang.Object;I)D/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getFloat(Ljava.lang.Object;I)F/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getFloat(Ljava.lang.Object;I)F/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getInt(Ljava.lang.Object;I)I/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getInt(Ljava.lang.Object;I)I/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getLong(Ljava.lang.Object;I)J/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getLong(Ljava.lang.Object;I)J/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getShort(Ljava.lang.Object;I)S/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/getShort(Ljava.lang.Object;I)S/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/Class-object array is not an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/Final case. component class of Class-object array does not equal type.value.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/array is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/component class of Class-object array equals type.value.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/type is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/isType(Ljava.lang.Object;Ljava.lang.String;)Z/type may not be cast to java.lang.String.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/util/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/util/Mango_ArrayList/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/util/Mango_ArrayList/add(Ljava.lang.Object;Ljava.lang.Object;)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/util/Mango_ArrayList/add(Ljava.lang.Object;Ljava.lang.Object;)V/Final case.zip
    branches/mango/Mango/mangoUserHome/system/cheatsheet.txt

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/spec
    branches/mango/Mango/mangoUserHome/system/System/java/lang/CharSequence_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Class.forName worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.append(str1,str2) worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.arraySyntax worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.charAt worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.append worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.length worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/toCharArray Worksheet (Autosaved)
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/toCharArray Worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/util/Mango_ArrayList.add worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/util/Mango_ArrayList.java


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

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

From: <fra...@us...> - 2009-08-30 03:57:22

Revision: 1868
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1868&view=rev
Author:   frankrimlinger
Date:     2009-08-30 03:57:14 +0000 (Sun, 30 Aug 2009)

Log Message:
-----------
Its always nice when Mango "does something".   Here is an example of how errors can be caught.   I wrote the following utility to check for the usual array errors:

	static public void check(Object array, int index){
		if(!array.getClass().getComponentType().isArray()){
			throw new IllegalArgumentException();
		}
		if(index<0 || index>=getLength(array)){
			throw new ArrayIndexOutOfBoundsException();
		}
	}

Here is what mango had to say

Hypothesis: Class-object array is an array
Hypothesis: component class of Class-object array is an array

This is as far as I got, because I just wanted "array" to be an array.  Just seeing the same thing written a different way is often enough to break the spell.

Fixed bug where rewriter would fail silently because expected method definition not found in rule base. Now it fails with some noise.  This happens for example when an exception is thrown that has not been modelled in the rulebase.

Modelled requisite exception constructors and completed spec for utility method mango.lang.reflect.Mango_Array.check()

Just for the record, including the spec summary here.  It is more to read than the original code, true, but the information is organized differently and maybe this is worth something.  But even if the final dump of information is worthless, the act of generating it is valuable.  So FULL automation is not the goal, the goal is to feed the information at a rate the mind can easily assimilate. (automatic assumptions suppressed, these are too dull to read)

   check(Ljava/lang/Object;I)V
	   cases
		   Final case. index is less than Array length of array
			   hypotheses
				index is less than Array length of array
				index is greater than or equal to 0
				Class-object array is an array
				array is defined
			No return value.
		   index is greater than or equal to Array length of array
			   hypotheses
				index is greater than or equal to Array length of array
				index is greater than or equal to 0
				Class-object array is an array
				array is defined
			Throws: java.lang.ArrayIndexOutOfBoundsException.
		   Class-object array is not an array
			   hypotheses
				Class-object array is not an array
				array is defined
			Throws: java.lang.IllegalArgumentException.
		   index is less than 0
			   hypotheses
				index is less than 0
				Class-object array is an array
				array is defined
			Throws: java.lang.ArrayIndexOutOfBoundsException.
		   array is undefined
			   hypotheses
				array is undefined
			Throws: java.lang.NullPointerException.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/IllegalStateException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/reflect/Mango_Array.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumptionClassObject.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_classObject.java
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/ArrayIndexOutOfBoundsException_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/ArrayIndexOutOfBoundsException_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/ArrayIndexOutOfBoundsException_MangoFormal/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IllegalArgumentException_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IllegalArgumentException_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IllegalArgumentException_MangoFormal/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IndexOutOfBoundsException_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IndexOutOfBoundsException_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IndexOutOfBoundsException_MangoFormal/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/Mango_String/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/Mango_String/formal2nominal(Ljava.lang.String_MangoFormal;)Ljava.lang.String;/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/Mango_String/formal2nominal(Ljava.lang.String_MangoFormal;)Ljava.lang.String;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/Class-object array is not an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/Final case. index is less than Array length of array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/array is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/index is greater than or equal to Array length of array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/mango/lang/reflect/Mango_Array/check(Ljava.lang.Object;I)V/index is less than 0.zip
    branches/mango/Mango/mangoUserHome/spec
    branches/mango/Mango/mangoUserHome/system/System/java/lang/ArrayIndexOutOfBoundsException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/IllegalArgumentException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/IndexOutOfBoundsException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/RuntimeException_MangoFormal.java


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

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

From: <fra...@us...> - 2009-08-29 22:01:48

Revision: 1867
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1867&view=rev
Author:   frankrimlinger
Date:     2009-08-29 22:01:41 +0000 (Sat, 29 Aug 2009)

Log Message:
-----------
Added logic to use the declared type of a local variable when resolving possible methods for getVirtualRunTimeMethod.  This is just a patch, don't really intend to settle this issue in MangoBaseline.  Once jpf simulation is driving specification, it will be possible just to specify all the plausible choices without a lot of user interaction.

Rebuilt all sessions.  System methods and signatures are no longer burdened with the _MangoFormal notation, so now the system specification should grow rapidly.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/agent/TranslateModuleAgent.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/cast(DFILI;)LI;/
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/cast(DFILI;)LI;/Final case. objI may be cast to I.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/cast(DFILI;)LI;/objI is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/cast(DFILI;)LI;/objI may not be cast to I.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/compareTo(LI;)I/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/compareTo(LI;)I/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/Final case. compareTo_LocalVar_at_offset_1_lineNumber_1 may not be cast to I.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/compareTo_LocalVar_at_offset_1_lineNumber_1 is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/compareTo(Ljava.lang.Object;)I/compareTo_LocalVar_at_offset_1_lineNumber_1 may be cast to I.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens()Ljava.lang.Class;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens1()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens1()Ljava.lang.Class;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens2()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens2()Ljava.lang.Class;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens3()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens3()Ljava.lang.Class;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class;/Final case. this is not an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class;/this is an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class;)Z/Final case. cls is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class;)Z/cls is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/equals(Ljava.lang.Object;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/equals(Ljava.lang.Object;)Z/Final case. this does not equal obj.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/equals(Ljava.lang.Object;)Z/this equals obj.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse()Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class;Ljava.lang.Class;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class;Ljava.lang.Class;)Z/Final case. x is defined, y is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleTrue()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleTrue()Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/Final case. clazz is not an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/clazz is an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class;)Ljava.lang.Class;/clazz is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest()Ljava.lang.String;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest()Ljava.lang.String;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest2()Ljava.lang.String;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest2()Ljava.lang.String;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class;)Z/Final case. clazz is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class;)Z/clazz is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsFalse()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsFalse()Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsTrue()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsTrue()Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitive(Ljava.lang.Class;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitive(Ljava.lang.Class;)Z/Final case. clazz is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitive(Ljava.lang.Class;)Z/clazz is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveFalse()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveFalse()Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveTrue()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveTrue()Z/Final case.zip


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

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

From: <fra...@us...> - 2009-08-29 18:48:36

Revision: 1866
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1866&view=rev
Author:   frankrimlinger
Date:     2009-08-29 18:48:30 +0000 (Sat, 29 Aug 2009)

Log Message:
-----------
More _MangoFormal cleanup.
Defeated the generation of formal signatures by altering MangoMethodPeer.toFormalSignature().  Also changed methodName2FormalMethodName() so that toString() is no longer altered.  Tweaked a few methods in the mango system package that DO require _MangoFormal on some signatures.

Cleared out obsolete sessions.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/TemplateRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/Tier.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/Array length of x is greater than or equal to 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/Final case. x[5] equals x[6].zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/Final case. className is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/className is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String;/

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.xml
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/getClass_MangoFormal()Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/getClass_MangoFormal([Ljava.lang.Object_MangoFormal;)Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/


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

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

From: <fra...@us...> - 2009-08-29 04:31:46

Revision: 1865
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1865&view=rev
Author:   frankrimlinger
Date:     2009-08-29 04:31:37 +0000 (Sat, 29 Aug 2009)

Log Message:
-----------
Rehab of system code per 1864 complete.  With rules set forth, there are no problems compiling.  Also removed _MangoFormal from all signatures in the rulebase.  There probably will be more fine tuning of this.  Now need to fix up the mango code base and rebuild all sessions.

Modified Paths:
--------------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Exception_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Float_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/IllegalStateException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Integer_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Long_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Math_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/NullPointerException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Short_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/StringBuffer_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/StringBuilder_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/String_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/System_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/math/BigInteger_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/net/URI_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/net/URL_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/util/ArrayList_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/util/Arrays_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Integer.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Short.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.java
    branches/mango/Mango/mangoUserHome/system/System/mango/util/Mango_ArrayList.java

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.xml

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Number_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/RuntimeException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Throwable_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Void_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/util/AbstractCollection_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/util/AbstractList_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/util/Collection_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/util/List_MangoFormal.java


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

Flat | Threaded

<< < 1 .. 4 5 6 7 8 .. 46 > >> (Page 6 of 46)

2008	Jan	Feb	Mar	Apr	May (16)	Jun (42)	Jul (46)	Aug (48)	Sep (33)	Oct (26)	Nov (28)	Dec (38)
2009	Jan (35)	Feb (80)	Mar (112)	Apr (108)	May (102)	Jun (126)	Jul (89)	Aug (82)	Sep (36)	Oct (7)	Nov (1)	Dec (4)
2010	Jan (87)	Feb	Mar (2)	Apr (1)	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec