aboutsummaryrefslogtreecommitdiff
path: root/flatbuffers/sources.fbs
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-07-31 14:45:04 +0100
committerMichael Williamson <mike@zwobble.org>2026-07-31 15:22:40 +0100
commit91860485774924e82da9b0774179d4c3c8da810a (patch)
treee06f52f147502e80aea139c20adac706479cb7ea /flatbuffers/sources.fbs
parent410fff7b7ecf6f36a0a46ab1d90553169e3728f1 (diff)
Use transient-0 instead of flatbuffersmain
Diffstat (limited to 'flatbuffers/sources.fbs')
-rw-r--r--flatbuffers/sources.fbs28
1 files changed, 0 insertions, 28 deletions
diff --git a/flatbuffers/sources.fbs b/flatbuffers/sources.fbs
deleted file mode 100644
index 3b797d71..00000000
--- a/flatbuffers/sources.fbs
+++ /dev/null
@@ -1,28 +0,0 @@
-namespace Sources;
-
-union SourceValue {
- NullSource,
- RuntimeSource,
- FileFragmentSource,
-}
-
-table Source {
- value:SourceValue (required);
-}
-
-table NullSource {
-}
-
-table RuntimeSource {
-}
-
-table FileFragmentSource {
- source_text:SourceText;
- start_character_index:uint;
- end_character_index:uint;
-}
-
-table SourceText {
- name:string (required);
- contents:string (required);
-}