Archive for December, 2007

this() vs. super()

December 29th, 2007, 6:39 pm by Mathias

This is just going to be another rambling about…

Print This Print This   Email This Email This

Posted in Ramblings | 1 Comment »

Subtyping for Annotations Discussion

December 23rd, 2007, 5:21 pm by Mathias

After talking to Michael Ernst about subtyping …

Print This Print This   Email This Email This

Posted in Uncategorized | No Comments »

Still Working on Subtyped Annotation API

December 23rd, 2007, 2:59 pm by Mathias

Just when I thought I had a complete working AP…

Print This Print This   Email This Email This

Posted in Concurrent Unit Testing, Research, xajavac | No Comments »

New Beta of DrJava

December 21st, 2007, 6:08 pm by Mathias

Yesterday, on my birthday, I released a new bet…

Print This Print This   Email This Email This

Posted in Uncategorized | No Comments »

@Inherited for Invariant Annotations?

December 3rd, 2007, 4:15 pm by Mathias

When I wrote the API code for xajavac, my Java …

Print This Print This   Email This Email This

Posted in Concurrent Unit Testing, xajavac | No Comments »