diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-01-12 17:29:05 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-01-12 17:29:05 +0000 |
| commit | 50730c7784ee742c8c148d4d5b07c4ea312a8e58 (patch) | |
| tree | 85f1432a0bb6ad137176fc376cbd6cd4770bc7e2 /src/main/java/org/shedlang/compiler/SourceFile.java | |
| parent | 0d3098233012bf20123e778927a2e8473a2e230b (diff) | |
Improve collection of source files
Diffstat (limited to 'src/main/java/org/shedlang/compiler/SourceFile.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/SourceFile.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/SourceFile.java b/src/main/java/org/shedlang/compiler/SourceFile.java new file mode 100644 index 00000000..b3ca3578 --- /dev/null +++ b/src/main/java/org/shedlang/compiler/SourceFile.java @@ -0,0 +1,8 @@ +package org.shedlang.compiler; + +import org.shedlang.compiler.types.NamespaceName; + +import java.nio.file.Path; + +public record SourceFile(Path path, NamespaceName namespaceName) { +} |