Convert to records in the Spring example

Author: jeffgbutler

src/test/java/examples/spring/AddressRecord.java

@@ -15,41 +15,4 @@
  */
 package examples.spring;
 
-public class AddressRecord {
-    private Integer id;
-    private String streetAddress;
-    private String city;
-    private String state;
-
-    public Integer getId() {
-        return id;
-    }
-
-    public void setId(Integer id) {
-        this.id = id;
-    }
-
-    public String getStreetAddress() {
-        return streetAddress;
-    }
-
-    public void setStreetAddress(String streetAddress) {
-        this.streetAddress = streetAddress;
-    }
-
-    public String getCity() {
-        return city;
-    }
-
-    public void setCity(String city) {
-        this.city = city;
-    }
-
-    public String getState() {
-        return state;
-    }
-
-    public void setState(String state) {
-        this.state = state;
-    }
-}
+public record AddressRecord (Integer id, String streetAddress, String city, String state) { }

src/test/java/examples/spring/LastName.java

@@ -15,42 +15,6 @@
  */
 package examples.spring;
 
-public class LastName {
-    private String name;
+import org.jspecify.annotations.Nullable;
 
-    public String getName() {
-        return name;
-    }
-
-    public void setName(String name) {
-        this.name = name;
-    }
-
-    public static LastName of(String name) {
-        LastName lastName = new LastName();
-        lastName.setName(name);
-        return lastName;
-    }
-
-    @Override
-    public int hashCode() {
-        final int prime = 31;
-        int result = 1;
-        result = prime * result + ((name == null) ? 0 : name.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;
-        LastName other = (LastName) obj;
-        if (name == null) {
-            return other.name == null;
-        } else return name.equals(other.name);
-    }
-}
+public record LastName(@Nullable String name) { }

src/test/java/examples/spring/LastNameParameterConverter.java

@@ -15,20 +15,18 @@
  */
 package examples.spring;
 
-import org.jspecify.annotations.NullMarked;
 import org.jspecify.annotations.Nullable;
 import org.mybatis.dynamic.sql.ParameterTypeConverter;
 import org.springframework.core.convert.converter.Converter;
 
-@NullMarked
 public class LastNameParameterConverter implements ParameterTypeConverter<LastName, String>,
         Converter<LastName, String> {
     @Override
     public @Nullable String convert(LastName source) {
-        if ("Slate".equals(source.getName())) {
+        if ("Slate".equals(source.name())) {
             return null;
         } else {
-            return source.getName();
+            return source.name();
         }
     }
 }

src/test/java/examples/spring/PersonRecord.java

@@ -15,78 +15,23 @@
  */
 package examples.spring;
 
-import java.util.Date;
-
-public class PersonRecord {
-    private Integer id;
-    private String firstName;
-    private LastName lastName;
-    private Date birthDate;
-    private Boolean employed;
-    private String occupation;
-    private Integer addressId;
-
-    public Integer getId() {
-        return id;
-    }
-
-    public void setId(Integer id) {
-        this.id = id;
-    }
-
-    public String getFirstName() {
-        return firstName;
-    }
-
-    public void setFirstName(String firstName) {
-        this.firstName = firstName;
-    }
-
-    public LastName getLastName() {
-        return lastName;
-    }
-
-    public String getLastNameAsString() {
-        return lastName == null ? null : lastName.getName();
-    }
+import org.jspecify.annotations.Nullable;
 
-    public void setLastName(LastName lastName) {
-        this.lastName = lastName;
-    }
-
-    public Date getBirthDate() {
-        return birthDate;
-    }
-
-    public void setBirthDate(Date birthDate) {
-        this.birthDate = birthDate;
-    }
-
-    public String getOccupation() {
-        return occupation;
-    }
+import java.util.Date;
 
-    public void setOccupation(String occupation) {
-        this.occupation = occupation;
-    }
+public record PersonRecord (Integer id, @Nullable String firstName, @Nullable LastName lastName,
+                            @Nullable Date birthDate, @Nullable Boolean employed,
+                            @Nullable String occupation, @Nullable Integer addressId) {
 
-    public Boolean getEmployed() {
-        return employed;
+    public @Nullable String getLastNameAsString() {
+        return lastName == null ? null : lastName.name();
     }
 
     public String getEmployedAsString() {
         return employed == null ? "No" : employed ? "Yes" : "No";
     }
 
-    public void setEmployed(Boolean employed) {
-        this.employed = employed;
-    }
-
-    public Integer getAddressId() {
-        return addressId;
-    }
-
-    public void setAddressId(Integer addressId) {
-        this.addressId = addressId;
+    public PersonRecord withOccupation(String occupation) {
+        return new PersonRecord(id, firstName, lastName, birthDate, employed, occupation, addressId);
     }
 }