[CS 378] KeY consistently loading "bad" .Java files

[David Rager]

Hi Students,

How did you all fix the problem with KeY where it would persistently
load poorly-formed .java files, even though you were trying to get it
to load only one specific well-formed .java file? Did you have to
delete/move the poorly-formed files or was there an easier way?

Thanks,
David

[David Rager]

I don't know why students don't reply to all, but the two answers I
received were useful, so I'm cc'ing this newsgroup for archiving.
Despite deserving credit, the names are removed. Thank ya'll for your
responses.

"Not sure if this was the issue, but in the upper left corner of KeY,
there is a list of current tasks.

It might have been the fix to right click a particularly "broken"
task, and select abandon.
In this way the old task might not interfere with a newly loaded class method.

WRT what caused it... maybe they loaded the new class method, but the
old task remained selected
(ie, KeY didn't auto select the new task)?"

"the only time I saw that problem was when we looked at it in the
tower that one day. in that case, we had saved the .java file we were
using in the root directory of the user (so it appeared to be
searching subdirectories for some strange reason).

other than that, I've had no problems with KeY loading files it
should. I was actually able to alter the file outside of KeY many
times, and quickly reload it with the GUI. The way I had my
structures setup was like:
~/cs378/Rxpart4/Rx/src/manager.java

there were many .java files in that same directory, and it did load
them, but manager.java was dependant on them, so I expected it to.
there were no folders or subdirectories beneath that location, so
maybe that partly helped out."