jspecify

An artifact of fully-specified annotations to power static-analysis checks

An artifact of well-specified annotations to power static analysis checks and JVM language interop. Developed by consensus of the partner organizations listed at our main web site, jspecify.org. Our current focus is on annotations for nullness analysis.

Es ist kein offizielles Paket für openSUSE Leap 16.0 verfügbar

Distributionen

openSUSE Tumbleweed

openSUSE Slowroll

openSUSE Factory RISCV

SLFO 1.2

SUSE SLE-16 (in development)

SUSE SLE-15-SP2

Nicht unterstützte Distributionen

Die folgenden Distributionen werden offiziell nicht unterstützt. Benutzen Sie diese Pakete auf eigene Gefahr.

SUSE:SLE-15:GA