Microsoft/Xamarin.CheckerFramework.CheckerQualv3.53.1
✓ Verified.NET 9.0-android35.0.NET 10.0-android36.0
.NET for Android and MAUI bindings for the Android Java library 'org.checkerframework:checker-qual'. Library description: checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.
Get Started
$ dotnet add package Xamarin.CheckerFramework.CheckerQualReadme
This package provides .NET for Android and MAUI bindings for the Java library org.checkerframework:checker-qual.
Java Library
| Group ID | org.checkerframework |
| Artifact ID | checker-qual |
| Version | 3.53.1 |
| Developer(s) | Michael Ernst<br/>Suzanne Millstein |
| License(s) | The MIT License |
| Project URL | https://checkerframework.org/ |
| Description | checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework. |
Bindings
These bindings are provided by Microsoft under the MIT License. The Java library may be licensed under a different license as specified above.
To report issues with this package or the bindings, please visit our GitHub repository.
Note that Microsoft only provides support for the bindings. For support on usage or issues with the Java library itself, please visit the library's project page.