Merge chr name + id wrappers into new CharacterIdentity record

This commit is contained in:
P0nk
2023-08-06 20:35:26 +02:00
parent 5b5888cf65
commit bbee8d7caa
7 changed files with 99 additions and 137 deletions

View File

@@ -0,0 +1,9 @@
package model;
public record CharacterIdentity(String name, int id) {
public CharacterIdentity {
if (name == null) {
throw new IllegalArgumentException("Character name must not be null");
}
}
}