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.
Ei virallista pakettia saatavilla: openSUSE Leap 16.0Jakelut
openSUSE Tumbleweed
openSUSE Slowroll
openSUSE Factory RISCV
SLFO 1.2
SUSE SLE-16 (in development)
SUSE SLE-15-SP2
Ei-tuetut jakelut
Seuraavia jakeluja ei virallisesti tueta. Käytä näitä paketteja omalla vastuullasi.