aboutsummaryrefslogtreecommitdiff
path: root/flatbuffers/sources.fbs
diff options
context:
space:
mode:
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);
-}