diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-12-23 09:27:18 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-12-23 09:27:18 +0000 |
| commit | 3b2351332b1f8941caba89caac6add07aad11e3c (patch) | |
| tree | a136a339147bd05411cdc22105d4358a013fb812 /src/main/java | |
| parent | 2a74651cf75dbb9db5c1b16a70433aee3ed5c01d (diff) | |
Add Sources.string()
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/sources/Sources.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/sources/Sources.java b/src/main/java/org/shedlang/compiler/sources/Sources.java index 9a556aff..e59c91cc 100644 --- a/src/main/java/org/shedlang/compiler/sources/Sources.java +++ b/src/main/java/org/shedlang/compiler/sources/Sources.java @@ -13,4 +13,8 @@ public class Sources { public static Source file(String filename, String contents) { return FileFragmentSource.file(filename, contents); } + + public static Source string(String contents) { + return FileFragmentSource.file("<string>", contents); + } } |