feat(server): implement file synchronization methods and publish diagnostic notifications

go.mod

@@ -3,7 +3,7 @@ module github.com/goplus/goxlsw
 go 1.23.4
 
 require (
-	github.com/goplus/gogen v1.16.7
+	github.com/goplus/gogen v1.16.8
 	github.com/goplus/gop v1.3.6
 	github.com/goplus/mod v0.13.17
 	github.com/goplus/spx v1.1.1-0.20250214074125-e9e1f6362499

go.sum

@@ -20,8 +20,8 @@ github.com/golang/freetype v0.0.0-20170609003504-e2365dfdc4a0 h1:DACJavvAHhabrF0
 github.com/golang/freetype v0.0.0-20170609003504-e2365dfdc4a0/go.mod h1:E/TSTwGwJL78qG/PmXZO1EjYhfJinVAhrmmHX6Z8B9k=
 github.com/goplus/canvas v0.1.0 h1:Vx3f2+U8UANvWf5/01YsQYKNbZDm1GZCjhlEBFrQkeU=
 github.com/goplus/canvas v0.1.0/go.mod h1:Rhcvo5qkpD9WuXFnvnXtrBSY97l6h7sXQuofrmiLNdM=
-github.com/goplus/gogen v1.16.7 h1:OVN6byjWVtzs4plS7q80h747Jh8G7J+VUPN0L9YWQ68=
-github.com/goplus/gogen v1.16.7/go.mod h1:6TQYbabXDF9LCdDkOOzHmfg1R4ENfXQ3XpHa9RhTSD8=
+github.com/goplus/gogen v1.16.8 h1:idakC+4OZIAvDSi3wkPGHlhpNEd7xkmvodXDMDvfn4s=
+github.com/goplus/gogen v1.16.8/go.mod h1:6TQYbabXDF9LCdDkOOzHmfg1R4ENfXQ3XpHa9RhTSD8=
 github.com/goplus/gop v1.3.6 h1:I9GUJXt+elFXjO3tNi/BXWiR7MujHoxrdawLQfMPrTM=
 github.com/goplus/gop v1.3.6/go.mod h1:grsLKBbSesOXhwXH9tktcXHi+SBOn/yk4LKsL3dRmMg=
 github.com/goplus/mod v0.13.17 h1:aWp14xosENrh7t0/0qcIejDmQEiTgI3ou2+KoLDlSlE=

gop/proj.go

@@ -65,7 +65,9 @@ type fileKey struct {
 type File = *FileImpl
 type FileImpl struct {
 	Content []byte
+	// Deprecated: ModTime is no longer supported due to lsp text sync specification. Use Version instead.
 	ModTime time.Time
+	Version int
 }
 
 // Project represents a project.
@@ -276,6 +278,7 @@ func (p *Project) FileCache(kind, path string) (any, error) {
 	if !ok {
 		return nil, fs.ErrNotExist
 	}
+
 	data, err := builder(p, path, file)
 	p.fileCaches.Store(key, encodeDataOrErr(data, err))
 	return data, err
@@ -290,6 +293,7 @@ func (p *Project) Cache(kind string) (any, error) {
 	if !ok {
 		return nil, ErrUnknownKind
 	}
+
 	data, err := builder(p)
 	p.caches.Store(kind, encodeDataOrErr(data, err))
 	return data, err

internal/server/server.go

@@ -7,6 +7,8 @@
 	"slices"
 	"strings"
 
+	gopast "github.com/goplus/gop/ast"
+	goptoken "github.com/goplus/gop/token"
 	"github.com/goplus/goxlsw/gop"
 	"github.com/goplus/goxlsw/internal/analysis"
 	"github.com/goplus/goxlsw/internal/vfs"
@@ -242,25 +244,26 @@
 		if err := UnmarshalJSON(n.Params(), &params); err != nil {
 			return fmt.Errorf("failed to parse didOpen params: %w", err)
 		}
-		return errors.New("TODO")
+
+		return s.didOpen(&params)
 	case "textDocument/didChange":
 		var params DidChangeTextDocumentParams
 		if err := UnmarshalJSON(n.Params(), &params); err != nil {
 			return fmt.Errorf("failed to parse didChange params: %w", err)
 		}
-		return errors.New("TODO")
+		return s.didChange(&params)
 	case "textDocument/didSave":
 		var params DidSaveTextDocumentParams
 		if err := UnmarshalJSON(n.Params(), &params); err != nil {
 			return fmt.Errorf("failed to parse didSave params: %w", err)
 		}
-		return errors.New("TODO")
+		return s.didSave(&params)
 	case "textDocument/didClose":
 		var params DidCloseTextDocumentParams
 		if err := UnmarshalJSON(n.Params(), &params); err != nil {
 			return fmt.Errorf("failed to parse didClose params: %w", err)
 		}
-		return errors.New("TODO")
+		return s.didClose(&params)
 	}
 	return nil
 }
@@ -333,3 +336,40 @@
 func (s *Server) toDocumentURI(path string) DocumentURI {
 	return DocumentURI(string(s.workspaceRootURI) + path)
 }
+
+// fromPosition converts a token.Position to an LSP Position.
+func (s *Server) fromPosition(astFile *gopast.File, position goptoken.Position) Position {
+	tokenFile := s.getProj().Fset.File(astFile.Pos())
+
+	line := position.Line
+	lineStart := int(tokenFile.LineStart(line))
+	relLineStart := lineStart - tokenFile.Base()
+	lineContent := astFile.Code[relLineStart : relLineStart+position.Column-1]
+	utf16Offset := utf8OffsetToUTF16(string(lineContent), position.Column-1)
+
+	return Position{
+		Line:      uint32(position.Line - 1),
+		Character: uint32(utf16Offset),
+	}
+}
+
+// rangeForASTFilePosition returns a [Range] for the given position in an AST file.
+func (s *Server) rangeForASTFilePosition(astFile *gopast.File, position goptoken.Position) Range {
+	p := s.fromPosition(astFile, position)
+	return Range{Start: p, End: p}
+}
+
+// rangeForPos returns the [Range] for the given position.
+func (s *Server) rangeForPos(pos goptoken.Pos) Range {
+	return s.rangeForASTFilePosition(s.posASTFile(pos), s.getProj().Fset.Position(pos))
+}
+
+// posASTFile returns the AST file for the given position.
+func (s *Server) posASTFile(pos goptoken.Pos) *gopast.File {
+	return getASTPkg(s.getProj()).Files[s.posFilename(pos)]
+}
+
+// posFilename returns the filename for the given position.
+func (s *Server) posFilename(pos goptoken.Pos) string {
+	return s.getProj().Fset.Position(pos).Filename
+}