> From: Artur Biesiadowski [mailto:[EMAIL PROTECTED]]
>
>
> <snip>
>
> Next thing - maybe you can introduce require/insure/invariant inside
> javadoc generated code. Do it either by adding @ tag and writing doclet
> for it, or special parser that would hilite it in some way (second
> option would also allow std javadoc to generate this checks in plain
> text).
>
I am not sure about require/ensure. It seems like that's already covered
with @param and @return. @invariant, maybe ... I don't know what that is.
> BTW, I suppose that we will never be able to get java compatible mark
> from sun, if we would use enhanced compiler as std distribution one. It
> might be better to provide it in separate pack. I think about something
> similar to sun's runtime vs JDK, but our 'JDK' would just consist of
> additional .jar file.
> Of course both of them available in both debug and non-debug versions.
>
As long as we have a "javac" wrapper for Kiev, which behaves exactly as
javac does, it's Java compatible. I think Kiev has a javac compatibility
mode, doesn't it?
--John Keiser
