Discussions - Checker Framework discussion

View:	Topic list, Topic summary	Topics 1 - 10 of 10

Sort by:	Latest message, First message

You cannot post messages because only members can post, and you are not currently a member.

Description: Discussion of the Checker Framework, which enables you to create pluggable type systems for Java. See http://types.cs.washington.edu/checker-f ramework/.

Topic	Rating	Messages	Author	Date

Problem with <? super A> bounds and @Nullable		11 new of 11	Piotr Zielinski (4 authors)	Dec 17
Collection.contains() and Object.equals()		3 new of 3	Michael Ernst (3 authors)	Dec 17
Why are the type parameters to List and Map annotated as @NonNull (in FAQ)?		2 new of 2	Mahmood Ali (2 authors)	Dec 16
<@Nullable T> vs <T extends @Nullable Object>		7 new of 7	Michael Ernst (5 authors)	Dec 6
Nullness checker accepts null arguments for a possibly non-null type		8 new of 8	Michael Ernst (4 authors)	Dec 5
Why shouldn't a qualifier apply to both types and declarations?		1 new of 1	Michael Ernst (1 author)	Dec 5
How can I cast from Tainted String to Untainted String?		2 new of 2	Michael Ernst (2 authors)	Oct 26
Debugging a SourceChecker in IDE		3 new of 3	Adam Warski (3 authors)	Oct 22
New release of the Typestate Checker - checking iterators		1 new of 1	Adam Warski (1 author)	Sep 25
nullness checker problem: map.contains/map.get with static final key from another class		1 new of 1	Piotr Zielinski (1 author)	Sep 21