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.

Nėra oficialių „openSUSE Leap 16.0“ paketų

Platinamieji paketai

openSUSE Tumbleweed

openSUSE Slowroll

openSUSE Factory RISCV

SLFO 1.2

SUSE SLE-16 (in development)

SUSE SLE-15-SP2

Nepalaikomos platinamųjų paketų versijos

Šie platinamieji paketai nėra oficialiai palaikomi. Už šių paketų naudojimą atsakomybę turėtumėte prisiimti patys.

SUSE:SLE-15:GA