[Org-jutil-devel] org.jutil.event cleanup

[Marko v. D. <Mar...@cs...>]

I've been working with the JML people on completing the jml tasks and other 
issues with their tools. I've gone through all the code again to make sure it 
passes the latest jml checker. When the jmlc compiler complained about 
something in the event package, I tried to understand what everything is for.

I have some major problems with the org.jutil.event package. It is so 
_extremely_ complex that the specifications are at best counterproductive. It 
is the very essence of an event system that you don't know what will happen 
when you fire an event, so why go through all the trouble of trying to 
specify it ? Nobody can use this stuff without studying it for a week. And at 
the end of the week, the conclusion would be that you shouldn't pass wrong 
listener, events or notifiers to EventSourceSupport and that you actually 
can't give any useful specification for what will happen when you fire an 
event.

I'd like to narrow the package down to EventSourceSupport, Notifier, probably 
ChainNotifier (after I have guessed what it should do) and probably 
TypeValidity. In this case less is certainly more.


Marko
-- 
Jutil.org - Programming as you know it is over
http://org-jutil.sourceforge.net