firefly-compiler 0.4.51 → 0.4.52

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (109) hide show
  1. package/.hintrc +4 -4
  2. package/.vscode/settings.json +4 -4
  3. package/bin/Release.ff +153 -153
  4. package/bin/firefly.mjs +1 -1
  5. package/compiler/Builder.ff +257 -257
  6. package/compiler/Compiler.ff +227 -227
  7. package/compiler/Dependencies.ff +186 -186
  8. package/compiler/DependencyLock.ff +17 -17
  9. package/compiler/JsEmitter.ff +946 -946
  10. package/compiler/LspHook.ff +202 -202
  11. package/compiler/ModuleCache.ff +178 -178
  12. package/compiler/Workspace.ff +88 -88
  13. package/core/.firefly/include/package-lock.json +394 -394
  14. package/core/.firefly/include/package.json +5 -5
  15. package/core/.firefly/include/prepare.sh +1 -1
  16. package/core/.firefly/package.ff +2 -2
  17. package/core/Array.ff +265 -265
  18. package/core/Atomic.ff +64 -64
  19. package/core/Box.ff +7 -7
  20. package/core/BrowserSystem.ff +40 -40
  21. package/core/BuildSystem.ff +148 -148
  22. package/core/Crypto.ff +96 -96
  23. package/core/Equal.ff +36 -36
  24. package/core/HttpClient.ff +87 -87
  25. package/core/JsSystem.ff +69 -69
  26. package/core/Json.ff +434 -434
  27. package/core/List.ff +486 -486
  28. package/core/Lock.ff +144 -144
  29. package/core/NodeSystem.ff +195 -189
  30. package/core/Ordering.ff +161 -161
  31. package/core/Path.ff +401 -401
  32. package/core/Random.ff +134 -134
  33. package/core/RbMap.ff +216 -216
  34. package/core/Show.ff +43 -43
  35. package/core/SourceLocation.ff +68 -68
  36. package/core/Task.ff +141 -141
  37. package/experimental/benchmarks/ListGrab.ff +23 -23
  38. package/experimental/benchmarks/ListGrab.java +55 -55
  39. package/experimental/benchmarks/Pyrotek45.ff +30 -30
  40. package/experimental/benchmarks/Pyrotek45.java +64 -64
  41. package/experimental/bidirectional/Bidi.ff +88 -88
  42. package/experimental/random/Index.ff +53 -53
  43. package/experimental/random/Process.ff +120 -120
  44. package/experimental/random/Scrape.ff +51 -51
  45. package/experimental/random/Symbols.ff +73 -73
  46. package/experimental/random/Tensor.ff +52 -52
  47. package/experimental/random/Units.ff +36 -36
  48. package/experimental/s3/S3TestAuthorizationHeader.ff +38 -38
  49. package/experimental/s3/S3TestPut.ff +15 -15
  50. package/experimental/tests/TestJson.ff +26 -26
  51. package/firefly.sh +0 -0
  52. package/fireflysite/Main.ff +13 -13
  53. package/lsp/.firefly/package.ff +1 -1
  54. package/lsp/CompletionHandler.ff +808 -808
  55. package/lsp/Handler.ff +714 -714
  56. package/lsp/HoverHandler.ff +79 -79
  57. package/lsp/LanguageServer.ff +272 -272
  58. package/lsp/SignatureHelpHandler.ff +55 -55
  59. package/lsp/SymbolHandler.ff +181 -181
  60. package/lsp/TestReferences.ff +16 -16
  61. package/lsp/TestReferencesCase.ff +7 -7
  62. package/lsp/stderr.txt +1 -1
  63. package/lsp/stdin.txt +10 -10
  64. package/lsp/stdout.txt +40 -40
  65. package/lux/.firefly/package.ff +1 -1
  66. package/lux/Css.ff +648 -648
  67. package/lux/CssTest.ff +48 -48
  68. package/lux/Lux.ff +487 -487
  69. package/lux/LuxEvent.ff +116 -116
  70. package/lux/Main.ff +128 -128
  71. package/lux/Main2.ff +144 -144
  72. package/output/js/ff/compiler/Builder.mjs +43 -43
  73. package/output/js/ff/compiler/Dependencies.mjs +3 -3
  74. package/output/js/ff/core/Array.mjs +59 -59
  75. package/output/js/ff/core/Atomic.mjs +36 -36
  76. package/output/js/ff/core/BrowserSystem.mjs +11 -11
  77. package/output/js/ff/core/BuildSystem.mjs +30 -30
  78. package/output/js/ff/core/Crypto.mjs +40 -40
  79. package/output/js/ff/core/HttpClient.mjs +24 -24
  80. package/output/js/ff/core/Json.mjs +147 -147
  81. package/output/js/ff/core/List.mjs +50 -50
  82. package/output/js/ff/core/Lock.mjs +97 -97
  83. package/output/js/ff/core/NodeSystem.mjs +83 -77
  84. package/output/js/ff/core/Ordering.mjs +8 -8
  85. package/output/js/ff/core/Path.mjs +231 -231
  86. package/output/js/ff/core/Random.mjs +56 -56
  87. package/output/js/ff/core/Task.mjs +31 -31
  88. package/package.json +1 -1
  89. package/rpc/.firefly/package.ff +1 -1
  90. package/rpc/Rpc.ff +69 -69
  91. package/s3/.firefly/package.ff +1 -1
  92. package/s3/S3.ff +90 -90
  93. package/unsafejs/UnsafeJs.ff +19 -19
  94. package/vscode/LICENSE.txt +21 -21
  95. package/vscode/Prepublish.ff +15 -15
  96. package/vscode/README.md +16 -16
  97. package/vscode/client/package.json +22 -22
  98. package/vscode/client/src/extension.ts +104 -104
  99. package/vscode/icons/firefly-icon.svg +10 -10
  100. package/vscode/language-configuration.json +61 -61
  101. package/vscode/package-lock.json +3623 -3623
  102. package/vscode/package.json +1 -1
  103. package/vscode/snippets.json +241 -241
  104. package/webserver/.firefly/include/package-lock.json +16 -16
  105. package/webserver/.firefly/include/package.json +5 -5
  106. package/webserver/.firefly/package.ff +2 -2
  107. package/webserver/WebServer.ff +685 -685
  108. package/websocket/.firefly/package.ff +1 -1
  109. package/websocket/WebSocket.ff +131 -131
@@ -1,181 +1,181 @@
1
- import LspHook from ff:compiler
2
- import Syntax from ff:compiler
3
-
4
- data DocumentSymbol(
5
- name: String
6
- kind: DocumentSymbolKind
7
- selectionStart: Location
8
- selectionEnd: Location
9
- start: Location
10
- end: Location
11
- children: List[DocumentSymbol]
12
- )
13
-
14
- data WorkspaceSymbol(
15
- name: String
16
- kind: DocumentSymbolKind
17
- containerName: Option[String]
18
- selectionStart: Location
19
- selectionEnd: Location
20
- )
21
-
22
- class Result[T](
23
- result: T
24
- remaining: List[ResultHook]
25
- )
26
-
27
- data ReadSymbolsError()
28
-
29
- readAllSymbols(hooks: List[ResultHook]): List[DocumentSymbol] {
30
- let result = readSymbols(hooks)
31
- if(!result.remaining.isEmpty()) {throw(ReadSymbolsError())}
32
- result.result
33
- }
34
-
35
- readSymbols(hooks: List[ResultHook]): Result[List[DocumentSymbol]] {
36
- | [ParseSymbolBegin, ...rest] =>
37
- let symbol = readSymbol(rest)
38
- let symbols = readSymbols(symbol.remaining)
39
- Result([symbol.result, ...symbols.result], symbols.remaining)
40
- | _ => Result([], hooks)
41
- }
42
-
43
- readSymbol(hooks: List[ResultHook]): Result[DocumentSymbol] {
44
- let children = readSymbols(hooks)
45
- children.remaining.{
46
- | [ParseSymbolEnd(name, kind, selectionStart, selectionEnd, start, end), ...rest] =>
47
- let symbol = DocumentSymbol(name, kind, selectionStart, selectionEnd, start, end, children.result)
48
- Result(symbol, rest)
49
- | _ => throw(ReadSymbolsError())
50
- }
51
- }
52
-
53
- handleDocumentSymbol(system: NodeSystem, resultHooks: List[ResultHook]): List[Json] {
54
- let symbols = readAllSymbols(resultHooks)
55
- symbols.map {documentSymbolToLsp(_)}
56
- }
57
-
58
- handleWorkspaceSymbol(system: NodeSystem, resultHooks: List[ResultHook], query: String): List[Json] {
59
- let documentSymbols = readAllSymbols(resultHooks)
60
- let workspaceSymbols = documentSymbols.flatMap {documentToWorkspaceSymbols(_, None)}
61
- let foundSymbols = workspaceSymbols.filter {_.name.startsWith(query)}
62
- //Log.trace("handleWorkspaceSymbol")
63
- //workspaceSymbols.each {Log.show(_)}
64
- let jsSymbols = foundSymbols.map {workspaceSymbolToLsp(system.path("."), _)}
65
- //workspaceSymbolsJs.each {Log.trace(_.write(None))}
66
- jsSymbols
67
- }
68
-
69
- documentToWorkspaceSymbols(symbol: DocumentSymbol, parentName: Option[String]): List[WorkspaceSymbol] {
70
- let s = WorkspaceSymbol(
71
- symbol.name
72
- kind = symbol.kind
73
- containerName = parentName
74
- selectionStart = symbol.selectionEnd
75
- selectionEnd = symbol.selectionEnd
76
- )
77
- let children = symbol.children.flatMap {documentToWorkspaceSymbols(_, Some(symbol.name))}
78
- [s, ... children]
79
- }
80
-
81
- showHook(lspHook: ResultHook): String {
82
- | ParseSymbolBegin => "ParseSymbolBegin"
83
- | ParseSymbolEnd(name, kind, _, _, _, _) => "ParseSymbolEnd("+Show.show(name)+", "+Show.show(kind)+")"
84
- //| ParseSymbolBegin => "("
85
- //| ParseSymbolEnd(name, kind, symbolStart, selectionStart, selectionEnd) => ") " + name + " " + showPosition(selectionStart) + " - " + showPosition(selectionEnd)
86
- | _ => "other"
87
- }
88
-
89
- showPosition(at: Location): String {
90
- at.line + ":" + at.column
91
- }
92
-
93
- documentSymbolToLsp(symbol: DocumentSymbol): Json {
94
- Json.object()
95
- .with("name", symbol.name)
96
- .with("kind", documentSymbolNumber(symbol.kind))
97
- .with("range", locationsToLspRange(symbol.start, symbol.end))
98
- .with("selectionRange", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
99
- .with("children", symbol.children.map {documentSymbolToLsp(_)})
100
- }
101
-
102
- documentSymbolNumber(kind: DocumentSymbolKind): Int {
103
- | SExtend => 3 // Namespace
104
- | SFunction(True) => 6
105
- | SFunction(False) => 12
106
- | SInstance => 19 // Object
107
- | SLet(True) => 13
108
- | SLet(False) => 14
109
- | SParameter => 7 // Property
110
- | STrait => 11 // Interface
111
- | STraitFunction => 12 // Function
112
- | SType => 5
113
- | SVariant => 10 // Enum
114
- }
115
-
116
- workspaceSymbolToLsp(rootPath: Path, symbol: WorkspaceSymbol): Json {
117
- let o = Json.object()
118
- .with("name", symbol.name)
119
- .with("kind", documentSymbolNumber(symbol.kind))
120
- .with("location", Json.object()
121
- .with("uri", rootPath.path(symbol.selectionStart.file).url())
122
- .with("range", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
123
- )
124
- symbol.containerName.{
125
- | Some(n) => o.with("containerName", n)
126
- | None => o
127
- }
128
- }
129
-
130
- locationsToLspRange(start: Location, end: Location): Json {
131
- Json.object()
132
- .with("start", Json.object()
133
- .with("line", start.line - 1)
134
- .with("character", start.column - 1)
135
- )
136
- .with("end", Json.object()
137
- .with("line", end.line - 1)
138
- .with("character", end.column - 1)
139
- )
140
- }
141
-
142
- symbolFilter(symbol: WorkspaceSymbol, query: String): Bool {
143
- let symbolWords = splitCamelCased(symbol.name.takeWhile {_.isAsciiLetterOrDigit()})
144
- matchSymbol(symbolWords, query)
145
- }
146
-
147
- matchSymbol(symbolWords: List[String], query: String): Bool {
148
- let memo = IntMap.new()
149
- function go(wordIndex: Int, queryOffset: Int): Bool {
150
- memo.getOrSet(wordIndex) {IntMap.new()}.getOrSet(queryOffset):
151
- if(queryOffset >= query.size()) {True} else:
152
- if(wordIndex >= symbolWords.size()) {False} else:
153
- prefixes(query.dropFirst(queryOffset)).any {prefix =>
154
- symbolWords.grab(wordIndex).startsWith(prefix) &&
155
- go(wordIndex + 1, queryOffset + prefix.size())
156
- }
157
- }
158
- go(0, 0)
159
- }
160
-
161
- prefixes(string: String): List[String] {
162
- if(string == "") {[""]} else:
163
- function go(rest: String): List[String] {
164
- if(rest == "") {
165
- [""]
166
- } else {
167
- [rest, ...go(rest.dropLast())]
168
- }
169
- }
170
- go(string.grab(0).toString().lower() + string.dropFirst().takeWhile {!_.isAsciiUpper()})
171
- }
172
-
173
- splitCamelCased(name: String): List[String] {
174
- name.first().{
175
- | None => []
176
- | Some(c) =>
177
- let word = c.toString().lower() + name.dropFirst().takeWhile {_.isAsciiLower()}
178
- let rest = name.dropFirst(word.size())
179
- [word, ...splitCamelCased(rest)]
180
- }
181
- }
1
+ import LspHook from ff:compiler
2
+ import Syntax from ff:compiler
3
+
4
+ data DocumentSymbol(
5
+ name: String
6
+ kind: DocumentSymbolKind
7
+ selectionStart: Location
8
+ selectionEnd: Location
9
+ start: Location
10
+ end: Location
11
+ children: List[DocumentSymbol]
12
+ )
13
+
14
+ data WorkspaceSymbol(
15
+ name: String
16
+ kind: DocumentSymbolKind
17
+ containerName: Option[String]
18
+ selectionStart: Location
19
+ selectionEnd: Location
20
+ )
21
+
22
+ class Result[T](
23
+ result: T
24
+ remaining: List[ResultHook]
25
+ )
26
+
27
+ data ReadSymbolsError()
28
+
29
+ readAllSymbols(hooks: List[ResultHook]): List[DocumentSymbol] {
30
+ let result = readSymbols(hooks)
31
+ if(!result.remaining.isEmpty()) {throw(ReadSymbolsError())}
32
+ result.result
33
+ }
34
+
35
+ readSymbols(hooks: List[ResultHook]): Result[List[DocumentSymbol]] {
36
+ | [ParseSymbolBegin, ...rest] =>
37
+ let symbol = readSymbol(rest)
38
+ let symbols = readSymbols(symbol.remaining)
39
+ Result([symbol.result, ...symbols.result], symbols.remaining)
40
+ | _ => Result([], hooks)
41
+ }
42
+
43
+ readSymbol(hooks: List[ResultHook]): Result[DocumentSymbol] {
44
+ let children = readSymbols(hooks)
45
+ children.remaining.{
46
+ | [ParseSymbolEnd(name, kind, selectionStart, selectionEnd, start, end), ...rest] =>
47
+ let symbol = DocumentSymbol(name, kind, selectionStart, selectionEnd, start, end, children.result)
48
+ Result(symbol, rest)
49
+ | _ => throw(ReadSymbolsError())
50
+ }
51
+ }
52
+
53
+ handleDocumentSymbol(system: NodeSystem, resultHooks: List[ResultHook]): List[Json] {
54
+ let symbols = readAllSymbols(resultHooks)
55
+ symbols.map {documentSymbolToLsp(_)}
56
+ }
57
+
58
+ handleWorkspaceSymbol(system: NodeSystem, resultHooks: List[ResultHook], query: String): List[Json] {
59
+ let documentSymbols = readAllSymbols(resultHooks)
60
+ let workspaceSymbols = documentSymbols.flatMap {documentToWorkspaceSymbols(_, None)}
61
+ let foundSymbols = workspaceSymbols.filter {_.name.startsWith(query)}
62
+ //Log.trace("handleWorkspaceSymbol")
63
+ //workspaceSymbols.each {Log.show(_)}
64
+ let jsSymbols = foundSymbols.map {workspaceSymbolToLsp(system.path("."), _)}
65
+ //workspaceSymbolsJs.each {Log.trace(_.write(None))}
66
+ jsSymbols
67
+ }
68
+
69
+ documentToWorkspaceSymbols(symbol: DocumentSymbol, parentName: Option[String]): List[WorkspaceSymbol] {
70
+ let s = WorkspaceSymbol(
71
+ symbol.name
72
+ kind = symbol.kind
73
+ containerName = parentName
74
+ selectionStart = symbol.selectionEnd
75
+ selectionEnd = symbol.selectionEnd
76
+ )
77
+ let children = symbol.children.flatMap {documentToWorkspaceSymbols(_, Some(symbol.name))}
78
+ [s, ... children]
79
+ }
80
+
81
+ showHook(lspHook: ResultHook): String {
82
+ | ParseSymbolBegin => "ParseSymbolBegin"
83
+ | ParseSymbolEnd(name, kind, _, _, _, _) => "ParseSymbolEnd("+Show.show(name)+", "+Show.show(kind)+")"
84
+ //| ParseSymbolBegin => "("
85
+ //| ParseSymbolEnd(name, kind, symbolStart, selectionStart, selectionEnd) => ") " + name + " " + showPosition(selectionStart) + " - " + showPosition(selectionEnd)
86
+ | _ => "other"
87
+ }
88
+
89
+ showPosition(at: Location): String {
90
+ at.line + ":" + at.column
91
+ }
92
+
93
+ documentSymbolToLsp(symbol: DocumentSymbol): Json {
94
+ Json.object()
95
+ .with("name", symbol.name)
96
+ .with("kind", documentSymbolNumber(symbol.kind))
97
+ .with("range", locationsToLspRange(symbol.start, symbol.end))
98
+ .with("selectionRange", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
99
+ .with("children", symbol.children.map {documentSymbolToLsp(_)})
100
+ }
101
+
102
+ documentSymbolNumber(kind: DocumentSymbolKind): Int {
103
+ | SExtend => 3 // Namespace
104
+ | SFunction(True) => 6
105
+ | SFunction(False) => 12
106
+ | SInstance => 19 // Object
107
+ | SLet(True) => 13
108
+ | SLet(False) => 14
109
+ | SParameter => 7 // Property
110
+ | STrait => 11 // Interface
111
+ | STraitFunction => 12 // Function
112
+ | SType => 5
113
+ | SVariant => 10 // Enum
114
+ }
115
+
116
+ workspaceSymbolToLsp(rootPath: Path, symbol: WorkspaceSymbol): Json {
117
+ let o = Json.object()
118
+ .with("name", symbol.name)
119
+ .with("kind", documentSymbolNumber(symbol.kind))
120
+ .with("location", Json.object()
121
+ .with("uri", rootPath.path(symbol.selectionStart.file).url())
122
+ .with("range", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
123
+ )
124
+ symbol.containerName.{
125
+ | Some(n) => o.with("containerName", n)
126
+ | None => o
127
+ }
128
+ }
129
+
130
+ locationsToLspRange(start: Location, end: Location): Json {
131
+ Json.object()
132
+ .with("start", Json.object()
133
+ .with("line", start.line - 1)
134
+ .with("character", start.column - 1)
135
+ )
136
+ .with("end", Json.object()
137
+ .with("line", end.line - 1)
138
+ .with("character", end.column - 1)
139
+ )
140
+ }
141
+
142
+ symbolFilter(symbol: WorkspaceSymbol, query: String): Bool {
143
+ let symbolWords = splitCamelCased(symbol.name.takeWhile {_.isAsciiLetterOrDigit()})
144
+ matchSymbol(symbolWords, query)
145
+ }
146
+
147
+ matchSymbol(symbolWords: List[String], query: String): Bool {
148
+ let memo = IntMap.new()
149
+ function go(wordIndex: Int, queryOffset: Int): Bool {
150
+ memo.getOrSet(wordIndex) {IntMap.new()}.getOrSet(queryOffset):
151
+ if(queryOffset >= query.size()) {True} else:
152
+ if(wordIndex >= symbolWords.size()) {False} else:
153
+ prefixes(query.dropFirst(queryOffset)).any {prefix =>
154
+ symbolWords.grab(wordIndex).startsWith(prefix) &&
155
+ go(wordIndex + 1, queryOffset + prefix.size())
156
+ }
157
+ }
158
+ go(0, 0)
159
+ }
160
+
161
+ prefixes(string: String): List[String] {
162
+ if(string == "") {[""]} else:
163
+ function go(rest: String): List[String] {
164
+ if(rest == "") {
165
+ [""]
166
+ } else {
167
+ [rest, ...go(rest.dropLast())]
168
+ }
169
+ }
170
+ go(string.grab(0).toString().lower() + string.dropFirst().takeWhile {!_.isAsciiUpper()})
171
+ }
172
+
173
+ splitCamelCased(name: String): List[String] {
174
+ name.first().{
175
+ | None => []
176
+ | Some(c) =>
177
+ let word = c.toString().lower() + name.dropFirst().takeWhile {_.isAsciiLower()}
178
+ let rest = name.dropFirst(word.size())
179
+ [word, ...splitCamelCased(rest)]
180
+ }
181
+ }
@@ -1,17 +1,17 @@
1
- import Handler
2
- import Syntax from ff:compiler
3
- import ModuleCache from ff:compiler
4
-
5
- nodeMain(system: NodeSystem) {
6
- Log.debug("Hello")
7
- let fireflyPath = system.path(".")
8
- Log.debug(fireflyPath.absolute())
9
- let cache = ModuleCache.new(0)
10
- let handler = Handler(fireflyPath, None, Map.new(), [].toSet(), Map.new(), Map.new(), cache)
11
- let targetAt = Location("/home/werk/projects/firefly-boot/lsp/TestReferencesCase.ff", 7, 5)
12
- let references = handler.findReferences(system, targetAt, local = False, includeDeclaration = True, version = 0)
13
- Log.show(references)
14
- references.each {_.each {r =>
15
- Log.show(r)
16
- }}
1
+ import Handler
2
+ import Syntax from ff:compiler
3
+ import ModuleCache from ff:compiler
4
+
5
+ nodeMain(system: NodeSystem) {
6
+ Log.debug("Hello")
7
+ let fireflyPath = system.path(".")
8
+ Log.debug(fireflyPath.absolute())
9
+ let cache = ModuleCache.new(0)
10
+ let handler = Handler(fireflyPath, None, Map.new(), [].toSet(), Map.new(), Map.new(), cache)
11
+ let targetAt = Location("/home/werk/projects/firefly-boot/lsp/TestReferencesCase.ff", 7, 5)
12
+ let references = handler.findReferences(system, targetAt, local = False, includeDeclaration = True, version = 0)
13
+ Log.show(references)
14
+ references.each {_.each {r =>
15
+ Log.show(r)
16
+ }}
17
17
  }
@@ -1,8 +1,8 @@
1
- foo(a: Int): Int {
2
- a + a
3
- }
4
-
5
- nodeMain(system: NodeSystem) {
6
- foo(13)
7
- foo(37)
1
+ foo(a: Int): Int {
2
+ a + a
3
+ }
4
+
5
+ nodeMain(system: NodeSystem) {
6
+ foo(13)
7
+ foo(37)
8
8
  }
package/lsp/stderr.txt CHANGED
@@ -1 +1 @@
1
- End of input while parsing request headers
1
+ End of input while parsing request headers
package/lsp/stdin.txt CHANGED
@@ -1,11 +1,11 @@
1
- Content-Length: 5836
2
-
3
- {"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":43727,"clientInfo":{"name":"Visual Studio Code","version":"1.76.2"},"locale":"en","rootPath":"/Users/ahnfelt/Downloads/firefly-boot","rootUri":"file:///Users/ahnfelt/Downloads/firefly-boot","capabilities":{"workspace":{"applyEdit":true,"workspaceEdit":{"documentChanges":true,"resourceOperations":["create","rename","delete"],"failureHandling":"textOnlyTransactional","normalizesLineEndings":true,"changeAnnotationSupport":{"groupsOnLabel":true}},"configuration":true,"didChangeWatchedFiles":{"dynamicRegistration":true,"relativePatternSupport":true},"symbol":{"dynamicRegistration":true,"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]},"tagSupport":{"valueSet":[1]},"resolveSupport":{"properties":["location.range"]}},"codeLens":{"refreshSupport":true},"executeCommand":{"dynamicRegistration":true},"didChangeConfiguration":{"dynamicRegistration":true},"workspaceFolders":true,"semanticTokens":{"refreshSupport":true},"fileOperations":{"dynamicRegistration":true,"didCreate":true,"didRename":true,"didDelete":true,"willCreate":true,"willRename":true,"willDelete":true},"inlineValue":{"refreshSupport":true},"inlayHint":{"refreshSupport":true},"diagnostics":{"refreshSupport":true}},"textDocument":{"publishDiagnostics":{"relatedInformation":true,"versionSupport":false,"tagSupport":{"valueSet":[1,2]},"codeDescriptionSupport":true,"dataSupport":true},"synchronization":{"dynamicRegistration":true,"willSave":true,"willSaveWaitUntil":true,"didSave":true},"completion":{"dynamicRegistration":true,"contextSupport":true,"completionItem":{"snippetSupport":true,"commitCharactersSupport":true,"documentationFormat":["markdown","plaintext"],"deprecatedSupport":true,"preselectSupport":true,"tagSupport":{"valueSet":[1]},"insertReplaceSupport":true,"resolveSupport":{"properties":["documentation","detail","additionalTextEdits"]},"insertTextModeSupport":{"valueSet":[1,2]},"labelDetailsSupport":true},"insertTextMode":2,"completionItemKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25]},"completionList":{"itemDefaults":["commitCharacters","editRange","insertTextFormat","insertTextMode"]}},"hover":{"dynamicRegistration":true,"contentFormat":["markdown","plaintext"]},"signatureHelp":{"dynamicRegistration":true,"signatureInformation":{"documentationFormat":["markdown","plaintext"],"parameterInformation":{"labelOffsetSupport":true},"activeParameterSupport":true},"contextSupport":true},"definition":{"dynamicRegistration":true,"linkSupport":true},"references":{"dynamicRegistration":true},"documentHighlight":{"dynamicRegistration":true},"documentSymbol":{"dynamicRegistration":true,"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]},"hierarchicalDocumentSymbolSupport":true,"tagSupport":{"valueSet":[1]},"labelSupport":true},"codeAction":{"dynamicRegistration":true,"isPreferredSupport":true,"disabledSupport":true,"dataSupport":true,"resolveSupport":{"properties":["edit"]},"codeActionLiteralSupport":{"codeActionKind":{"valueSet":["","quickfix","refactor","refactor.extract","refactor.inline","refactor.rewrite","source","source.organizeImports"]}},"honorsChangeAnnotations":false},"codeLens":{"dynamicRegistration":true},"formatting":{"dynamicRegistration":true},"rangeFormatting":{"dynamicRegistration":true},"onTypeFormatting":{"dynamicRegistration":true},"rename":{"dynamicRegistration":true,"prepareSupport":true,"prepareSupportDefaultBehavior":1,"honorsChangeAnnotations":true},"documentLink":{"dynamicRegistration":true,"tooltipSupport":true},"typeDefinition":{"dynamicRegistration":true,"linkSupport":true},"implementation":{"dynamicRegistration":true,"linkSupport":true},"colorProvider":{"dynamicRegistration":true},"foldingRange":{"dynamicRegistration":true,"rangeLimit":5000,"lineFoldingOnly":true,"foldingRangeKind":{"valueSet":["comment","imports","region"]},"foldingRange":{"collapsedText":false}},"declaration":{"dynamicRegistration":true,"linkSupport":true},"selectionRange":{"dynamicRegistration":true},"callHierarchy":{"dynamicRegistration":true},"semanticTokens":{"dynamicRegistration":true,"tokenTypes":["namespace","type","class","enum","interface","struct","typeParameter","parameter","variable","property","enumMember","event","function","method","macro","keyword","modifier","comment","string","number","regexp","operator","decorator"],"tokenModifiers":["declaration","definition","readonly","static","deprecated","abstract","async","modification","documentation","defaultLibrary"],"formats":["relative"],"requests":{"range":true,"full":{"delta":true}},"multilineTokenSupport":false,"overlappingTokenSupport":false,"serverCancelSupport":true,"augmentsSyntaxTokens":true},"linkedEditingRange":{"dynamicRegistration":true},"typeHierarchy":{"dynamicRegistration":true},"inlineValue":{"dynamicRegistration":true},"inlayHint":{"dynamicRegistration":true,"resolveSupport":{"properties":["tooltip","textEdits","label.tooltip","label.location","label.command"]}},"diagnostic":{"dynamicRegistration":true,"relatedDocumentSupport":false}},"window":{"showMessage":{"messageActionItem":{"additionalPropertiesSupport":true}},"showDocument":{"support":true},"workDoneProgress":true},"general":{"staleRequestSupport":{"cancel":true,"retryOnContentModified":["textDocument/semanticTokens/full","textDocument/semanticTokens/range","textDocument/semanticTokens/full/delta"]},"regularExpressions":{"engine":"ECMAScript","version":"ES2020"},"markdown":{"parser":"marked","version":"1.1.0"},"positionEncodings":["utf-16"]},"notebookDocument":{"synchronization":{"dynamicRegistration":true,"executionSummarySupport":true}}},"trace":"off","workspaceFolders":[{"uri":"file:///Users/ahnfelt/Downloads/firefly-boot","name":"firefly-boot"}]}}Content-Length: 52
4
-
5
- {"jsonrpc":"2.0","method":"initialized","params":{}}Content-Length: 9421
6
-
7
- {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{"uri":"file:///Users/ahnfelt/Downloads/firefly-boot/lsp/LanguageServer.ff","languageId":"firefly","version":1,"text":"class LanguageServer(\n mutable openFiles: Map[String, String]\n)\n\ndata BadRequestException(reason: String)\n\ncapability Request(\n headers: Map[String, String]\n object: JsValue\n)\n\ncapability RequestMessage(\n id: Option[MessageId] // None when the request is a Notification Message\n method: String\n parameters: Map[String, JsValue]\n)\n\ndata MessageId {\n MessageIdInt(id: Int)\n MessageIdString(id: String)\n}\n\ncapability ResultOrError {\n Result(result: JsValue)\n Error(code: Int, message: String)\n}\n\n\nmain(system: NodeSystem) {\n try {\n mutable input = system.readStream()\n while {True} {\n let requestPair = parseRequest(system, input)\n input = requestPair.second\n let request = requestPair.first\n let message = parseRequestMessage(request.object)\n handleRequestMessage(system.js(), message).each {body =>\n system.writeText(makeResponse(body))\n }\n //system.writeText(makeResponse(makeDiagnoseNotification(system.js())))\n }\n } catch {| BadRequestException(reason), error =>\n system.writeErrorText(reason + \"\\n\")\n } grab()\n}\n \nparseRequest(system: NodeSystem, input: Stream[Buffer]): Pair[Request, Stream[Buffer]] {\n let headersPair = parseRequestHeaders(input)\n let headers = headersPair.first\n let contentLength = headers\n .get(\"content-length\").else {throw(BadRequestException(\"'content-length' header is missing\"))}\n .getInt().else {throw(BadRequestException(\"Value for 'content-length' is not an integer\"))}\n let bodyPair = parseRequestBody(system.js(), contentLength, headersPair.second)\n bodyPair.mapFirst {body => Request(headers, body)}\n}\n\nparseRequestHeaders(input: Stream[Buffer]): Pair[Map[String, String], Stream[Buffer]] {\n let buffers = Stack.make()\n mutable buffer = input.next().else {\n throw(BadRequestException(\"End of input while parsing request headers\"))\n }\n mutable offset = 0\n mutable droppingInitialNewlines = True\n mutable lastWasNewline = False\n mutable done = False\n while {!done} {\n if(offset == buffer.size()) {\n offset = 0\n buffers.push(buffer)\n buffer = input.next().else {\n throw(BadRequestException(\"End of input while parsing request headers\"))\n }\n }\n let byte = buffer.grabUint8(offset)\n if(droppingInitialNewlines && (byte == '\\n'.codeUnit || byte == '\\r'.codeUnit)) {\n // Skip\n } elseIf {byte == '\\n'.codeUnit} {\n if(lastWasNewline) {\n done = True\n } else {\n lastWasNewline = True\n }\n } elseIf {byte != '\\r'.codeUnit && lastWasNewline} {\n lastWasNewline = False\n } else {\n droppingInitialNewlines = False\n }\n offset += 1\n }\n buffers.push(buffer.view(0, offset))\n let headers = Buffer.fromBufferArray(buffers.drain()).toString()\n let map = headers.lines().pairs().filter {_.second.size() != 0}.map {| Pair(i, line) =>\n line.splitFirst(':').else {\n throw(BadRequestException(\"Invalid header at line \" + i + \" '\" + line + \"'\"))\n }.mapFirst {_.lower()} //.mapSecond {_.trim()}\n }.toMap()\n Pair(map, [buffer.view(offset, buffer.size())].toStream().addAll(input))\n}\n\nparseRequestBody(js: JsSystem, contentLength: Int, input: Stream[Buffer]): Pair[JsValue, Stream[Buffer]] {\n let bodyPair = try {\n input.readBytes(contentLength) // Should Stream.readBytes return an option?\n } catchAny {error =>\n throw(BadRequestException(\"End of input while parsing request body\"))\n } grab()\n let body = Buffer.fromBufferArray(bodyPair.first).toString()\n let json = try {\n js.parseJson(body)\n } catchAny {error =>\n throw(BadRequestException(\"Invalid JSON in request body: \" + body))\n } grab()\n Pair(json, bodyPair.second)\n}\n\nparseRequestMessage(object: JsValue): RequestMessage {\n let id = object.getOwn(\"id\").map {id =>\n if(id.isInt()) {\n MessageIdInt(id.grabInt())\n } elseIf {id.isString()} {\n MessageIdString(id.grabString())\n } else {\n throw(BadRequestException(\"Bad JSON-RPC id, int or string expected\"))\n }\n }\n\n let method = object.getOwn(\"method\").{\n | None => throw(BadRequestException(\"Bad JSON-RPC, missing method\"))\n | Some(m) {!m.isString()} => throw(BadRequestException(\"Bad JSON-RPC method, string expected\"))\n | Some(m) => m.grabString()\n }\n\n let parameters = object.getOwn(\"params\").{\n | None => [].toMap()\n | Some(o) {!o.isObject()} => throw(BadRequestException(\"Bad JSON-RPC params, object expected\"))\n | Some(o) => o.grabMap()\n }\n\n RequestMessage(id, method, parameters)\n}\n\nhandleRequestMessage(js: JsSystem, message: RequestMessage): Option[JsValue] {\n message.id.{\n // Notification Message\n | None =>\n message.method.{\n | \"initialized\" =>\n | _ =>\n }\n None\n // Request Message\n | Some(id) =>\n let result = message.method.{\n | \"initialize\" => handleInitialize(js, message.parameters)\n | \"textDocument/diagnostic\" => handleDiagnostic(js, message.parameters)\n | \"hover\" => handleHover(js, message.parameters)\n | _ => handleUnsupported(js)\n }\n Some(makeResponseMessage(js, id, result))\n }\n}\n\nmakeResponse(body: JsValue): String {\n let json = body.toJson(Some(\" \"))\n let length = json.size()\n \"Content-Length: \" + length + \"\\r\\n\" +\n \"\\r\\n\" +\n json\n}\n\nmakeResponseMessage(js: JsSystem, id: MessageId, result: ResultOrError): JsValue {\n let o = js.object()\n o.set(\"jsonrpc\", \"2.0\")\n id.{\n | MessageIdInt(id) => o.set(\"id\", id)\n | MessageIdString(id) => o.set(\"id\", id)\n }\n result.{\n | Result(result) =>\n o.set(\"result\", result)\n | Error(code, message) =>\n let e = js.object()\n e.set(\"code\", code)\n e.set(\"message\", message)\n o.set(\"error\", e)\n }\n o\n}\n\nhandleUnsupported(js: JsSystem): ResultOrError {\n Error(1234, \"Unsupported method\")\n}\n\nhandleInitialize(js: JsSystem, parameters: Map[String, JsValue]): ResultOrError {\n let anyFireflyFile = js.object()\n .with(\"filters\", [\n js.object()\n .with(\"pattern\", js.object()\n .with(\"glob\", \"**/*.ff\")\n .with(\"matches\", \"file\")\n )\n ].toArray())\n\n let o = js.object()\n .with(\"capabilities\", js.object()\n .with(\"textDocumentSync\", js.object()\n .with(\"openClose\", True)\n .with(\"change\", 1 /* TextDocumentSyncKind.Full */)\n )\n .with(\"hoverProvider\", False)\n //.with(\"definitionProvider\", True)\n //.with(\"typeDefinitionProvider\", True)\n .with(\"diagnosticProvider\", js.object()\n .with(\"interFileDependencies\", True)\n .with(\"workspaceDiagnostics\", False)\n )\n /*.with(\"workspace\", js.object()\n .with(\"workspaceFolders\", js.object()\n .with(\"supported\", True)\n .with(\"changeNotifications\", True)\n )\n .with(\"fileOperations\", js.object()\n .with(\"didCreate\", anyFireflyFile)\n .with(\"didRename\", anyFireflyFile)\n .with(\"didDelete\", anyFireflyFile)\n )\n )*/\n )\n .with(\"serverInfo\", js.object()\n .with(\"name\", \"Firefly Language Server\")\n .with(\"version\", \"0.0.0\")\n )\n Result(o)\n}\n\nhandleDiagnostic(js: JsSystem, parameters: Map[String, JsValue]): ResultOrError {\n let diagnostic = js.object()\n .with(\"range\", js.object()\n .with(\"start\", js.object()\n .with(\"line\", 0).with(\"character\", 6)\n )\n .with(\"end\", js.object()\n .with(\"line\", 0).with(\"character\", 20)\n )\n )\n .with(\"severity\", 1 /* Error */)\n .with(\"message\", \"Hurray!\")\n\n let o = js.object()\n .with(\"kind\", \"full\")\n .with(\"items\", [/*diagnostic*/].toArray())\n\n Result(o)\n}\n\nhandleHover(js: JsSystem, parameters: Map[String, JsValue]): ResultOrError {\n let o = js.object().with(\"contents\", \"TODO\")\n Result(o)\n}\n\nmakeNotificationMessage(js: JsSystem, method: String, params: JsValue): JsValue {\n js.object()\n .with(\"jsonrpc\", \"2.0\")\n .with(\"method\", method)\n .with(\"params\", params)\n}\n"}}}Content-Length: 162
8
-
9
- {"jsonrpc":"2.0","id":1,"method":"textDocument/diagnostic","params":{"textDocument":{"uri":"file:///Users/ahnfelt/Downloads/firefly-boot/lsp/LanguageServer.ff"}}}Content-Length: 44
10
-
1
+ Content-Length: 5836
2
+
3
+ {"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":43727,"clientInfo":{"name":"Visual Studio Code","version":"1.76.2"},"locale":"en","rootPath":"/Users/ahnfelt/Downloads/firefly-boot","rootUri":"file:///Users/ahnfelt/Downloads/firefly-boot","capabilities":{"workspace":{"applyEdit":true,"workspaceEdit":{"documentChanges":true,"resourceOperations":["create","rename","delete"],"failureHandling":"textOnlyTransactional","normalizesLineEndings":true,"changeAnnotationSupport":{"groupsOnLabel":true}},"configuration":true,"didChangeWatchedFiles":{"dynamicRegistration":true,"relativePatternSupport":true},"symbol":{"dynamicRegistration":true,"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]},"tagSupport":{"valueSet":[1]},"resolveSupport":{"properties":["location.range"]}},"codeLens":{"refreshSupport":true},"executeCommand":{"dynamicRegistration":true},"didChangeConfiguration":{"dynamicRegistration":true},"workspaceFolders":true,"semanticTokens":{"refreshSupport":true},"fileOperations":{"dynamicRegistration":true,"didCreate":true,"didRename":true,"didDelete":true,"willCreate":true,"willRename":true,"willDelete":true},"inlineValue":{"refreshSupport":true},"inlayHint":{"refreshSupport":true},"diagnostics":{"refreshSupport":true}},"textDocument":{"publishDiagnostics":{"relatedInformation":true,"versionSupport":false,"tagSupport":{"valueSet":[1,2]},"codeDescriptionSupport":true,"dataSupport":true},"synchronization":{"dynamicRegistration":true,"willSave":true,"willSaveWaitUntil":true,"didSave":true},"completion":{"dynamicRegistration":true,"contextSupport":true,"completionItem":{"snippetSupport":true,"commitCharactersSupport":true,"documentationFormat":["markdown","plaintext"],"deprecatedSupport":true,"preselectSupport":true,"tagSupport":{"valueSet":[1]},"insertReplaceSupport":true,"resolveSupport":{"properties":["documentation","detail","additionalTextEdits"]},"insertTextModeSupport":{"valueSet":[1,2]},"labelDetailsSupport":true},"insertTextMode":2,"completionItemKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25]},"completionList":{"itemDefaults":["commitCharacters","editRange","insertTextFormat","insertTextMode"]}},"hover":{"dynamicRegistration":true,"contentFormat":["markdown","plaintext"]},"signatureHelp":{"dynamicRegistration":true,"signatureInformation":{"documentationFormat":["markdown","plaintext"],"parameterInformation":{"labelOffsetSupport":true},"activeParameterSupport":true},"contextSupport":true},"definition":{"dynamicRegistration":true,"linkSupport":true},"references":{"dynamicRegistration":true},"documentHighlight":{"dynamicRegistration":true},"documentSymbol":{"dynamicRegistration":true,"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]},"hierarchicalDocumentSymbolSupport":true,"tagSupport":{"valueSet":[1]},"labelSupport":true},"codeAction":{"dynamicRegistration":true,"isPreferredSupport":true,"disabledSupport":true,"dataSupport":true,"resolveSupport":{"properties":["edit"]},"codeActionLiteralSupport":{"codeActionKind":{"valueSet":["","quickfix","refactor","refactor.extract","refactor.inline","refactor.rewrite","source","source.organizeImports"]}},"honorsChangeAnnotations":false},"codeLens":{"dynamicRegistration":true},"formatting":{"dynamicRegistration":true},"rangeFormatting":{"dynamicRegistration":true},"onTypeFormatting":{"dynamicRegistration":true},"rename":{"dynamicRegistration":true,"prepareSupport":true,"prepareSupportDefaultBehavior":1,"honorsChangeAnnotations":true},"documentLink":{"dynamicRegistration":true,"tooltipSupport":true},"typeDefinition":{"dynamicRegistration":true,"linkSupport":true},"implementation":{"dynamicRegistration":true,"linkSupport":true},"colorProvider":{"dynamicRegistration":true},"foldingRange":{"dynamicRegistration":true,"rangeLimit":5000,"lineFoldingOnly":true,"foldingRangeKind":{"valueSet":["comment","imports","region"]},"foldingRange":{"collapsedText":false}},"declaration":{"dynamicRegistration":true,"linkSupport":true},"selectionRange":{"dynamicRegistration":true},"callHierarchy":{"dynamicRegistration":true},"semanticTokens":{"dynamicRegistration":true,"tokenTypes":["namespace","type","class","enum","interface","struct","typeParameter","parameter","variable","property","enumMember","event","function","method","macro","keyword","modifier","comment","string","number","regexp","operator","decorator"],"tokenModifiers":["declaration","definition","readonly","static","deprecated","abstract","async","modification","documentation","defaultLibrary"],"formats":["relative"],"requests":{"range":true,"full":{"delta":true}},"multilineTokenSupport":false,"overlappingTokenSupport":false,"serverCancelSupport":true,"augmentsSyntaxTokens":true},"linkedEditingRange":{"dynamicRegistration":true},"typeHierarchy":{"dynamicRegistration":true},"inlineValue":{"dynamicRegistration":true},"inlayHint":{"dynamicRegistration":true,"resolveSupport":{"properties":["tooltip","textEdits","label.tooltip","label.location","label.command"]}},"diagnostic":{"dynamicRegistration":true,"relatedDocumentSupport":false}},"window":{"showMessage":{"messageActionItem":{"additionalPropertiesSupport":true}},"showDocument":{"support":true},"workDoneProgress":true},"general":{"staleRequestSupport":{"cancel":true,"retryOnContentModified":["textDocument/semanticTokens/full","textDocument/semanticTokens/range","textDocument/semanticTokens/full/delta"]},"regularExpressions":{"engine":"ECMAScript","version":"ES2020"},"markdown":{"parser":"marked","version":"1.1.0"},"positionEncodings":["utf-16"]},"notebookDocument":{"synchronization":{"dynamicRegistration":true,"executionSummarySupport":true}}},"trace":"off","workspaceFolders":[{"uri":"file:///Users/ahnfelt/Downloads/firefly-boot","name":"firefly-boot"}]}}Content-Length: 52
4
+
5
+ {"jsonrpc":"2.0","method":"initialized","params":{}}Content-Length: 9421
6
+
7
+ {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{"uri":"file:///Users/ahnfelt/Downloads/firefly-boot/lsp/LanguageServer.ff","languageId":"firefly","version":1,"text":"class LanguageServer(\n mutable openFiles: Map[String, String]\n)\n\ndata BadRequestException(reason: String)\n\ncapability Request(\n headers: Map[String, String]\n object: JsValue\n)\n\ncapability RequestMessage(\n id: Option[MessageId] // None when the request is a Notification Message\n method: String\n parameters: Map[String, JsValue]\n)\n\ndata MessageId {\n MessageIdInt(id: Int)\n MessageIdString(id: String)\n}\n\ncapability ResultOrError {\n Result(result: JsValue)\n Error(code: Int, message: String)\n}\n\n\nmain(system: NodeSystem) {\n try {\n mutable input = system.readStream()\n while {True} {\n let requestPair = parseRequest(system, input)\n input = requestPair.second\n let request = requestPair.first\n let message = parseRequestMessage(request.object)\n handleRequestMessage(system.js(), message).each {body =>\n system.writeText(makeResponse(body))\n }\n //system.writeText(makeResponse(makeDiagnoseNotification(system.js())))\n }\n } catch {| BadRequestException(reason), error =>\n system.writeErrorText(reason + \"\\n\")\n } grab()\n}\n \nparseRequest(system: NodeSystem, input: Stream[Buffer]): Pair[Request, Stream[Buffer]] {\n let headersPair = parseRequestHeaders(input)\n let headers = headersPair.first\n let contentLength = headers\n .get(\"content-length\").else {throw(BadRequestException(\"'content-length' header is missing\"))}\n .getInt().else {throw(BadRequestException(\"Value for 'content-length' is not an integer\"))}\n let bodyPair = parseRequestBody(system.js(), contentLength, headersPair.second)\n bodyPair.mapFirst {body => Request(headers, body)}\n}\n\nparseRequestHeaders(input: Stream[Buffer]): Pair[Map[String, String], Stream[Buffer]] {\n let buffers = Stack.make()\n mutable buffer = input.next().else {\n throw(BadRequestException(\"End of input while parsing request headers\"))\n }\n mutable offset = 0\n mutable droppingInitialNewlines = True\n mutable lastWasNewline = False\n mutable done = False\n while {!done} {\n if(offset == buffer.size()) {\n offset = 0\n buffers.push(buffer)\n buffer = input.next().else {\n throw(BadRequestException(\"End of input while parsing request headers\"))\n }\n }\n let byte = buffer.grabUint8(offset)\n if(droppingInitialNewlines && (byte == '\\n'.codeUnit || byte == '\\r'.codeUnit)) {\n // Skip\n } elseIf {byte == '\\n'.codeUnit} {\n if(lastWasNewline) {\n done = True\n } else {\n lastWasNewline = True\n }\n } elseIf {byte != '\\r'.codeUnit && lastWasNewline} {\n lastWasNewline = False\n } else {\n droppingInitialNewlines = False\n }\n offset += 1\n }\n buffers.push(buffer.view(0, offset))\n let headers = Buffer.fromBufferArray(buffers.drain()).toString()\n let map = headers.lines().pairs().filter {_.second.size() != 0}.map {| Pair(i, line) =>\n line.splitFirst(':').else {\n throw(BadRequestException(\"Invalid header at line \" + i + \" '\" + line + \"'\"))\n }.mapFirst {_.lower()} //.mapSecond {_.trim()}\n }.toMap()\n Pair(map, [buffer.view(offset, buffer.size())].toStream().addAll(input))\n}\n\nparseRequestBody(js: JsSystem, contentLength: Int, input: Stream[Buffer]): Pair[JsValue, Stream[Buffer]] {\n let bodyPair = try {\n input.readBytes(contentLength) // Should Stream.readBytes return an option?\n } catchAny {error =>\n throw(BadRequestException(\"End of input while parsing request body\"))\n } grab()\n let body = Buffer.fromBufferArray(bodyPair.first).toString()\n let json = try {\n js.parseJson(body)\n } catchAny {error =>\n throw(BadRequestException(\"Invalid JSON in request body: \" + body))\n } grab()\n Pair(json, bodyPair.second)\n}\n\nparseRequestMessage(object: JsValue): RequestMessage {\n let id = object.getOwn(\"id\").map {id =>\n if(id.isInt()) {\n MessageIdInt(id.grabInt())\n } elseIf {id.isString()} {\n MessageIdString(id.grabString())\n } else {\n throw(BadRequestException(\"Bad JSON-RPC id, int or string expected\"))\n }\n }\n\n let method = object.getOwn(\"method\").{\n | None => throw(BadRequestException(\"Bad JSON-RPC, missing method\"))\n | Some(m) {!m.isString()} => throw(BadRequestException(\"Bad JSON-RPC method, string expected\"))\n | Some(m) => m.grabString()\n }\n\n let parameters = object.getOwn(\"params\").{\n | None => [].toMap()\n | Some(o) {!o.isObject()} => throw(BadRequestException(\"Bad JSON-RPC params, object expected\"))\n | Some(o) => o.grabMap()\n }\n\n RequestMessage(id, method, parameters)\n}\n\nhandleRequestMessage(js: JsSystem, message: RequestMessage): Option[JsValue] {\n message.id.{\n // Notification Message\n | None =>\n message.method.{\n | \"initialized\" =>\n | _ =>\n }\n None\n // Request Message\n | Some(id) =>\n let result = message.method.{\n | \"initialize\" => handleInitialize(js, message.parameters)\n | \"textDocument/diagnostic\" => handleDiagnostic(js, message.parameters)\n | \"hover\" => handleHover(js, message.parameters)\n | _ => handleUnsupported(js)\n }\n Some(makeResponseMessage(js, id, result))\n }\n}\n\nmakeResponse(body: JsValue): String {\n let json = body.toJson(Some(\" \"))\n let length = json.size()\n \"Content-Length: \" + length + \"\\r\\n\" +\n \"\\r\\n\" +\n json\n}\n\nmakeResponseMessage(js: JsSystem, id: MessageId, result: ResultOrError): JsValue {\n let o = js.object()\n o.set(\"jsonrpc\", \"2.0\")\n id.{\n | MessageIdInt(id) => o.set(\"id\", id)\n | MessageIdString(id) => o.set(\"id\", id)\n }\n result.{\n | Result(result) =>\n o.set(\"result\", result)\n | Error(code, message) =>\n let e = js.object()\n e.set(\"code\", code)\n e.set(\"message\", message)\n o.set(\"error\", e)\n }\n o\n}\n\nhandleUnsupported(js: JsSystem): ResultOrError {\n Error(1234, \"Unsupported method\")\n}\n\nhandleInitialize(js: JsSystem, parameters: Map[String, JsValue]): ResultOrError {\n let anyFireflyFile = js.object()\n .with(\"filters\", [\n js.object()\n .with(\"pattern\", js.object()\n .with(\"glob\", \"**/*.ff\")\n .with(\"matches\", \"file\")\n )\n ].toArray())\n\n let o = js.object()\n .with(\"capabilities\", js.object()\n .with(\"textDocumentSync\", js.object()\n .with(\"openClose\", True)\n .with(\"change\", 1 /* TextDocumentSyncKind.Full */)\n )\n .with(\"hoverProvider\", False)\n //.with(\"definitionProvider\", True)\n //.with(\"typeDefinitionProvider\", True)\n .with(\"diagnosticProvider\", js.object()\n .with(\"interFileDependencies\", True)\n .with(\"workspaceDiagnostics\", False)\n )\n /*.with(\"workspace\", js.object()\n .with(\"workspaceFolders\", js.object()\n .with(\"supported\", True)\n .with(\"changeNotifications\", True)\n )\n .with(\"fileOperations\", js.object()\n .with(\"didCreate\", anyFireflyFile)\n .with(\"didRename\", anyFireflyFile)\n .with(\"didDelete\", anyFireflyFile)\n )\n )*/\n )\n .with(\"serverInfo\", js.object()\n .with(\"name\", \"Firefly Language Server\")\n .with(\"version\", \"0.0.0\")\n )\n Result(o)\n}\n\nhandleDiagnostic(js: JsSystem, parameters: Map[String, JsValue]): ResultOrError {\n let diagnostic = js.object()\n .with(\"range\", js.object()\n .with(\"start\", js.object()\n .with(\"line\", 0).with(\"character\", 6)\n )\n .with(\"end\", js.object()\n .with(\"line\", 0).with(\"character\", 20)\n )\n )\n .with(\"severity\", 1 /* Error */)\n .with(\"message\", \"Hurray!\")\n\n let o = js.object()\n .with(\"kind\", \"full\")\n .with(\"items\", [/*diagnostic*/].toArray())\n\n Result(o)\n}\n\nhandleHover(js: JsSystem, parameters: Map[String, JsValue]): ResultOrError {\n let o = js.object().with(\"contents\", \"TODO\")\n Result(o)\n}\n\nmakeNotificationMessage(js: JsSystem, method: String, params: JsValue): JsValue {\n js.object()\n .with(\"jsonrpc\", \"2.0\")\n .with(\"method\", method)\n .with(\"params\", params)\n}\n"}}}Content-Length: 162
8
+
9
+ {"jsonrpc":"2.0","id":1,"method":"textDocument/diagnostic","params":{"textDocument":{"uri":"file:///Users/ahnfelt/Downloads/firefly-boot/lsp/LanguageServer.ff"}}}Content-Length: 44
10
+
11
11
  {"jsonrpc":"2.0","id":2,"method":"shutdown"}
package/lsp/stdout.txt CHANGED
@@ -1,41 +1,41 @@
1
- Content-Length: 500
2
-
3
- {
4
- "jsonrpc": "2.0",
5
- "id": 0,
6
- "result": {
7
- "capabilities": {
8
- "textDocumentSync": {
9
- "openClose": true,
10
- "change": 1
11
- },
12
- "hoverProvider": false,
13
- "diagnosticProvider": {
14
- "interFileDependencies": true,
15
- "workspaceDiagnostics": false
16
- }
17
- },
18
- "serverInfo": {
19
- "name": "Firefly Language Server",
20
- "version": "0.0.0"
21
- }
22
- }
23
- }Content-Length: 104
24
-
25
- {
26
- "jsonrpc": "2.0",
27
- "id": 1,
28
- "result": {
29
- "kind": "full",
30
- "items": []
31
- }
32
- }Content-Length: 121
33
-
34
- {
35
- "jsonrpc": "2.0",
36
- "id": 2,
37
- "error": {
38
- "code": 1234,
39
- "message": "Unsupported method"
40
- }
1
+ Content-Length: 500
2
+
3
+ {
4
+ "jsonrpc": "2.0",
5
+ "id": 0,
6
+ "result": {
7
+ "capabilities": {
8
+ "textDocumentSync": {
9
+ "openClose": true,
10
+ "change": 1
11
+ },
12
+ "hoverProvider": false,
13
+ "diagnosticProvider": {
14
+ "interFileDependencies": true,
15
+ "workspaceDiagnostics": false
16
+ }
17
+ },
18
+ "serverInfo": {
19
+ "name": "Firefly Language Server",
20
+ "version": "0.0.0"
21
+ }
22
+ }
23
+ }Content-Length: 104
24
+
25
+ {
26
+ "jsonrpc": "2.0",
27
+ "id": 1,
28
+ "result": {
29
+ "kind": "full",
30
+ "items": []
31
+ }
32
+ }Content-Length: 121
33
+
34
+ {
35
+ "jsonrpc": "2.0",
36
+ "id": 2,
37
+ "error": {
38
+ "code": 1234,
39
+ "message": "Unsupported method"
40
+ }
41
41
  }
@@ -1 +1 @@
1
- package ff:lux:0.0.0
1
+ package ff:lux:0.0.0