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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
|
// Summary: Code Action handlers and helpers split from handlers.go for clarity.
package lsp
import (
"context"
"encoding/json"
"fmt"
"os"
"path/filepath"
"strings"
"time"
"codeberg.org/snonux/hexai/internal/llm"
"codeberg.org/snonux/hexai/internal/logging"
)
func (s *Server) handleCodeAction(req Request) {
var p CodeActionParams
if err := json.Unmarshal(req.Params, &p); err != nil {
if len(req.ID) != 0 {
s.reply(req.ID, []CodeAction{}, nil)
}
return
}
d := s.getDocument(p.TextDocument.URI)
if d == nil || len(d.lines) == 0 || s.llmClient == nil {
if len(req.ID) != 0 {
s.reply(req.ID, []CodeAction{}, nil)
}
return
}
sel := extractRangeText(d, p.Range)
actions := make([]CodeAction, 0, 4)
if a := s.buildRewriteCodeAction(p, sel); a != nil {
actions = append(actions, *a)
}
if a := s.buildDiagnosticsCodeAction(p, sel); a != nil {
actions = append(actions, *a)
}
if a := s.buildDocumentCodeAction(p, sel); a != nil {
actions = append(actions, *a)
}
if a := s.buildGoUnitTestCodeAction(p); a != nil {
actions = append(actions, *a)
}
if len(req.ID) != 0 {
s.reply(req.ID, actions, nil)
}
}
func (s *Server) buildRewriteCodeAction(p CodeActionParams, sel string) *CodeAction {
if instr, cleaned := instructionFromSelection(sel); strings.TrimSpace(instr) != "" {
payload := struct {
Type string `json:"type"`
URI string `json:"uri"`
Range Range `json:"range"`
Instruction string `json:"instruction"`
Selection string `json:"selection"`
}{Type: "rewrite", URI: p.TextDocument.URI, Range: p.Range, Instruction: instr, Selection: cleaned}
raw, _ := json.Marshal(payload)
ca := CodeAction{Title: "Hexai: rewrite selection", Kind: "refactor.rewrite", Data: raw}
return &ca
}
return nil
}
func (s *Server) buildDiagnosticsCodeAction(p CodeActionParams, sel string) *CodeAction {
diags := s.diagnosticsInRange(p.Context, p.Range)
if len(diags) == 0 {
return nil
}
payload := struct {
Type string `json:"type"`
URI string `json:"uri"`
Range Range `json:"range"`
Selection string `json:"selection"`
Diagnostics []Diagnostic `json:"diagnostics"`
}{Type: "diagnostics", URI: p.TextDocument.URI, Range: p.Range, Selection: sel, Diagnostics: diags}
raw, _ := json.Marshal(payload)
ca := CodeAction{Title: "Hexai: resolve diagnostics", Kind: "quickfix", Data: raw}
return &ca
}
func (s *Server) resolveCodeAction(ca CodeAction) (CodeAction, bool) {
if s.llmClient == nil || len(ca.Data) == 0 {
return ca, false
}
var payload struct {
Type string `json:"type"`
URI string `json:"uri"`
Range Range `json:"range"`
Instruction string `json:"instruction,omitempty"`
Selection string `json:"selection"`
Diagnostics []Diagnostic `json:"diagnostics,omitempty"`
}
if err := json.Unmarshal(ca.Data, &payload); err != nil {
return ca, false
}
switch payload.Type {
case "rewrite":
sys := "You are a precise code refactoring engine. Rewrite the given code strictly according to the instruction. Return only the updated code with no prose or backticks. Preserve formatting where reasonable."
user := fmt.Sprintf("Instruction: %s\n\nSelected code to transform:\n%s", payload.Instruction, payload.Selection)
ctx, cancel := context.WithTimeout(context.Background(), 10*time.Second)
defer cancel()
messages := []llm.Message{{Role: "system", Content: sys}, {Role: "user", Content: user}}
opts := s.llmRequestOpts()
if text, err := s.llmClient.Chat(ctx, messages, opts...); err == nil {
if out := stripCodeFences(strings.TrimSpace(text)); out != "" {
edit := WorkspaceEdit{Changes: map[string][]TextEdit{payload.URI: {{Range: payload.Range, NewText: out}}}}
ca.Edit = &edit
return ca, true
}
} else {
logging.Logf("lsp ", "codeAction rewrite llm error: %v", err)
}
case "diagnostics":
sys := "You are a precise code fixer. Resolve the given diagnostics by editing only the selected code. Return only the corrected code with no prose or backticks. Keep behavior and style, and avoid unrelated changes."
var b strings.Builder
b.WriteString("Diagnostics to resolve (selection only):\n")
for i, dgn := range payload.Diagnostics {
if dgn.Source != "" {
fmt.Fprintf(&b, "%d. [%s] %s\n", i+1, dgn.Source, dgn.Message)
} else {
fmt.Fprintf(&b, "%d. %s\n", i+1, dgn.Message)
}
}
b.WriteString("\nSelected code:\n")
b.WriteString(payload.Selection)
ctx, cancel := context.WithTimeout(context.Background(), 12*time.Second)
defer cancel()
messages := []llm.Message{{Role: "system", Content: sys}, {Role: "user", Content: b.String()}}
opts := s.llmRequestOpts()
if text, err := s.llmClient.Chat(ctx, messages, opts...); err == nil {
if out := stripCodeFences(strings.TrimSpace(text)); out != "" {
edit := WorkspaceEdit{Changes: map[string][]TextEdit{payload.URI: {{Range: payload.Range, NewText: out}}}}
ca.Edit = &edit
return ca, true
}
} else {
logging.Logf("lsp ", "codeAction diagnostics llm error: %v", err)
}
case "document":
sys := "You are a precise code documentation engine. Add idiomatic documentation comments to the given code. Preserve exact behavior and formatting as much as possible. Return only the updated code with comments, no prose or backticks."
user := "Add documentation comments to this code:\n" + payload.Selection
ctx, cancel := context.WithTimeout(context.Background(), 10*time.Second)
defer cancel()
messages := []llm.Message{{Role: "system", Content: sys}, {Role: "user", Content: user}}
opts := s.llmRequestOpts()
if text, err := s.llmClient.Chat(ctx, messages, opts...); err == nil {
if out := stripCodeFences(strings.TrimSpace(text)); out != "" {
edit := WorkspaceEdit{Changes: map[string][]TextEdit{payload.URI: {{Range: payload.Range, NewText: out}}}}
ca.Edit = &edit
return ca, true
}
} else {
logging.Logf("lsp ", "codeAction document llm error: %v", err)
}
case "go_test":
if edit, jumpURI, jumpRange, ok := s.resolveGoTest(payload.URI, payload.Range.Start); ok {
ca.Edit = &edit
// After edit is applied, ask client to jump to new test function
ca.Command = &Command{Title: "Jump to generated test", Command: "hexai.showDocument", Arguments: []any{jumpURI, jumpRange}}
// Also send a server-initiated showDocument shortly after resolve to cover
// clients that do not execute commands from code actions.
s.deferShowDocument(jumpURI, jumpRange)
return ca, true
}
}
return ca, false
}
func (s *Server) handleCodeActionResolve(req Request) {
var ca CodeAction
if err := json.Unmarshal(req.Params, &ca); err != nil {
if len(req.ID) != 0 {
s.reply(req.ID, ca, nil)
}
return
}
if resolved, ok := s.resolveCodeAction(ca); ok {
s.reply(req.ID, resolved, nil)
return
}
s.reply(req.ID, ca, nil)
}
// diagnosticsInRange parses the CodeAction context and returns diagnostics
// that overlap the given selection range. If the context is missing or does
// not contain diagnostics, returns an empty slice.
func (s *Server) diagnosticsInRange(ctxRaw json.RawMessage, sel Range) []Diagnostic {
if len(ctxRaw) == 0 {
return nil
}
var ctx CodeActionContext
if err := json.Unmarshal(ctxRaw, &ctx); err != nil {
return nil
}
if len(ctx.Diagnostics) == 0 {
return nil
}
out := make([]Diagnostic, 0, len(ctx.Diagnostics))
for _, d := range ctx.Diagnostics {
if rangesOverlap(d.Range, sel) {
out = append(out, d)
}
}
return out
}
// rangesOverlap reports whether two LSP ranges overlap at all.
func rangesOverlap(a, b Range) bool {
// Normalize ordering
if greaterPos(a.Start, a.End) {
a.Start, a.End = a.End, a.Start
}
if greaterPos(b.Start, b.End) {
b.Start, b.End = b.End, b.Start
}
// a ends before b starts
if lessPos(a.End, b.Start) {
return false
}
// b ends before a starts
if lessPos(b.End, a.Start) {
return false
}
return true
}
func lessPos(p, q Position) bool {
if p.Line != q.Line {
return p.Line < q.Line
}
return p.Character < q.Character
}
func greaterPos(p, q Position) bool {
if p.Line != q.Line {
return p.Line > q.Line
}
return p.Character > q.Character
}
// --- Go unit test code action ---
func (s *Server) buildGoUnitTestCodeAction(p CodeActionParams) *CodeAction {
uri := p.TextDocument.URI
if uri == "" || !strings.HasSuffix(strings.TrimPrefix(uri, "file://"), ".go") {
return nil
}
// Skip if already a _test.go file
if strings.HasSuffix(strings.TrimPrefix(uri, "file://"), "_test.go") {
return nil
}
// Heuristic: only offer when a function context is found above the cursor
_, _, _, funcCtx := s.lineContext(uri, p.Range.Start)
if !strings.Contains(funcCtx, "func ") {
return nil
}
payload := struct {
Type string `json:"type"`
URI string `json:"uri"`
Range Range `json:"range"`
}{Type: "go_test", URI: uri, Range: p.Range}
raw, _ := json.Marshal(payload)
ca := CodeAction{Title: "Hexai: implement unit test", Kind: "quickfix", Data: raw}
return &ca
}
// buildDocumentCodeAction offers to document the selected code by injecting comments.
func (s *Server) buildDocumentCodeAction(p CodeActionParams, sel string) *CodeAction {
if s.llmClient == nil {
return nil
}
if strings.TrimSpace(sel) == "" {
return nil
}
payload := struct {
Type string `json:"type"`
URI string `json:"uri"`
Range Range `json:"range"`
Selection string `json:"selection"`
}{Type: "document", URI: p.TextDocument.URI, Range: p.Range, Selection: sel}
raw, _ := json.Marshal(payload)
ca := CodeAction{Title: "Hexai: document code", Kind: "refactor.rewrite", Data: raw}
return &ca
}
func (s *Server) resolveGoTest(uri string, pos Position) (WorkspaceEdit, string, Range, bool) {
path := strings.TrimPrefix(uri, "file://")
if !strings.HasSuffix(path, ".go") || strings.HasSuffix(path, "_test.go") {
return WorkspaceEdit{}, "", Range{}, false
}
// Load source text
_, lines := s.loadFileText(uri)
if len(lines) == 0 {
return WorkspaceEdit{}, "", Range{}, false
}
pkg := parseGoPackageName(lines)
fnStart, fnEnd := findGoFunctionAtLine(lines, pos.Line)
if fnStart < 0 || fnEnd < fnStart {
return WorkspaceEdit{}, "", Range{}, false
}
funcCode := strings.Join(lines[fnStart:fnEnd+1], "\n")
testFunc := s.generateGoTestFunction(funcCode)
if strings.TrimSpace(testFunc) == "" {
return WorkspaceEdit{}, "", Range{}, false
}
// Determine test file target
testPath := strings.TrimSuffix(path, ".go") + "_test.go"
testURI := "file://" + testPath
// If test file exists, append test at EOF; otherwise, create a new file with package+import
if fileExists(testPath) {
// Build an insertion at end of file
_, tLines := s.loadFileText(testURI)
// Fallback when not open and cannot read: still insert at line 0
lineIdx := 0
col := 0
if len(tLines) > 0 {
lineIdx = len(tLines) - 1
col = len(tLines[lineIdx])
}
var b strings.Builder
// Ensure at least two newlines before the new test
if len(tLines) == 0 || (len(tLines) > 0 && !strings.HasSuffix(strings.Join(tLines, "\n"), "\n\n")) {
b.WriteString("\n\n")
}
b.WriteString(testFunc)
insert := b.String()
edit := TextEdit{Range: Range{Start: Position{Line: lineIdx, Character: col}, End: Position{Line: lineIdx, Character: col}}, NewText: insert}
we := WorkspaceEdit{Changes: map[string][]TextEdit{testURI: {edit}}}
// Compute jump range start
// Count how many prefix newlines added before the test function
prefixNL := 0
if strings.HasPrefix(insert, "\n\n") {
prefixNL = 2
}
startLine := lineIdx + prefixNL
// If we inserted with two newlines and last line wasn't blank, first newline moves to next line
if prefixNL > 0 {
startLine = lineIdx + prefixNL
}
jump := Range{Start: Position{Line: startLine, Character: 0}, End: Position{Line: startLine, Character: 0}}
return we, testURI, jump, true
}
// Create new file content
var content strings.Builder
if pkg == "" {
pkg = filepath.Base(filepath.Dir(path))
}
content.WriteString("package ")
content.WriteString(pkg)
content.WriteString("\n\n")
content.WriteString("import (\n\t\"testing\"\n)\n\n")
content.WriteString(testFunc)
full := content.String()
// Use documentChanges with create + full content insert
create := CreateFile{Kind: "create", URI: testURI}
tde := TextDocumentEdit{TextDocument: VersionedTextDocumentIdentifier{URI: testURI}, Edits: []TextEdit{{Range: Range{Start: Position{Line: 0, Character: 0}, End: Position{Line: 0, Character: 0}}, NewText: full}}}
we := WorkspaceEdit{DocumentChanges: []any{create, tde}}
// Find start line of first test function
// Count lines before the substring "func Test"
pre := content.String()
idx := strings.Index(pre, "func Test")
startLine := 0
if idx > 0 {
before := pre[:idx]
startLine = strings.Count(before, "\n")
}
jump := Range{Start: Position{Line: startLine, Character: 0}, End: Position{Line: startLine, Character: 0}}
return we, testURI, jump, true
}
// loadFileText returns the file content and lines. It prefers the open document; otherwise reads from disk.
func (s *Server) loadFileText(uri string) (string, []string) {
if d := s.getDocument(uri); d != nil {
return d.text, append([]string{}, d.lines...)
}
path := strings.TrimPrefix(uri, "file://")
b, err := os.ReadFile(path)
if err != nil {
return "", nil
}
txt := string(b)
return txt, splitLines(txt)
}
func fileExists(path string) bool {
if _, err := os.Stat(path); err == nil {
return true
}
return false
}
// parseGoPackageName returns the package name from file lines, or empty if not found.
func parseGoPackageName(lines []string) string {
for _, ln := range lines {
t := strings.TrimSpace(ln)
if strings.HasPrefix(t, "package ") {
name := strings.TrimSpace(strings.TrimPrefix(t, "package "))
// strip inline comments
if i := strings.Index(name, " "); i >= 0 {
name = name[:i]
}
if i := strings.Index(name, "\t"); i >= 0 {
name = name[:i]
}
if i := strings.Index(name, "//"); i >= 0 {
name = strings.TrimSpace(name[:i])
}
return name
}
}
return ""
}
// findGoFunctionAtLine finds the function enclosing or preceding line idx. Returns start and end line indexes.
func findGoFunctionAtLine(lines []string, idx int) (int, int) {
if idx < 0 {
idx = 0
}
if idx >= len(lines) {
idx = len(lines) - 1
}
// find signature start
start := -1
for i := idx; i >= 0; i-- {
if strings.Contains(lines[i], "func ") {
start = i
break
}
if strings.Contains(lines[i], "}") {
break
}
}
if start == -1 {
return -1, -1
}
// find first '{'
depth := 0
seenOpen := false
for i := start; i < len(lines); i++ {
ln := lines[i]
for j := 0; j < len(ln); j++ {
switch ln[j] {
case '{':
depth++
seenOpen = true
case '}':
if depth > 0 {
depth--
}
if seenOpen && depth == 0 {
return start, i
}
}
}
}
// if never saw '{', assume single-line prototype; return that line
if !seenOpen {
return start, start
}
return start, -1
}
// generateGoTestFunction uses LLM to produce a test function; falls back to a stub when unavailable.
func (s *Server) generateGoTestFunction(funcCode string) string {
if s.llmClient != nil {
sys := "You are a precise Go unit test generator. Given a Go function, write one or more Test* functions using the testing package. Do NOT include package or imports, only the test function(s). Prefer table-driven tests. Keep it minimal and idiomatic."
user := "Function under test:\n" + funcCode
ctx, cancel := context.WithTimeout(context.Background(), 8*time.Second)
defer cancel()
messages := []llm.Message{{Role: "system", Content: sys}, {Role: "user", Content: user}}
opts := s.llmRequestOpts()
if out, err := s.llmClient.Chat(ctx, messages, opts...); err == nil {
cleaned := strings.TrimSpace(stripCodeFences(out))
if cleaned != "" {
return cleaned
}
} else {
logging.Logf("lsp ", "codeAction go_test llm error: %v", err)
}
}
// Fallback stub
name := deriveGoFuncName(funcCode)
if name == "" {
name = "Function"
}
return fmt.Sprintf("func Test%s(t *testing.T) {\n\t// TODO: implement tests for %s\n}\n", exportName(name), name)
}
// deriveGoFuncName extracts function or method name from code.
func deriveGoFuncName(code string) string {
// look for line starting with func
line := firstLine(code)
line = strings.TrimSpace(line)
if !strings.HasPrefix(line, "func ") {
return ""
}
rest := strings.TrimSpace(strings.TrimPrefix(line, "func "))
// method receiver
if strings.HasPrefix(rest, "(") {
// find ")"
if i := strings.Index(rest, ")"); i >= 0 && i+1 < len(rest) {
rest = strings.TrimSpace(rest[i+1:])
}
}
// now rest should start with Name(
if i := strings.Index(rest, "("); i > 0 {
return strings.TrimSpace(rest[:i])
}
return ""
}
func exportName(name string) string {
if name == "" {
return name
}
r := []rune(name)
if r[0] >= 'a' && r[0] <= 'z' {
r[0] = r[0] - ('a' - 'A')
}
return string(r)
}
|