tag:blogger.com,1999:blog-5382571416341492754.post1659808591883959780..comments2024-03-20T15:59:17.245-04:00Comments on Blogface.org: Verified Program: Thread Shared and BackNelshttp://www.blogger.com/profile/07085287093689227850noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5382571416341492754.post-34100646903820963402008-10-10T16:11:58.000-04:002008-10-10T16:11:58.000-04:00Lol. Okay, good question. Java has a language feat...Lol. Okay, good question. Java has a language feature, since version 1.5, known as annotations. Annotations, in the words of the Java marketing people, allow you to add "meta-data" to Java classes and class members. This information hangs around and can be queried as run-time. But that's not why we use it.<br /><br />Annotations can also be used as a way of extending Java's type system. Here we are extending Java's type system with annotations describing the aliasing patterns of your program. Then our tool checks that these annotations are consistent at compile-time.<br /><br />You can read more here: <br />http://java.sun.com/j2se/1.5.0/docs/guide/language/annotations.html<br /><br />Note that C# has the same thing, they are just called attributes. Nice!nolacoasternoreply@blogger.comtag:blogger.com,1999:blog-5382571416341492754.post-24536533582721755132008-10-10T12:09:14.000-04:002008-10-10T12:09:14.000-04:00I guess it's been a while since I've seen ...I guess it's been a while since I've seen any Java, but man.. that's a crazy language. What's the deal with all the @'s?Anonymousnoreply@blogger.com