diff options
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); -} |
