Update formatting

This commit is contained in:
Michael Pratt
2020-11-20 07:49:50 -07:00
parent 2b32684839
commit 9f958851b4
5 changed files with 12 additions and 22 deletions

View File

@@ -3,15 +3,12 @@ package com.baeldung.whatsnew.records;
/**
* Java record with a header indicating 2 fields.
*/
public record Person(String name, int age)
{
public record Person(String name, int age) {
/**
* Public constructor that does some basic validation.
*/
public Person
{
if (age < 0)
{
public Person {
if (age < 0) {
throw new IllegalArgumentException("Age cannot be negative");
}
}

View File

@@ -2,10 +2,8 @@ package com.baeldung.whatsnew.sealedclasses;
import java.util.Date;
public non-sealed class Employee extends Person
{
public Date getHiredDate()
{
public non-sealed class Employee extends Person {
public Date getHiredDate() {
return new Date();
}
}

View File

@@ -1,5 +1,4 @@
package com.baeldung.whatsnew.sealedclasses;
public final class Manager extends Person
{
public final class Manager extends Person {
}

View File

@@ -2,23 +2,19 @@ package com.baeldung.whatsnew.sealedclasses;
import java.util.Date;
public sealed class Person permits Employee, Manager
{
public sealed class Person permits Employee, Manager {
/**
* Demonstration of pattern matching for instanceof
*
* @param person A Person object
* @return
*/
public static void patternMatchingDemo(Person person)
{
if(person instanceof Employee employee)
{
public static void patternMatchingDemo(Person person) {
if(person instanceof Employee employee) {
Date hiredDate = employee.getHiredDate();
}
if(person instanceof Employee employee && employee.getHiredDate() != null)
{
if(person instanceof Employee employee && employee.getHiredDate() != null) {
Date hiredDate = employee.getHiredDate();
}
}