move nullaway article

2020-03-19 22:38:01 +02:00
parent af27b7f8a0
commit f3d7a9d5fe
6 changed files with 123 additions and 60 deletions
@@ -0,0 +1,22 @@
+package com.baeldung.nullaway;
+
+public class NullAwayExample {
+
+    /*
+     * 1- NullAway will warn about yearsToRetirement method
+     * 2- Uncomment @Nullable in printAge and NullAway will warn about this method
+     * 3- Add a standard null check to be NullAway compliant
+     * 4- Build will be SUCCESS
+     */
+
+    static Integer getAge(/*@Nullable*/ Person person) {
+        return person.getAge();
+    }
+
+    Integer yearsToRetirement() {
+        Person p = null;
+        // ... p never gets set correctly...
+        return 65 - getAge(p);
+    }
+
+}
@@ -0,0 +1,65 @@
+package com.baeldung.nullaway;
+
+public class Person {
+    int age;
+    String name;
+    String email;
+
+    public Person(int age, String name, String email) {
+        super();
+        this.age = age;
+        this.name = name;
+        this.email = email;
+    }
+
+    public int getAge() {
+        return age;
+    }
+
+    public String getName() {
+        return name;
+    }
+
+    public String getEmail() {
+        return email;
+    }
+
+    @Override
+    public String toString() {
+        StringBuilder builder = new StringBuilder();
+        builder.append("Person [age=");
+        builder.append(age);
+        builder.append(", name=");
+        builder.append(name);
+        builder.append(", email=");
+        builder.append(email);
+        builder.append("]");
+        return builder.toString();
+    }
+
+    @Override
+    public int hashCode() {
+        final int prime = 31;
+        int result = 1;
+        result = prime * result + ((email == null) ? 0 : email.hashCode());
+        return result;
+    }
+
+    @Override
+    public boolean equals(Object obj) {
+        if (this == obj)
+            return true;
+        if (obj == null)
+            return false;
+        if (getClass() != obj.getClass())
+            return false;
+        Person other = (Person) obj;
+        if (email == null) {
+            if (other.email != null)
+                return false;
+        } else if (!email.equals(other.email))
+            return false;
+        return true;
+    }
+
+}