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.
- package/.hintrc +4 -4
- package/.vscode/settings.json +4 -4
- package/bin/Release.ff +153 -153
- package/bin/firefly.mjs +1 -1
- package/compiler/Builder.ff +257 -257
- package/compiler/Compiler.ff +227 -227
- package/compiler/Dependencies.ff +186 -186
- package/compiler/DependencyLock.ff +17 -17
- package/compiler/JsEmitter.ff +946 -946
- package/compiler/LspHook.ff +202 -202
- package/compiler/ModuleCache.ff +178 -178
- package/compiler/Workspace.ff +88 -88
- package/core/.firefly/include/package-lock.json +394 -394
- package/core/.firefly/include/package.json +5 -5
- package/core/.firefly/include/prepare.sh +1 -1
- package/core/.firefly/package.ff +2 -2
- package/core/Array.ff +265 -265
- package/core/Atomic.ff +64 -64
- package/core/Box.ff +7 -7
- package/core/BrowserSystem.ff +40 -40
- package/core/BuildSystem.ff +148 -148
- package/core/Crypto.ff +96 -96
- package/core/Equal.ff +36 -36
- package/core/HttpClient.ff +87 -87
- package/core/JsSystem.ff +69 -69
- package/core/Json.ff +434 -434
- package/core/List.ff +486 -486
- package/core/Lock.ff +144 -144
- package/core/NodeSystem.ff +195 -189
- package/core/Ordering.ff +161 -161
- package/core/Path.ff +401 -401
- package/core/Random.ff +134 -134
- package/core/RbMap.ff +216 -216
- package/core/Show.ff +43 -43
- package/core/SourceLocation.ff +68 -68
- package/core/Task.ff +141 -141
- package/experimental/benchmarks/ListGrab.ff +23 -23
- package/experimental/benchmarks/ListGrab.java +55 -55
- package/experimental/benchmarks/Pyrotek45.ff +30 -30
- package/experimental/benchmarks/Pyrotek45.java +64 -64
- package/experimental/bidirectional/Bidi.ff +88 -88
- package/experimental/random/Index.ff +53 -53
- package/experimental/random/Process.ff +120 -120
- package/experimental/random/Scrape.ff +51 -51
- package/experimental/random/Symbols.ff +73 -73
- package/experimental/random/Tensor.ff +52 -52
- package/experimental/random/Units.ff +36 -36
- package/experimental/s3/S3TestAuthorizationHeader.ff +38 -38
- package/experimental/s3/S3TestPut.ff +15 -15
- package/experimental/tests/TestJson.ff +26 -26
- package/firefly.sh +0 -0
- package/fireflysite/Main.ff +13 -13
- package/lsp/.firefly/package.ff +1 -1
- package/lsp/CompletionHandler.ff +808 -808
- package/lsp/Handler.ff +714 -714
- package/lsp/HoverHandler.ff +79 -79
- package/lsp/LanguageServer.ff +272 -272
- package/lsp/SignatureHelpHandler.ff +55 -55
- package/lsp/SymbolHandler.ff +181 -181
- package/lsp/TestReferences.ff +16 -16
- package/lsp/TestReferencesCase.ff +7 -7
- package/lsp/stderr.txt +1 -1
- package/lsp/stdin.txt +10 -10
- package/lsp/stdout.txt +40 -40
- package/lux/.firefly/package.ff +1 -1
- package/lux/Css.ff +648 -648
- package/lux/CssTest.ff +48 -48
- package/lux/Lux.ff +487 -487
- package/lux/LuxEvent.ff +116 -116
- package/lux/Main.ff +128 -128
- package/lux/Main2.ff +144 -144
- package/output/js/ff/compiler/Builder.mjs +43 -43
- package/output/js/ff/compiler/Dependencies.mjs +3 -3
- package/output/js/ff/core/Array.mjs +59 -59
- package/output/js/ff/core/Atomic.mjs +36 -36
- package/output/js/ff/core/BrowserSystem.mjs +11 -11
- package/output/js/ff/core/BuildSystem.mjs +30 -30
- package/output/js/ff/core/Crypto.mjs +40 -40
- package/output/js/ff/core/HttpClient.mjs +24 -24
- package/output/js/ff/core/Json.mjs +147 -147
- package/output/js/ff/core/List.mjs +50 -50
- package/output/js/ff/core/Lock.mjs +97 -97
- package/output/js/ff/core/NodeSystem.mjs +83 -77
- package/output/js/ff/core/Ordering.mjs +8 -8
- package/output/js/ff/core/Path.mjs +231 -231
- package/output/js/ff/core/Random.mjs +56 -56
- package/output/js/ff/core/Task.mjs +31 -31
- package/package.json +1 -1
- package/rpc/.firefly/package.ff +1 -1
- package/rpc/Rpc.ff +69 -69
- package/s3/.firefly/package.ff +1 -1
- package/s3/S3.ff +90 -90
- package/unsafejs/UnsafeJs.ff +19 -19
- package/vscode/LICENSE.txt +21 -21
- package/vscode/Prepublish.ff +15 -15
- package/vscode/README.md +16 -16
- package/vscode/client/package.json +22 -22
- package/vscode/client/src/extension.ts +104 -104
- package/vscode/icons/firefly-icon.svg +10 -10
- package/vscode/language-configuration.json +61 -61
- package/vscode/package-lock.json +3623 -3623
- package/vscode/package.json +1 -1
- package/vscode/snippets.json +241 -241
- package/webserver/.firefly/include/package-lock.json +16 -16
- package/webserver/.firefly/include/package.json +5 -5
- package/webserver/.firefly/package.ff +2 -2
- package/webserver/WebServer.ff +685 -685
- package/websocket/.firefly/package.ff +1 -1
- package/websocket/WebSocket.ff +131 -131
package/lsp/SymbolHandler.ff
CHANGED
|
@@ -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
|
+
}
|
package/lsp/TestReferences.ff
CHANGED
|
@@ -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
|
}
|
package/lux/.firefly/package.ff
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
package ff:lux:0.0.0
|
|
1
|
+
package ff:lux:0.0.0
|