Parsing Tree-sitter

Parse código fonte em arvores de sintaxe concretas usando Tree-sitter. Baseado nos bindings go-tree-sitter.

Tree-sitter produz arvores de sintaxe que:

• Representam a estrutura completa do código fonte
• Atualizam incrementalmente conforme o código muda
• Sao robustas a erros de sintaxe (parsing parcial)
• Suportam queries baseadas em padroes usando S-expressions

Carregamento

local treesitter = require("treesitter")

Linguagens Suportadas

local langs = treesitter.supported_languages()
-- {go = true, javascript = true, python = true, ...}

Quick Start

Parse de Código

local code = [[
func hello() {
    return "Hello!"
}
]]

local tree, err = treesitter.parse("go", code)
if err then
    return nil, err
end

local root = tree:root_node()
print(root:kind())        -- "source_file"
print(root:child_count()) -- numero de declaracoes top-level

Query na Arvore de Sintaxe

local code = [[
func hello() {}
func world() {}
]]

local tree = treesitter.parse("go", code)
local root = tree:root_node()

-- Encontrar todos os nomes de função
local query = treesitter.query("go", [[
    (function_declaration name: (identifier) @func_name)
]])

local captures = query:captures(root, code)
for _, capture in ipairs(captures) do
    print(capture.name, capture.text)
end
-- "func_name"  "hello"
-- "func_name"  "world"

Parsing

Parse Simples

Parse de código fonte em uma arvore de sintaxe. Cria um parser temporario internamente.

local tree, err = treesitter.parse("go", code)

Retorna: Tree, error

Parser Reutilizavel

Criar um parser para parsing repetido ou atualizacoes incrementais.

local parser = treesitter.parser()
parser:set_language("go")

local tree1 = parser:parse("package main")

-- Parse incremental com arvore antiga
local tree2 = parser:parse("package main\nfunc foo() {}", tree1)

parser:close()

Retorna: Parser

Métodos do Parser

Arvores de Sintaxe

Obter No Raiz

local tree = treesitter.parse("go", "package main")
local root = tree:root_node()

print(root:kind())  -- "source_file"
print(root:text())  -- "package main"

Métodos da Tree

Edicao Incremental

Atualizar a arvore quando o código fonte muda:

local code = "func main() { x := 1 }"
local tree = treesitter.parse("go", code)

-- Marcar edicao: mudou "1" para "100" no byte 19
tree:edit({
    start_byte = 19,
    old_end_byte = 20,
    new_end_byte = 22,
    start_row = 0,
    start_column = 19,
    old_end_row = 0,
    old_end_column = 20,
    new_end_row = 0,
    new_end_column = 22
})

-- Re-parse com arvore editada (mais rapido que parse completo)
local parser = treesitter.parser()
parser:set_language("go")
local new_tree = parser:parse("func main() { x := 100 }", tree)

Nos

Nos representam elementos na arvore de sintaxe.

Tipos de No

local node = root:child(0)

-- Informação de tipo
print(node:kind())        -- "package_clause"
print(node:type())        -- igual a kind()
print(node:is_named())    -- true para nos significativos
print(node:grammar_name()) -- nome da regra gramatical

Navegação

-- Filhos
local child = node:child(0)           -- por indice (base 0)
local named = node:named_child(0)     -- apenas filhos nomeados
local count = node:child_count()
local named_count = node:named_child_count()

-- Irmaos
local next = node:next_sibling()
local prev = node:prev_sibling()
local next_named = node:next_named_sibling()
local prev_named = node:prev_named_sibling()

-- Pai
local parent = node:parent()

-- Por nome de campo
local name_node = func_decl:child_by_field_name("name")
local field = node:field_name_for_child(0)

Informação de Posicao

-- Offsets em bytes
local start = node:start_byte()
local end_ = node:end_byte()

-- Posicoes linha/coluna (base 0)
local start_pt = node:start_point()  -- {row = 0, column = 0}
local end_pt = node:end_point()      -- {row = 0, column = 12}

-- Texto fonte
local text = node:text()

Deteccao de Erro

if root:has_error() then
    -- Arvore contem erros de sintaxe
end

if node:is_error() then
    -- Este no especifico e um erro
end

if node:is_missing() then
    -- Parser inseriu este no para recuperar de erro
end

S-Expression

local sexp = node:to_sexp()
-- "(source_file (package_clause (package_identifier)))"

Queries

Pattern matching usando a linguagem de query do Tree-sitter (S-expressions).

Criar Query

local query, err = treesitter.query("go", [[
    (function_declaration
        name: (identifier) @func_name
        parameters: (parameter_list) @params
    )
]])

Retorna: Query, error

Executar Query

-- Obter todas as capturas (achatadas)
local captures = query:captures(root, source_code)
for _, capture in ipairs(captures) do
    print(capture.name)   -- "@func_name"
    print(capture.text)   -- texto real
    print(capture.index)  -- indice da captura
    -- capture.node e o objeto Node
end

-- Obter matches (agrupados por padrão)
local matches = query:matches(root, source_code)
for _, match in ipairs(matches) do
    print(match.id, match.pattern)
    for _, capture in ipairs(match.captures) do
        print(capture.name, capture.node:text())
    end
end

Controle de Query

-- Limitar escopo da query
query:set_byte_range(0, 1000)
query:set_point_range({row = 0, column = 0}, {row = 10, column = 0})

-- Limitar matches
query:set_match_limit(100)
if query:did_exceed_match_limit() then
    -- Existem mais matches
end

-- Timeout (string de duração ou nanossegundos)
query:set_timeout("500ms")
query:set_timeout(1000000000)  -- 1 segundo em nanossegundos

-- Desabilitar padroes/capturas
query:disable_pattern(0)
query:disable_capture("func_name")

Inspecao de Query

local pattern_count = query:pattern_count()
local capture_count = query:capture_count()
local name = query:capture_name_for_id(0)
local id = query:capture_index_for_name("func_name")

Cursor de Arvore

Travessia eficiente sem criar objetos de no a cada passo.

Travessia Basica

local cursor = tree:walk()

-- Comecar na raiz
print(cursor:current_node():kind())  -- "source_file"
print(cursor:current_depth())        -- 0

-- Navegar
if cursor:goto_first_child() then
    print(cursor:current_node():kind())
    print(cursor:current_depth())  -- 1
end

if cursor:goto_next_sibling() then
    -- moveu para proximo irmao
end

cursor:goto_parent()  -- voltar ao pai

cursor:close()

Métodos do Cursor

Metadados de Linguagem

local lang = treesitter.language("go")

print(lang:version())           -- versão ABI
print(lang:node_kind_count())   -- numero de tipos de no
print(lang:field_count())       -- numero de campos

-- Lookup de tipo de no
local kind = lang:node_kind_for_id(1)
local id = lang:id_for_node_kind("identifier", true)
local is_named = lang:node_kind_is_named(1)

-- Lookup de campo
local field_name = lang:field_name_for_id(1)
local field_id = lang:field_id_for_name("name")

Erros

Veja Error Handling para trabalhar com erros.

Referência de Sintaxe de Query

Queries Tree-sitter usam padroes S-expression:

; Match um tipo de no
(identifier)

; Match com nomes de campo
(function_declaration name: (identifier))

; Captura com @nome
(function_declaration name: (identifier) @func_name)

; Multiplos padroes
[
  (function_declaration)
  (method_declaration)
] @declaration

; Wildcards
(_)           ; qualquer no
(identifier)+ ; um ou mais
(identifier)* ; zero ou mais
(identifier)? ; opcional

; Predicados
((identifier) @var
  (#match? @var "^_"))  ; regex match

Veja Tree-sitter Query Syntax para documentação completa.