Vs code lsp

README.md

@@ -1,2 +1,108 @@
 # harels
 Language Server Implementation for the Hare programming language
+
+Esta rama contiene una implementación en desarrollo de un Language Server Protocol (LSP) para Harels, con el objetivo de integrar el intérprete dentro de Visual Studio Code.
+
+## Objetivo de la rama
+
+Proveer soporte básico de lenguaje para Harels dentro de VS Code, incluyendo:
+
+* Comunicación cliente-servidor vía LSP
+* Procesamiento de mensajes desde el editor
+* Base para features como:
+
+  * Hover
+  * Autocompletado
+  * Validación sintáctica
+
+---
+
+## Componentes principales
+
+vscode/
+├── client/        # Extensión VS Code (TypeScript)
+├── server/        # Servidor LSP en Go
+└── src/           # Código fuente de la extensión
+
+
+### Cliente VS Code
+
+Implementado en TypeScript, maneja:
+
+* Conexión con el servidor LSP
+* Integración con el editor
+
+### Servidor (Go)
+
+Encargado de:
+
+* Procesar mensajes del cliente
+* Interpretar el código Harels
+* Enviar respuestas (diagnostics, etc.)
+
+## Requisitos
+
+* Go >= 1.24
+* Node.js (para la extensión)
+* npm
+
+## Pasos
+
+### 1. Clonar repositorio
+
+
+### 2. Instalar dependencias Go
+
+go mod tidy
+go mod vendor
+
+---
+
+### 3. Instalar dependencias del cliente
+cd vscode
+npm install
+
+## Ejecución
+
+### Ejecutar servidor LSP
+
+cd vscode/server
+go build
+
+
+### Ejecutar extensión en VS Code
+
+go run harels.go
+
+
+## Funciones
+
+* Comunicación cliente-servidor básica
+* Estructura inicial del LSP
+
+
+##  Relación con el intérprete
+
+El servidor LSP utiliza el parser generado con ANTLR para procesar código Harels.
+
+
+## Desarrollo
+
+Para extender el LSP:
+
+1. Implementar handlers en el servidor (server/)
+2. Conectar eventos en el cliente (client/)
+3. Integrar con el parser de Harels
+
+---
+
+##  Estado del proyecto
+
+En desarrollo activo — enfocado en integración con VS Code y soporte básico de lenguaje.
+
+---
+
+## License
+MIT — ver LICENSE .
+
+```

gen-grammar.py

@@ -0,0 +1,8 @@
+import re
+with open("./attributes.tex", "r") as file:
+    lines = file.read()
+    r = re.compile(r'\\terminal{(.*?)}')
+    for i in re.finditer(r, lines):
+        print(f"\'{i.groups()[0]}\' | ")
+
+

go.mod

@@ -0,0 +1,5 @@
+module lidsol.org/harels
+
+go 1.24.3
+
+require github.com/antlr/antlr4/runtime/Go/antlr v1.4.10

harels.go

@@ -0,0 +1,84 @@
+package main
+
+import (
+	"fmt"
+	"strconv"
+
+	"github.com/antlr/antlr4/runtime/Go/antlr"
+
+	"lidsol.org/harels/parser"
+)
+
+type calcListener struct {
+	*parser.BaseCalcListener
+	stack []int
+}
+
+func (l *calcListener) push(i int) {
+	l.stack = append(l.stack, i)
+}
+
+func (l *calcListener) pop() int {
+	if len(l.stack) < 1 {
+		panic("stack is empty")
+	}
+
+	result := l.stack[len(l.stack)-1]
+
+	l.stack = l.stack[:len(l.stack)-1]
+
+	return result
+}
+
+func (l *calcListener) ExitMulDiv(c *parser.MulDivContext) {
+	right, left := l.pop(), l.pop()
+
+	switch c.GetOp().GetTokenType() {
+	case parser.CalcParserMUL:
+		l.push(left * right)
+	case parser.CalcParserDIV:
+		l.push(left / right)
+	default:
+		panic(fmt.Sprintf("unexpected op: %s", c.GetOp().GetText()))
+	}
+}
+
+func (l *calcListener) ExitAddSub(c *parser.AddSubContext) {
+	right, left := l.pop(), l.pop()
+
+	switch c.GetOp().GetTokenType() {
+	case parser.CalcParserADD:
+		l.push(left + right)
+	case parser.CalcParserSUB:
+		l.push(left - right)
+	default:
+		panic(fmt.Sprintf("unexpected op: %s", c.GetOp().GetText()))
+	}
+}
+
+func (l *calcListener) ExitNumber(c *parser.NumberContext) {
+	i, err := strconv.Atoi(c.GetText())
+	if err != nil {
+		panic(err.Error())
+	}
+
+	l.push(i)
+}
+
+func calc(input string) int {
+	is := antlr.NewInputStream(input)
+
+	lexer := parser.NewCalcLexer(is)
+	stream := antlr.NewCommonTokenStream(lexer, antlr.TokenDefaultChannel)
+
+	p := parser.NewCalcParser(stream)
+
+	var listener calcListener
+	antlr.ParseTreeWalkerDefault.Walk(&listener, p.Start())
+
+	return listener.pop()
+}
+
+func main() {
+	fmt.Println(calc("1 + 2 * 3"))
+}

package.json

@@ -0,0 +1,25 @@
+{
+  "name": "harels",
+  "version": "1.0.0",
+  "description": "Language Server for Hare Language",
+  "keywords": [
+    "Hare",
+    "language",
+    "server"
+  ],
+  "homepage": "https://github.com/LIDSOL/harels#readme",
+  "bugs": {
+    "url": "https://github.com/LIDSOL/harels/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/LIDSOL/harels.git"
+  },
+  "license": "MIT",
+  "author": "Lidsol",
+  "type": "commonjs",
+  "main": "./client/dist/extension.js",
+  "scripts": {
+    "test": "sh ./scripts/e2e.sh"
+  }
+}

parser/Calc.interp

@@ -0,0 +1,25 @@
+token literal names:
+null
+'*'
+'/'
+'+'
+'-'
+null
+null
+
+token symbolic names:
+null
+MUL
+DIV
+ADD
+SUB
+NUMBER
+WHITESPACE
+
+rule names:
+start
+expression
+
+
+atn:
+[4, 1, 6, 22, 2, 0, 7, 0, 2, 1, 7, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 17, 8, 1, 10, 1, 12, 1, 20, 9, 1, 1, 1, 0, 1, 2, 2, 0, 2, 0, 2, 1, 0, 1, 2, 1, 0, 3, 4, 21, 0, 4, 1, 0, 0, 0, 2, 7, 1, 0, 0, 0, 4, 5, 3, 2, 1, 0, 5, 6, 5, 0, 0, 1, 6, 1, 1, 0, 0, 0, 7, 8, 6, 1, -1, 0, 8, 9, 5, 5, 0, 0, 9, 18, 1, 0, 0, 0, 10, 11, 10, 3, 0, 0, 11, 12, 7, 0, 0, 0, 12, 17, 3, 2, 1, 4, 13, 14, 10, 2, 0, 0, 14, 15, 7, 1, 0, 0, 15, 17, 3, 2, 1, 3, 16, 10, 1, 0, 0, 0, 16, 13, 1, 0, 0, 0, 17, 20, 1, 0, 0, 0, 18, 16, 1, 0, 0, 0, 18, 19, 1, 0, 0, 0, 19, 3, 1, 0, 0, 0, 20, 18, 1, 0, 0, 0, 2, 16, 18]

parser/Calc.tokens

@@ -0,0 +1,10 @@
+MUL=1
+DIV=2
+ADD=3
+SUB=4
+NUMBER=5
+WHITESPACE=6
+'*'=1
+'/'=2
+'+'=3
+'-'=4

parser/CalcLexer.interp

@@ -0,0 +1,35 @@
+token literal names:
+null
+'*'
+'/'
+'+'
+'-'
+null
+null
+
+token symbolic names:
+null
+MUL
+DIV
+ADD
+SUB
+NUMBER
+WHITESPACE
+
+rule names:
+MUL
+DIV
+ADD
+SUB
+NUMBER
+WHITESPACE
+
+channel names:
+DEFAULT_TOKEN_CHANNEL
+HIDDEN
+
+mode names:
+DEFAULT_MODE
+
+atn:
+[4, 0, 6, 33, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 1, 0, 1, 0, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3, 1, 3, 1, 4, 4, 4, 23, 8, 4, 11, 4, 12, 4, 24, 1, 5, 4, 5, 28, 8, 5, 11, 5, 12, 5, 29, 1, 5, 1, 5, 0, 0, 6, 1, 1, 3, 2, 5, 3, 7, 4, 9, 5, 11, 6, 1, 0, 2, 1, 0, 48, 57, 3, 0, 9, 10, 13, 13, 32, 32, 34, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 0, 0, 5, 1, 0, 0, 0, 0, 7, 1, 0, 0, 0, 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 1, 13, 1, 0, 0, 0, 3, 15, 1, 0, 0, 0, 5, 17, 1, 0, 0, 0, 7, 19, 1, 0, 0, 0, 9, 22, 1, 0, 0, 0, 11, 27, 1, 0, 0, 0, 13, 14, 5, 42, 0, 0, 14, 2, 1, 0, 0, 0, 15, 16, 5, 47, 0, 0, 16, 4, 1, 0, 0, 0, 17, 18, 5, 43, 0, 0, 18, 6, 1, 0, 0, 0, 19, 20, 5, 45, 0, 0, 20, 8, 1, 0, 0, 0, 21, 23, 7, 0, 0, 0, 22, 21, 1, 0, 0, 0, 23, 24, 1, 0, 0, 0, 24, 22, 1, 0, 0, 0, 24, 25, 1, 0, 0, 0, 25, 10, 1, 0, 0, 0, 26, 28, 7, 1, 0, 0, 27, 26, 1, 0, 0, 0, 28, 29, 1, 0, 0, 0, 29, 27, 1, 0, 0, 0, 29, 30, 1, 0, 0, 0, 30, 31, 1, 0, 0, 0, 31, 32, 6, 5, 0, 0, 32, 12, 1, 0, 0, 0, 3, 0, 24, 29, 1, 6, 0, 0]

parser/CalcLexer.tokens

@@ -0,0 +1,10 @@
+MUL=1
+DIV=2
+ADD=3
+SUB=4
+NUMBER=5
+WHITESPACE=6
+'*'=1
+'/'=2
+'+'=3
+'-'=4