Gmail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
Checker Framework discussion
Home
Pages
Files
About this group
Join this group
Group info
Home
New since last time: 7 messages
This mailing list is for discussions of the Checker Framework, which permits you to create pluggable type systems.  These type systems enable you to detect and prevent bugs in your Java programs.

The Checker Framework homepage is http://types.cs.washington.edu/checker-framework/.
Discussions9 of 39 messages view all »
Problem with <? super A> bounds and @Nullable
By Piotr Zielinski - 11:53am - 4 authors - 10 replies
Collection.contains() and Object.equals()
By Michael Ernst - 8:58am - 3 authors - 2 replies
Why are the type parameters to List and Map annotated as @NonNull (in FAQ)?
By Mahmood Ali - Dec 16 - 2 authors - 1 reply
<@Nullable T> vs <T extends @Nullable Object>
By Michael Ernst - Dec 6 - 5 authors - 6 replies
Nullness checker accepts null arguments for a possibly non-null type
By Michael Ernst - Dec 5 - 4 authors - 7 replies
Why shouldn't a qualifier apply to both types and declarations?
By Michael Ernst - Dec 4 - 1 author - 0 replies
How can I cast from Tainted String to Untainted String?
By Michael Ernst - Oct 26 - 2 authors - 1 reply
Debugging a SourceChecker in IDE
By Adam Warski - Oct 21 - 3 authors - 2 replies
New release of the Typestate Checker - checking iterators
By Adam Warski - Sep 25 - 1 author - 0 replies
Files1 file view all »
atT80-transparent.png
Last updated by Michael Ernst - Sep 2

Report this group   XML       Send email to this group: checker-framework-discuss@googlegroups.com
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2009 Google