[Checkers] Interned test cases
Mahmood Ali
mahmood at MIT.EDU
Wed Mar 19 14:03:29 EDT 2008
> I took a quick look at the failing test, and it seems to be because
> SimpleSubtypeRelation.isSubtype doesn't call asSuper(). Mahmood and
> I were talking recently about whether isSubtype() or its caller
> should use asSuper() (i.e., whether "uses asSuper()" should be part
> of the spec of isSubtype()) and I don't remember if we came up with
> a good answer. However, I'm going to have SimpleSubtypeRelation use
> asSuper() (like IGJ does) for now, and we can change it later if
> necessary.
The bug actually was due to us specifying that the raw type was a
supertype of the generic type. I just submitted a check in to remove
that relationship from the return value of factory.directSupertype().
Checker.isSubtype(), however, need to take that into consideration.
All tests passed in my local repo.
- Mahmood
More information about the checkers
mailing list