1#ifndef TREE_SITTER_PARSER_H_
2#define TREE_SITTER_PARSER_H_
3
4#ifdef __cplusplus
5extern "C" {
6#endif
7
8#include <stdbool.h>
9#include <stdint.h>
10#include <stdlib.h>
11
12#define ts_builtin_sym_error ((TSSymbol)-1)
13#define ts_builtin_sym_end 0
14#define TREE_SITTER_SERIALIZATION_BUFFER_SIZE 1024
15
16typedef uint16_t TSStateId;
17
18#ifndef TREE_SITTER_API_H_
19typedef uint16_t TSSymbol;
20typedef uint16_t TSFieldId;
21typedef struct TSLanguage TSLanguage;
22#endif
23
24typedef struct {
25 TSFieldId field_id;
26 uint8_t child_index;
27 bool inherited;
28} TSFieldMapEntry;
29
30typedef struct {
31 uint16_t index;
32 uint16_t length;
33} TSFieldMapSlice;
34
35typedef struct {
36 bool visible;
37 bool named;
38 bool supertype;
39} TSSymbolMetadata;
40
41typedef struct TSLexer TSLexer;
42
43struct TSLexer {
44 int32_t lookahead;
45 TSSymbol result_symbol;
46 void (*advance)(TSLexer *, bool);
47 void (*mark_end)(TSLexer *);
48 uint32_t (*get_column)(TSLexer *);
49 bool (*is_at_included_range_start)(const TSLexer *);
50 bool (*eof)(const TSLexer *);
51};
52
53typedef enum {
54 TSParseActionTypeShift,
55 TSParseActionTypeReduce,
56 TSParseActionTypeAccept,
57 TSParseActionTypeRecover,
58} TSParseActionType;
59
60typedef union {
61 struct {
62 uint8_t type;
63 TSStateId state;
64 bool extra;
65 bool repetition;
66 } shift;
67 struct {
68 uint8_t type;
69 uint8_t child_count;
70 TSSymbol symbol;
71 int16_t dynamic_precedence;
72 uint16_t production_id;
73 } reduce;
74 uint8_t type;
75} TSParseAction;
76
77typedef struct {
78 uint16_t lex_state;
79 uint16_t external_lex_state;
80} TSLexMode;
81
82typedef union {
83 TSParseAction action;
84 struct {
85 uint8_t count;
86 bool reusable;
87 } entry;
88} TSParseActionEntry;
89
90struct TSLanguage {
91 uint32_t version;
92 uint32_t symbol_count;
93 uint32_t alias_count;
94 uint32_t token_count;
95 uint32_t external_token_count;
96 uint32_t state_count;
97 uint32_t large_state_count;
98 uint32_t production_id_count;
99 uint32_t field_count;
100 uint16_t max_alias_sequence_length;
101 const uint16_t *parse_table;
102 const uint16_t *small_parse_table;
103 const uint32_t *small_parse_table_map;
104 const TSParseActionEntry *parse_actions;
105 const char * const *symbol_names;
106 const char * const *field_names;
107 const TSFieldMapSlice *field_map_slices;
108 const TSFieldMapEntry *field_map_entries;
109 const TSSymbolMetadata *symbol_metadata;
110 const TSSymbol *public_symbol_map;
111 const uint16_t *alias_map;
112 const TSSymbol *alias_sequences;
113 const TSLexMode *lex_modes;
114 bool (*lex_fn)(TSLexer *, TSStateId);
115 bool (*keyword_lex_fn)(TSLexer *, TSStateId);
116 TSSymbol keyword_capture_token;
117 struct {
118 const bool *states;
119 const TSSymbol *symbol_map;
120 void *(*create)(void);
121 void (*destroy)(void *);
122 bool (*scan)(void *, TSLexer *, const bool *symbol_whitelist);
123 unsigned (*serialize)(void *, char *);
124 void (*deserialize)(void *, const char *, unsigned);
125 } external_scanner;
126};
127
128/*
129 * Lexer Macros
130 */
131
132#define START_LEXER() \
133 bool result = false; \
134 bool skip = false; \
135 bool eof = false; \
136 int32_t lookahead; \
137 goto start; \
138 next_state: \
139 lexer->advance(lexer, skip); \
140 start: \
141 skip = false; \
142 lookahead = lexer->lookahead;
143
144#define ADVANCE(state_value) \
145 { \
146 state = state_value; \
147 goto next_state; \
148 }
149
150#define SKIP(state_value) \
151 { \
152 skip = true; \
153 state = state_value; \
154 goto next_state; \
155 }
156
157#define ACCEPT_TOKEN(symbol_value) \
158 result = true; \
159 lexer->result_symbol = symbol_value; \
160 lexer->mark_end(lexer);
161
162#define END_STATE() return result;
163
164/*
165 * Parse Table Macros
166 */
167
168#define SMALL_STATE(id) id - LARGE_STATE_COUNT
169
170#define STATE(id) id
171
172#define ACTIONS(id) id
173
174#define SHIFT(state_value) \
175 {{ \
176 .shift = { \
177 .type = TSParseActionTypeShift, \
178 .state = state_value \
179 } \
180 }}
181
182#define SHIFT_REPEAT(state_value) \
183 {{ \
184 .shift = { \
185 .type = TSParseActionTypeShift, \
186 .state = state_value, \
187 .repetition = true \
188 } \
189 }}
190
191#define SHIFT_EXTRA() \
192 {{ \
193 .shift = { \
194 .type = TSParseActionTypeShift, \
195 .extra = true \
196 } \
197 }}
198
199#define REDUCE(symbol_val, child_count_val, ...) \
200 {{ \
201 .reduce = { \
202 .type = TSParseActionTypeReduce, \
203 .symbol = symbol_val, \
204 .child_count = child_count_val, \
205 __VA_ARGS__ \
206 }, \
207 }}
208
209#define RECOVER() \
210 {{ \
211 .type = TSParseActionTypeRecover \
212 }}
213
214#define ACCEPT_INPUT() \
215 {{ \
216 .type = TSParseActionTypeAccept \
217 }}
218
219#ifdef __cplusplus
220}
221#endif
222
223#endif // TREE_SITTER_PARSER_H_