
Safer Java Without Rewriting Java: Meet JADEx
JADEx (Java Advanced Development Extension) is a safety layer that makes Java safer by adding Null-Safety and Final-by-Default semantics without modifying the JVM. GitHub: https://github.com/nieuwmijnleven/JADEx Tutorial Making Your Java Code Null-Safe without Rewriting it Applying JADEx to a Real Java Project: Making OntheGoDataBase Null-Safe Null-Safety NullPointerException (NPE) is one of the most common sources of runtime failures in Java applications. Although modern Java provides tools such as Optional and static analysis, null-related bugs are still fundamentally a runtime problem in most Java codebases. JADEx addresses this problem by introducing explicit nullability into the type system and enforcing safe access rules at compile time. In JADEx: Type → non-nullable by default Type? → nullable ?. → null-safe access operator ?: → Elvis operator (fallback value) This design ensures that developers must explicitly acknowledge and handle nullable values before accessing them. For ex
Continue reading on Dev.to
Opens in a new tab




