Hmm bulk of core translation cludge is finished, (mostly buggy but i'll sort that tommorow)
Working on stuff to let you implicitly translate java runtime classes into promela using an XML..
it is really difficult to embed java/c language in xml without lots of entity translation.. ug.. currently i am on: <JAVABODY>[CDATA[ java.foo.bar ]]</JAVABODY> Seems the best way to have unmodified code (except for arrays inside arrays) preserving xml structural integrity.
should finish xml parser (weak,independant sax parser) in a few hours, then the generater for that, then onto embedded annotations (YACC hacking- easier than xml (surprisingly enough)(yay)) then i need to handle non-deterministic expressions (eek) and then the backend (easy (i hope))
all this by tommorow.