tree-sitter-v

V language grammar for tree-sitter

Existing grammars

This grammar is heavily derived from the following language grammars:

• tree-sitter-go
• tree-sitter-ruby
• tree-sitter-c

Installation

npm install tree-sitter-v

Usage (node-tree-sitter)

const Parser = require('tree-sitter');
const V = require('tree-sitter-v');

const parser = new Parser();
parser.setLanguage(V);

Usage with V [v-tree-sitter (soon)]

// TODO:
import treesitter
import tree_sitter_v.bindings.v

fn main() {
  mut parser := treesitter.new_parser()
  parser.set_language(v.language)
}

Limitations

1. ~~Statements outside functions (aka vsh/script mode) are not yet supported.~~
2. It does not support all deprecated/outdated syntaxes to avoid any ambiguities and to enforce the one-way philosophy as much as possible.
3. Assembly/SQL code in ASM/SQL block nodes are loosely checked and parsed immediately regardless of the content.
4. ~~Syntaxes related to generics support (e.g template) are not yet implemented.~~

Node Support (Checked means already been verified and tested)

• [x] AliasTypeDecl (type_declaration)
• [x] AnonFn (fn_literal)
• [x] ArrayDecompose (decomposed_element)
• [x] ArrayFixed (array_initializer)
• [x] ArrayInit (array / type_initializer)
• [x] AsCast (as_type_cast_expression)
• [ ] AsmAddressing
• [ ] AsmAlias
• [ ] AsmClobbered
• [ ] AsmDisp
• [ ] AsmIO
• [ ] AsmRegister
• [x] AsmStmt (asm_statement. See Limitations[3])
• [ ] AsmTemplate
• [x] AssertStmt (assert_statement)
• [x] AssignStmt (assignment_statement, short_var_declaration)
• [ ] Assoc
• [x] AtExpr (pseudo_comptime_expression)
• [x] Attr (attribute_declaration)
• [x] Block (block)
• [x] BoolLiteral (true / false)
• [x] BranchStmt (block for if / expression_case for match)
• [x] CallArg (argument_list)
• [x] CallExpr (call_expression)
• [x] CastExpr (type_cast_expression)
• [x] Chan (channel_type)
• [x] ChanInit (type_initializer)
• [x] CharLiteral (rune_literal)
• [x] Comment (comment)
• [x] CompFor (comptime_for_statement)
• [x] ComptimeCall (call_expression -> comptime_identifier as field)
• [x] ComptimeSelector(selector_expression -> comptime_selector_expression as field)
• [ ] ConcatExpr
• [x] ConstDecl (const_declaration)
• [x] ConstField (const_spec)
• [x] DeferStmt (defer_statement)
• [x] DumpExpr (call_expression)
• [x] EmbeddedFile (call_expression -> comptime_identifier as name)
• [x] EnumDecl (enum_declaration)
• [x] EnumField (enum_member)
• [x] EnumVal (enum_identifier)
• [x] ExprStmt
• [x] FloatLiteral (float_literal)
• [x] FnDecl (function_declaration)
• [x] FnTypeDecl (function_type)
• [x] ForCStmt (for_statement: cstyle_for_clause)
• [x] ForInStmt (for_statement: in_operator)
• [x] ForStmt (for_statement)
• [x] GlobalDecl (global_var_declaration)
• [x] GlobalField (global_var_declaration -> global_var_type_initializer)
• [x] GoExpr (go_statement)
• [x] GotoLabel (labeled_statement, empty_labeled_statement)
• [x] GotoStmt (goto_statement)
• [x] HashStmt (Currently supported: c_include_clause, c_flag_clause, c_define_clause)
• [x] Ident (identifier)
• [x] IfBranch (if_expression)
• [x] IfExpr (if_expression)
• [x] IfGuardExpr (if statement: is_expression)
• [x] Import (import_declaration)
• [x] ImportSymbol (import_symbol)
• [x] IndexExpr (index_expression / slice_expression)
• [ ] InfixExpr
• [x] IntegerLiteral (int_literal)
• [x] InterfaceDecl (interface_declaration)
• [x] InterfaceEmbedding (interface_declaration -> type_identifier)
• [x] Likely (call_expression)
• [x] LockExpr
• [x] MapInit (type_initializer)
• [x] MatchBranch (expression_case)
• [x] MatchExpr (match_expression)
• [x] Module (module_clause)
• [x] MultiReturn (multi_return_type) (NOTE: shouldn't be used in arguments)
• [x] NodeError ([ERROR])
• [x] None (none)
• [x] OffsetOf (call_expression)
• [x] OrExpr (or_block)
• [x] Param (parameter_declaration)
• [x] ParExpr (parenthesized_expression)
• [x] PostfixExpr (inc_statement, dec_statement)
• [ ] PrefixExpr
• [x] RangeExpr (range)
• [x] Return (return_statement)
• [x] SelectBranch (select_branch, select_default_branch)
• [x] SelectExpr (select_expression, TODO support for if and for)
• [x] SelectorExpr (selector_expression)
• [x] SizeOf (call_expression)
• [x] SqlExpr (sql_expression. See Limitations[3])
• [x] SqlStmt (sql_expression. See Limitations[3])
• [x] SqlStmtLine (sql_expression. See Limitations[3])
• [x] StringInterLiteral (interpreted_string_literal)
• [x] StringLiteral (_string_literal)
• [x] StructDecl (struct_declaration)
• [x] StructField (struct_field_declaration)
• [x] StructInit (type_initializer)
• [x] StructInitEmbed (decomposed_element)
• [x] StructInitField (literal_value)
• [x] SumTypeDecl (type_declaration)
• [x] TypeNode (type_identifier)
• [x] TypeOf (call_expression)
• [x] UnsafeExpr (unsafe_expression)