Hide fields of TomlTableWithSource

1 files changed, 13 insertions, 6 deletions

diff --git a/src/main/java/org/shedlang/compiler/config/toml/TomlTableWithSource.java b/src/main/java/org/shedlang/compiler/config/toml/TomlTableWithSource.java
index d6ac3ba8..8d0c1db9 100644
--- a/src/main/java/org/shedlang/compiler/config/toml/TomlTableWithSource.java
+++ b/src/main/java/org/shedlang/compiler/config/toml/TomlTableWithSource.java
@@ -15,12 +15,19 @@ import java.util.Optional;
 import java.util.OptionalLong;
 import java.util.stream.IntStream;
 
-public record TomlTableWithSource(
-    TomlTable table,
-    TomlPath path,
-    TomlPosition position,
-    Source fullSource
-) {
+public class TomlTableWithSource {
+    private final TomlTable table;
+    private final TomlPath path;
+    private final TomlPosition position;
+    private final Source fullSource;
+
+    private TomlTableWithSource(TomlTable table, TomlPath path, TomlPosition position, Source fullSource) {
+        this.table = table;
+        this.path = path;
+        this.position = position;
+        this.fullSource = fullSource;
+    }
+
     public static TomlTableWithSource parse(Source source) {
         var result = Toml.parse(source.contents());