Changes between Version 71 and Version 72 of j2p

Timestamp:

05/16/24 10:40:06 (6 months ago)

Author:

wouter

Comment:

--

j2p

@@ -44 +44 @@
 Fields in Java have to be initialized in the __init__ function in the python translation.
 
-Overloaded methods can not be handled by default python and need to be handled using an external library {{{plum-dispatch==2.2.2}}} and result in additional {{{@dispatch}}} annotations  in the translated code. If you use overloading, you need to have plum installed to run your code. Check also the @Nonnull section.
+Overloaded methods can not be handled by default python and need to be handled using an external library {{{plum-dispatch==2.2.2}}} and result in additional {{{@dispatch}}} annotations  in the translated code. If you use overloading, you need to have plum installed to run your code. Check also the @NonNull section.
 
 
@@ -124 +124 @@
 ==== @Nonnull
 Java variables like {{{String val}}} can contain a null value, and functions like {{{String f() { ... } }}} can return null. Therefore they are translated to {{{val:Optional[str]}}} and {{{def f(self)->Optional[str]}}}.
-You can annotate the java code with @Nonnull (from {{{javax.annotation.Nonnull}}}) to indicate the value/return value will not be null, like this
-{{{@Nonnull String val}}} or {{{@Nonnull String f() { ... } }}}. Java primitive types like {{{boolean}}} and {{{int}}} can never be null and do not need @Nonnull
-
-Java code {{{X instanceof C}}} is translated as in Java, so null/None is not an instance of C - C is not "Optional" and you do not need to write {{{X instanceof @Nonnull C}}}.
+You can annotate the java code with @NonNull (from {{{org.eclipse.jdt.annotation.NonNull}}}) to indicate the value/return value will not be null, like this
+{{{@NonNull String val}}} or {{{@NonNull String f() { ... } }}}. Java primitive types like {{{boolean}}} and {{{int}}} can never be null and do not need @NonNull
+
+The dependency needed for this is (unfortunately @Nonnull is not built in anymore in the JRE)
+{{{
+<dependency>
+    <groupId>org.eclipse.jdt</groupId>
+    <artifactId>org.eclipse.jdt.annotation</artifactId>
+    <version>2.3.0</version>
+</dependency>
+}}}
+
+Java code {{{X instanceof C}}} is translated as in Java, so null/None is not an instance of C - C is not "Optional" and you do not need to write {{{X instanceof @NonNull C}}}.
 
 Also be aware of the subtleties of this notation. For instance
-{{{@Nonnnull Set<String>}}} is a set that can not be null but that contain null values.
-{{{@Nonnull Set<@Nonnull String>}}} is a set that can not be null and also can not contain null values. 
+{{{@NonNull Set<String>}}} is a set that can not be null but that contain null values.
+{{{@NonNull Set<@Nonnull String>}}} is a set that can not be null and also can not contain null values. 
 
 
 {{{#!td style="background: #efe"
-@Nonnull can be used by the java compiler to do extra checks on your code. You may need to enable this. For instance in Eclipse check Preferences/Java/Compiler/Errors/Warnings and scroll down to "Null Analysis". Note that Eclipse uses its own annotations, you have to add @Nonnull.
+@NonNull can be used by the java compiler to do extra checks on your code. Eclipse uses this annotation by default, but you may need to enable or customize it in Preferences/Java/Compiler/Errors/Warnings and scroll down to "Null Analysis".
 }}}
 
 {{{#!td style="background: #fee"
-@Nonnull is NOT inherited by subclasses (was decided so by Java engineers). Therefore @Nonnull has to be repeated in the derived classes.
+@NonNull is NOT inherited by subclasses. Therefore @NonNull has to be repeated in the derived classes.
 }}}