Home » org.checkerframework » framework-test » Used By

Checker Framework Testing Library

framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.

Artifacts using Checker Framework Testing Library (3)
Sort by:Popular▼

1.Must Call Checker1 usages

net.sridharan.objectconstruction » must-call-checker MIT

Object Construction Checker
Last Release on May 4, 2021

2.Returns Receiver Checker1 usages

net.sridharan.objectconstruction » returnsrcvr-checker MIT

Object Construction Checker
Last Release on Mar 28, 2020

3.Object Construction Checker

net.sridharan.objectconstruction » object-construction-checker MIT

Object Construction Checker
Last Release on May 4, 2021
  • Prev
  • 1
  • Next