diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-31 14:45:04 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-31 15:22:40 +0100 |
| commit | 91860485774924e82da9b0774179d4c3c8da810a (patch) | |
| tree | e06f52f147502e80aea139c20adac706479cb7ea /flatbuffers/sources.fbs | |
| parent | 410fff7b7ecf6f36a0a46ab1d90553169e3728f1 (diff) | |
Use transient-0 instead of flatbuffersmain
Diffstat (limited to 'flatbuffers/sources.fbs')
| -rw-r--r-- | flatbuffers/sources.fbs | 28 |
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); -} |
