dataflow-nullaway-4.0.0-1 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

org.checkerframework:dataflow-nullaway 4.0.0. NullAway 0.13.7 calls
the Checker Framework dataflow and javacutil packages after they have been
renamed under org.checkerframework.nullaway. This jar is that rename, built
with javac from the 4.0.0 sources. org.checkerframework.dataflow.qual and
org.checkerframework.checker stay in checker-qual. plume-util and guava are
the system jars, not copies shaded into this one.

Provides

• dataflow-nullaway
• java(org.checkerframework.nullaway.dataflow.analysis)
• java(org.checkerframework.nullaway.dataflow.busyexpr)
• java(org.checkerframework.nullaway.dataflow.cfg)
• java(org.checkerframework.nullaway.dataflow.cfg.block)
• java(org.checkerframework.nullaway.dataflow.cfg.builder)
• java(org.checkerframework.nullaway.dataflow.cfg.node)
• java(org.checkerframework.nullaway.dataflow.cfg.playground)
• java(org.checkerframework.nullaway.dataflow.cfg.visualize)
• java(org.checkerframework.nullaway.dataflow.constantpropagation)
• java(org.checkerframework.nullaway.dataflow.expression)
• java(org.checkerframework.nullaway.dataflow.livevariable)
• java(org.checkerframework.nullaway.dataflow.reachingdef)
• java(org.checkerframework.nullaway.dataflow.util)
• java(org.checkerframework.nullaway.javacutil)
• java(org.checkerframework.nullaway.javacutil.trees)
• jmod(org.checkerframework.nullaway)
• mvn(org.checkerframework:dataflow-nullaway)
• sysjar(org.checkerframework:dataflow-nullaway)

Requires

• jmod(java.base)
• mvn(com.google.guava:guava) = 33.6.0-jre
• mvn(com.google.guava:guava) = 33.6.0-jre
• mvn(org.checkerframework:checker-qual) = 4.4.0
• mvn(org.checkerframework:checker-qual) = 4.4.0
• mvn(org.plumelib:javac-parse) = 0.9.0
• mvn(org.plumelib:javac-parse) = 0.9.0
• mvn(org.plumelib:plume-util) = 1.8.1
• mvn(org.plumelib:plume-util) = 1.8.1
• mvn(org.plumelib:reflection-util) = 1.0.6
• mvn(org.plumelib:reflection-util) = 1.0.6
• rpmlib(LargeFiles) <= 4.12.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

GPL-2.0-only WITH Classpath-exception-2.0

Files

/usr/share/java/dataflow-nullaway.jar
/usr/share/licenses/dataflow-nullaway
/usr/share/licenses/dataflow-nullaway/LICENSE.txt
/usr/share/maven-poms/dataflow-nullaway.pom
/usr/share/sysjar/index/org.checkerframework
/usr/share/sysjar/index/org.checkerframework/dataflow-nullaway.sysjar

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 14 22:00:26 2026