2015-07-08 17:34:21 -07:00
|
|
|
#include <assert.h>
|
2017-06-23 12:08:50 -07:00
|
|
|
#include <ctype.h>
|
2015-12-22 14:37:29 -08:00
|
|
|
#include <limits.h>
|
2014-09-01 14:08:07 -07:00
|
|
|
#include <stdbool.h>
|
2016-04-22 14:55:56 -07:00
|
|
|
#include <string.h>
|
|
|
|
|
#include <stdio.h>
|
2016-01-15 15:08:42 -08:00
|
|
|
#include "runtime/alloc.h"
|
2018-05-09 17:30:13 -07:00
|
|
|
#include "runtime/atomic.h"
|
2014-06-26 08:52:42 -07:00
|
|
|
#include "runtime/tree.h"
|
2014-09-26 16:15:07 -07:00
|
|
|
#include "runtime/length.h"
|
2017-07-14 10:19:58 -07:00
|
|
|
#include "runtime/language.h"
|
2016-08-31 10:51:59 -07:00
|
|
|
#include "runtime/error_costs.h"
|
2014-03-24 00:34:13 -07:00
|
|
|
|
2016-06-27 14:39:12 -07:00
|
|
|
TSStateId TS_TREE_STATE_NONE = USHRT_MAX;
|
2015-12-22 14:37:29 -08:00
|
|
|
|
2017-10-05 17:32:21 -07:00
|
|
|
// ExternalTokenState
|
|
|
|
|
|
2017-07-17 17:12:36 -07:00
|
|
|
void ts_external_token_state_init(TSExternalTokenState *self, const char *content, unsigned length) {
|
|
|
|
|
self->length = length;
|
|
|
|
|
if (length > sizeof(self->short_data)) {
|
|
|
|
|
self->long_data = ts_malloc(length);
|
|
|
|
|
memcpy(self->long_data, content, length);
|
|
|
|
|
} else {
|
|
|
|
|
memcpy(self->short_data, content, length);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void ts_external_token_state_delete(TSExternalTokenState *self) {
|
|
|
|
|
if (self->length > sizeof(self->short_data)) {
|
|
|
|
|
ts_free(self->long_data);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
const char *ts_external_token_state_data(const TSExternalTokenState *self) {
|
|
|
|
|
if (self->length > sizeof(self->short_data)) {
|
|
|
|
|
return self->long_data;
|
|
|
|
|
} else {
|
|
|
|
|
return self->short_data;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
bool ts_external_token_state_eq(const TSExternalTokenState *a, const TSExternalTokenState *b) {
|
|
|
|
|
return a == b ||
|
|
|
|
|
(a->length == b->length &&
|
|
|
|
|
memcmp(ts_external_token_state_data(a), ts_external_token_state_data(b), a->length) == 0);
|
|
|
|
|
}
|
|
|
|
|
|
2017-10-05 17:32:21 -07:00
|
|
|
// TreeArray
|
2014-03-01 00:25:05 -08:00
|
|
|
|
2016-06-14 14:46:49 -07:00
|
|
|
bool ts_tree_array_copy(TreeArray self, TreeArray *dest) {
|
2016-11-09 20:59:05 -08:00
|
|
|
Tree **contents = NULL;
|
2016-06-14 14:46:49 -07:00
|
|
|
if (self.capacity > 0) {
|
2016-11-09 20:59:05 -08:00
|
|
|
contents = ts_calloc(self.capacity, sizeof(Tree *));
|
|
|
|
|
memcpy(contents, self.contents, self.size * sizeof(Tree *));
|
2016-11-14 12:15:24 -08:00
|
|
|
for (uint32_t i = 0; i < self.size; i++)
|
2016-06-14 14:46:49 -07:00
|
|
|
ts_tree_retain(contents[i]);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
dest->size = self.size;
|
|
|
|
|
dest->capacity = self.capacity;
|
|
|
|
|
dest->contents = contents;
|
|
|
|
|
return true;
|
2016-03-02 21:03:55 -08:00
|
|
|
}
|
|
|
|
|
|
2017-10-05 17:32:21 -07:00
|
|
|
void ts_tree_array_delete(TreePool *pool, TreeArray *self) {
|
2017-06-27 14:30:46 -07:00
|
|
|
for (uint32_t i = 0; i < self->size; i++) {
|
2017-10-05 17:32:21 -07:00
|
|
|
ts_tree_release(pool, self->contents[i]);
|
2017-06-27 14:30:46 -07:00
|
|
|
}
|
2016-03-07 16:03:23 -08:00
|
|
|
array_delete(self);
|
2016-03-02 21:03:55 -08:00
|
|
|
}
|
|
|
|
|
|
2017-02-19 13:53:28 -08:00
|
|
|
TreeArray ts_tree_array_remove_trailing_extras(TreeArray *self) {
|
|
|
|
|
TreeArray result = array_new();
|
|
|
|
|
|
|
|
|
|
uint32_t i = self->size - 1;
|
|
|
|
|
for (; i + 1 > 0; i--) {
|
|
|
|
|
Tree *child = self->contents[i];
|
|
|
|
|
if (!child->extra) break;
|
|
|
|
|
array_push(&result, child);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
self->size = i + 1;
|
2017-07-24 21:02:26 -07:00
|
|
|
ts_tree_array_reverse(&result);
|
2017-02-19 13:53:28 -08:00
|
|
|
return result;
|
|
|
|
|
}
|
|
|
|
|
|
2017-07-24 21:02:26 -07:00
|
|
|
void ts_tree_array_reverse(TreeArray *self) {
|
|
|
|
|
for (uint32_t i = 0, limit = self->size / 2; i < limit; i++) {
|
|
|
|
|
size_t reverse_index = self->size - 1 - i;
|
|
|
|
|
Tree *swap = self->contents[i];
|
|
|
|
|
self->contents[i] = self->contents[reverse_index];
|
|
|
|
|
self->contents[reverse_index] = swap;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-10-05 17:32:21 -07:00
|
|
|
// TreePool
|
|
|
|
|
|
|
|
|
|
static const uint32_t MAX_TREE_POOL_SIZE = 1024;
|
|
|
|
|
|
|
|
|
|
void ts_tree_pool_init(TreePool *self) {
|
|
|
|
|
array_init(&self->free_trees);
|
|
|
|
|
array_init(&self->tree_stack);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void ts_tree_pool_delete(TreePool *self) {
|
|
|
|
|
if (self->free_trees.contents) {
|
|
|
|
|
for (unsigned i = 0; i < self->free_trees.size; i++) {
|
|
|
|
|
ts_free(self->free_trees.contents[i]);
|
|
|
|
|
}
|
|
|
|
|
array_delete(&self->free_trees);
|
|
|
|
|
}
|
|
|
|
|
if (self->tree_stack.contents) array_delete(&self->tree_stack);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Tree *ts_tree_pool_allocate(TreePool *self) {
|
|
|
|
|
if (self->free_trees.size > 0) {
|
|
|
|
|
return array_pop(&self->free_trees);
|
|
|
|
|
} else {
|
|
|
|
|
return ts_malloc(sizeof(Tree));
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void ts_tree_pool_free(TreePool *self, Tree *tree) {
|
|
|
|
|
if (self->free_trees.size < MAX_TREE_POOL_SIZE) {
|
|
|
|
|
array_push(&self->free_trees, tree);
|
|
|
|
|
} else {
|
|
|
|
|
ts_free(tree);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Tree
|
|
|
|
|
|
|
|
|
|
Tree *ts_tree_make_leaf(TreePool *pool, TSSymbol symbol, Length padding, Length size, const TSLanguage *language) {
|
|
|
|
|
TSSymbolMetadata metadata = ts_language_symbol_metadata(language, symbol);
|
|
|
|
|
Tree *result = ts_tree_pool_allocate(pool);
|
|
|
|
|
*result = (Tree){
|
|
|
|
|
.ref_count = 1,
|
|
|
|
|
.symbol = symbol,
|
|
|
|
|
.size = size,
|
|
|
|
|
.visible_child_count = 0,
|
|
|
|
|
.named_child_count = 0,
|
|
|
|
|
.alias_sequence_id = 0,
|
|
|
|
|
.padding = padding,
|
|
|
|
|
.visible = metadata.visible,
|
|
|
|
|
.named = metadata.named,
|
2018-04-02 10:57:44 -07:00
|
|
|
.node_count = 1,
|
2017-10-05 17:32:21 -07:00
|
|
|
.has_changes = false,
|
|
|
|
|
.first_leaf = {
|
|
|
|
|
.symbol = symbol,
|
|
|
|
|
.lex_mode = {0, 0},
|
|
|
|
|
},
|
|
|
|
|
.has_external_tokens = false,
|
|
|
|
|
};
|
|
|
|
|
return result;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Tree *ts_tree_make_error(TreePool *pool, Length size, Length padding, int32_t lookahead_char,
|
2017-07-31 11:45:24 -07:00
|
|
|
const TSLanguage *language) {
|
2017-10-05 17:32:21 -07:00
|
|
|
Tree *result = ts_tree_make_leaf(pool, ts_builtin_sym_error, padding, size, language);
|
2016-06-21 07:28:04 -07:00
|
|
|
result->fragile_left = true;
|
|
|
|
|
result->fragile_right = true;
|
2014-08-28 13:22:06 -07:00
|
|
|
result->lookahead_char = lookahead_char;
|
2014-07-20 20:27:33 -07:00
|
|
|
return result;
|
2014-02-24 18:42:54 -08:00
|
|
|
}
|
|
|
|
|
|
2017-10-05 17:32:21 -07:00
|
|
|
Tree *ts_tree_make_copy(TreePool *pool, Tree *self) {
|
|
|
|
|
Tree *result = ts_tree_pool_allocate(pool);
|
2015-12-15 22:28:50 -08:00
|
|
|
*result = *self;
|
2016-04-15 23:01:36 -07:00
|
|
|
result->ref_count = 1;
|
2015-12-15 22:28:50 -08:00
|
|
|
return result;
|
|
|
|
|
}
|
|
|
|
|
|
2018-05-09 10:16:10 -07:00
|
|
|
static void ts_tree__compress(Tree *self, unsigned count, const TSLanguage *language, TreeArray *stack) {
|
|
|
|
|
unsigned initial_stack_size = stack->size;
|
|
|
|
|
|
2018-01-29 10:41:07 -08:00
|
|
|
Tree *tree = self;
|
|
|
|
|
for (unsigned i = 0; i < count; i++) {
|
2018-04-02 18:04:26 -07:00
|
|
|
if (tree->ref_count > 1 || tree->children.size != 2) break;
|
2018-02-16 12:44:30 -08:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
Tree *child = tree->children.contents[0];
|
2018-02-16 12:44:30 -08:00
|
|
|
if (
|
|
|
|
|
child->ref_count > 1 ||
|
2018-04-02 18:04:26 -07:00
|
|
|
child->children.size != 2 ||
|
2018-02-16 12:44:30 -08:00
|
|
|
child->symbol != tree->symbol
|
|
|
|
|
) break;
|
2018-01-29 10:41:07 -08:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
Tree *grandchild = child->children.contents[0];
|
2018-02-16 12:44:30 -08:00
|
|
|
if (
|
|
|
|
|
grandchild->ref_count > 1 ||
|
2018-04-02 18:04:26 -07:00
|
|
|
grandchild->children.size != 2 ||
|
2018-02-16 12:44:30 -08:00
|
|
|
grandchild->symbol != tree->symbol
|
|
|
|
|
) break;
|
2018-01-29 10:41:07 -08:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
tree->children.contents[0] = grandchild;
|
|
|
|
|
child->children.contents[0] = grandchild->children.contents[1];
|
|
|
|
|
grandchild->children.contents[1] = child;
|
2018-05-09 10:16:10 -07:00
|
|
|
array_push(stack, tree);
|
2018-01-29 10:41:07 -08:00
|
|
|
tree = grandchild;
|
|
|
|
|
}
|
|
|
|
|
|
2018-05-09 10:16:10 -07:00
|
|
|
while (stack->size > initial_stack_size) {
|
|
|
|
|
tree = array_pop(stack);
|
2018-05-10 09:48:50 -07:00
|
|
|
assert(tree);
|
2018-04-02 18:04:26 -07:00
|
|
|
Tree *child = tree->children.contents[0];
|
|
|
|
|
Tree *grandchild = child->children.contents[1];
|
|
|
|
|
ts_tree_set_children(grandchild, &grandchild->children, language);
|
|
|
|
|
ts_tree_set_children(child, &child->children, language);
|
|
|
|
|
ts_tree_set_children(tree, &tree->children, language);
|
2018-01-29 10:41:07 -08:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2018-05-10 09:13:46 -07:00
|
|
|
void ts_tree_balance(Tree *self, TreePool *pool, const TSLanguage *language) {
|
2017-10-05 17:32:21 -07:00
|
|
|
array_clear(&pool->tree_stack);
|
|
|
|
|
array_push(&pool->tree_stack, self);
|
|
|
|
|
while (pool->tree_stack.size > 0) {
|
|
|
|
|
Tree *tree = array_pop(&pool->tree_stack);
|
2018-05-10 09:13:46 -07:00
|
|
|
assert(tree);
|
2018-01-29 10:41:07 -08:00
|
|
|
|
|
|
|
|
if (tree->repeat_depth > 0) {
|
2018-05-09 10:16:10 -07:00
|
|
|
if (tree->children.contents[0]->repeat_depth > tree->children.contents[1]->repeat_depth) {
|
|
|
|
|
unsigned n = (
|
|
|
|
|
tree->children.contents[0]->repeat_depth -
|
|
|
|
|
tree->children.contents[1]->repeat_depth
|
|
|
|
|
);
|
|
|
|
|
for (unsigned i = n / 2; i > 0; i /= 2) {
|
|
|
|
|
ts_tree__compress(tree, i, language, &pool->tree_stack);
|
|
|
|
|
n -= i;
|
|
|
|
|
}
|
|
|
|
|
}
|
2018-01-29 10:41:07 -08:00
|
|
|
}
|
|
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < tree->children.size; i++) {
|
|
|
|
|
Tree *child = tree->children.contents[i];
|
2018-05-09 10:16:10 -07:00
|
|
|
if (child->ref_count == 1) {
|
2017-10-05 17:32:21 -07:00
|
|
|
array_push(&pool->tree_stack, child);
|
2016-02-04 12:59:44 -08:00
|
|
|
}
|
2015-11-15 12:21:16 -08:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
void ts_tree_set_children(Tree *self, TreeArray *children, const TSLanguage *language) {
|
|
|
|
|
if (self->children.size > 0 && children->contents != self->children.contents) {
|
|
|
|
|
array_delete(&self->children);
|
|
|
|
|
}
|
2016-04-24 00:54:20 -07:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
self->children = *children;
|
2015-12-04 15:51:04 -08:00
|
|
|
self->named_child_count = 0;
|
2015-10-24 13:45:42 -07:00
|
|
|
self->visible_child_count = 0;
|
2016-08-30 10:58:25 -07:00
|
|
|
self->error_cost = 0;
|
2018-01-29 10:41:07 -08:00
|
|
|
self->repeat_depth = 0;
|
2018-04-02 10:57:44 -07:00
|
|
|
self->node_count = 1;
|
2016-12-20 17:06:20 -08:00
|
|
|
self->has_external_tokens = false;
|
2017-07-06 15:20:11 -07:00
|
|
|
self->dynamic_precedence = 0;
|
2016-04-24 00:54:20 -07:00
|
|
|
|
2017-07-18 21:24:34 -07:00
|
|
|
uint32_t non_extra_index = 0;
|
2017-07-31 11:45:24 -07:00
|
|
|
const TSSymbol *alias_sequence = ts_language_alias_sequence(language, self->alias_sequence_id);
|
2017-07-18 21:24:34 -07:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < self->children.size; i++) {
|
|
|
|
|
Tree *child = self->children.contents[i];
|
2014-09-02 07:41:29 -07:00
|
|
|
|
|
|
|
|
if (i == 0) {
|
2015-10-14 21:52:13 -07:00
|
|
|
self->padding = child->padding;
|
|
|
|
|
self->size = child->size;
|
2017-03-13 17:03:47 -07:00
|
|
|
self->bytes_scanned = child->bytes_scanned;
|
2014-09-02 07:41:29 -07:00
|
|
|
} else {
|
2017-03-13 17:03:47 -07:00
|
|
|
uint32_t bytes_scanned = ts_tree_total_bytes(self) + child->bytes_scanned;
|
|
|
|
|
if (bytes_scanned > self->bytes_scanned) self->bytes_scanned = bytes_scanned;
|
2016-11-09 20:59:05 -08:00
|
|
|
self->size = length_add(self->size, ts_tree_total_size(child));
|
2014-09-02 07:41:29 -07:00
|
|
|
}
|
2014-07-16 18:38:06 -07:00
|
|
|
|
2018-04-06 09:35:17 -07:00
|
|
|
if (child->symbol != ts_builtin_sym_error_repeat) {
|
|
|
|
|
self->error_cost += child->error_cost;
|
|
|
|
|
}
|
2017-07-06 15:20:11 -07:00
|
|
|
self->dynamic_precedence += child->dynamic_precedence;
|
2018-04-02 10:57:44 -07:00
|
|
|
self->node_count += child->node_count;
|
2016-05-09 14:31:44 -07:00
|
|
|
|
2017-07-31 11:45:24 -07:00
|
|
|
if (alias_sequence && alias_sequence[non_extra_index] != 0 && !child->extra) {
|
2015-11-22 13:32:20 -08:00
|
|
|
self->visible_child_count++;
|
2017-07-31 11:45:24 -07:00
|
|
|
if (ts_language_symbol_metadata(language, alias_sequence[non_extra_index]).named) {
|
|
|
|
|
self->named_child_count++;
|
|
|
|
|
}
|
2017-07-21 15:57:17 -07:00
|
|
|
} else if (child->visible) {
|
|
|
|
|
self->visible_child_count++;
|
|
|
|
|
if (child->named) self->named_child_count++;
|
2018-04-02 18:04:26 -07:00
|
|
|
} else if (child->children.size > 0) {
|
2015-11-22 13:32:20 -08:00
|
|
|
self->visible_child_count += child->visible_child_count;
|
|
|
|
|
self->named_child_count += child->named_child_count;
|
2015-09-07 21:11:37 -07:00
|
|
|
}
|
2015-12-06 20:31:10 -08:00
|
|
|
|
2016-12-20 17:06:20 -08:00
|
|
|
if (child->has_external_tokens) self->has_external_tokens = true;
|
|
|
|
|
|
2015-12-06 20:31:10 -08:00
|
|
|
if (child->symbol == ts_builtin_sym_error) {
|
2015-12-22 14:20:58 -08:00
|
|
|
self->fragile_left = self->fragile_right = true;
|
2016-06-27 14:39:12 -07:00
|
|
|
self->parse_state = TS_TREE_STATE_NONE;
|
2015-12-06 20:31:10 -08:00
|
|
|
}
|
2017-07-18 21:24:34 -07:00
|
|
|
|
|
|
|
|
if (!child->extra) non_extra_index++;
|
2014-07-20 20:27:33 -07:00
|
|
|
}
|
|
|
|
|
|
2018-04-06 09:35:17 -07:00
|
|
|
if (self->symbol == ts_builtin_sym_error || self->symbol == ts_builtin_sym_error_repeat) {
|
2018-04-02 11:52:34 -07:00
|
|
|
self->error_cost += ERROR_COST_PER_RECOVERY +
|
|
|
|
|
ERROR_COST_PER_SKIPPED_CHAR * self->size.bytes +
|
2016-09-09 21:11:02 -07:00
|
|
|
ERROR_COST_PER_SKIPPED_LINE * self->size.extent.row;
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < self->children.size; i++) {
|
2018-04-06 09:35:17 -07:00
|
|
|
Tree *child = self->children.contents[i];
|
|
|
|
|
if (child->extra) continue;
|
|
|
|
|
if (child->symbol == ts_builtin_sym_error && child->children.size == 0) continue;
|
|
|
|
|
if (child->visible) {
|
2016-08-31 10:51:59 -07:00
|
|
|
self->error_cost += ERROR_COST_PER_SKIPPED_TREE;
|
2018-04-06 09:35:17 -07:00
|
|
|
} else {
|
|
|
|
|
self->error_cost += ERROR_COST_PER_SKIPPED_TREE * child->visible_child_count;
|
2018-04-02 11:52:34 -07:00
|
|
|
}
|
|
|
|
|
}
|
2016-05-09 14:31:44 -07:00
|
|
|
}
|
2016-04-24 00:54:20 -07:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
if (self->children.size > 0) {
|
|
|
|
|
Tree *first_child = self->children.contents[0];
|
|
|
|
|
Tree *last_child = self->children.contents[self->children.size - 1];
|
|
|
|
|
self->first_leaf = first_child->first_leaf;
|
|
|
|
|
if (first_child->fragile_left) self->fragile_left = true;
|
|
|
|
|
if (last_child->fragile_right) self->fragile_right = true;
|
2018-01-29 10:41:07 -08:00
|
|
|
if (
|
2018-04-02 18:04:26 -07:00
|
|
|
self->children.size == 2 &&
|
2018-01-29 10:41:07 -08:00
|
|
|
!self->visible && !self->named &&
|
2018-04-02 18:04:26 -07:00
|
|
|
first_child->symbol == self->symbol &&
|
|
|
|
|
last_child->symbol == self->symbol
|
2018-01-29 10:41:07 -08:00
|
|
|
) {
|
2018-04-02 18:04:26 -07:00
|
|
|
if (first_child->repeat_depth > last_child->repeat_depth) {
|
|
|
|
|
self->repeat_depth = first_child->repeat_depth + 1;
|
2018-01-29 10:41:07 -08:00
|
|
|
} else {
|
2018-04-02 18:04:26 -07:00
|
|
|
self->repeat_depth = last_child->repeat_depth + 1;
|
2018-01-29 10:41:07 -08:00
|
|
|
}
|
|
|
|
|
}
|
2015-06-15 15:24:15 -07:00
|
|
|
}
|
2015-09-08 21:43:37 -07:00
|
|
|
}
|
2014-07-20 20:27:33 -07:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
Tree *ts_tree_make_node(TreePool *pool, TSSymbol symbol, TreeArray *children,
|
2017-07-31 11:45:24 -07:00
|
|
|
unsigned alias_sequence_id, const TSLanguage *language) {
|
2017-10-05 17:32:21 -07:00
|
|
|
Tree *result = ts_tree_make_leaf(pool, symbol, length_zero(), length_zero(), language);
|
2017-07-31 11:45:24 -07:00
|
|
|
result->alias_sequence_id = alias_sequence_id;
|
2018-04-06 09:35:17 -07:00
|
|
|
if (symbol == ts_builtin_sym_error || symbol == ts_builtin_sym_error_repeat) {
|
|
|
|
|
result->fragile_left = true;
|
|
|
|
|
result->fragile_right = true;
|
|
|
|
|
}
|
2018-04-02 18:04:26 -07:00
|
|
|
ts_tree_set_children(result, children, language);
|
2014-07-20 20:27:33 -07:00
|
|
|
return result;
|
2014-01-07 21:50:32 -08:00
|
|
|
}
|
|
|
|
|
|
2017-10-05 17:32:21 -07:00
|
|
|
Tree *ts_tree_make_error_node(TreePool *pool, TreeArray *children, const TSLanguage *language) {
|
2018-04-06 09:35:17 -07:00
|
|
|
return ts_tree_make_node(pool, ts_builtin_sym_error, children, 0, language);
|
2016-04-03 23:46:43 -07:00
|
|
|
}
|
|
|
|
|
|
2017-12-28 15:48:35 -08:00
|
|
|
Tree *ts_tree_make_missing_leaf(TreePool *pool, TSSymbol symbol, const TSLanguage *language) {
|
|
|
|
|
Tree *result = ts_tree_make_leaf(pool, symbol, length_zero(), length_zero(), language);
|
|
|
|
|
result->is_missing = true;
|
2018-04-02 11:52:34 -07:00
|
|
|
result->error_cost = ERROR_COST_PER_MISSING_TREE + ERROR_COST_PER_RECOVERY;
|
2017-12-28 15:48:35 -08:00
|
|
|
return result;
|
|
|
|
|
}
|
2018-01-29 10:41:07 -08:00
|
|
|
|
2016-11-09 20:59:05 -08:00
|
|
|
void ts_tree_retain(Tree *self) {
|
2015-10-14 21:52:13 -07:00
|
|
|
assert(self->ref_count > 0);
|
2018-05-09 17:30:13 -07:00
|
|
|
atomic_inc(&self->ref_count);
|
2017-06-29 06:35:26 -07:00
|
|
|
assert(self->ref_count != 0);
|
2015-07-08 17:34:21 -07:00
|
|
|
}
|
2014-01-07 21:50:32 -08:00
|
|
|
|
2017-10-05 17:32:21 -07:00
|
|
|
void ts_tree_release(TreePool *pool, Tree *self) {
|
|
|
|
|
array_clear(&pool->tree_stack);
|
|
|
|
|
array_push(&pool->tree_stack, self);
|
|
|
|
|
while (pool->tree_stack.size > 0) {
|
|
|
|
|
Tree *tree = array_pop(&pool->tree_stack);
|
|
|
|
|
assert(tree->ref_count > 0);
|
2018-05-09 17:30:13 -07:00
|
|
|
if (atomic_dec(&tree->ref_count) == 0) {
|
2018-04-02 18:04:26 -07:00
|
|
|
if (tree->children.size > 0) {
|
|
|
|
|
for (uint32_t i = 0; i < tree->children.size; i++) {
|
|
|
|
|
array_push(&pool->tree_stack, tree->children.contents[i]);
|
2017-10-05 17:32:21 -07:00
|
|
|
}
|
2018-04-02 18:04:26 -07:00
|
|
|
array_delete(&tree->children);
|
2017-10-05 17:32:21 -07:00
|
|
|
} else if (tree->has_external_tokens) {
|
|
|
|
|
ts_external_token_state_delete(&tree->external_token_state);
|
2017-06-27 14:30:46 -07:00
|
|
|
}
|
2017-10-05 17:32:21 -07:00
|
|
|
ts_tree_pool_free(pool, tree);
|
2016-02-04 12:59:44 -08:00
|
|
|
}
|
2014-07-20 20:27:33 -07:00
|
|
|
}
|
2014-03-24 00:34:13 -07:00
|
|
|
}
|
|
|
|
|
|
2016-11-09 20:59:05 -08:00
|
|
|
bool ts_tree_eq(const Tree *self, const Tree *other) {
|
2015-10-14 21:52:13 -07:00
|
|
|
if (self) {
|
2017-07-31 11:45:24 -07:00
|
|
|
if (!other) return false;
|
2015-06-03 09:44:13 -07:00
|
|
|
} else {
|
2015-10-14 21:52:13 -07:00
|
|
|
return !other;
|
2015-06-03 09:44:13 -07:00
|
|
|
}
|
|
|
|
|
|
2017-07-31 11:45:24 -07:00
|
|
|
if (self->symbol != other->symbol) return false;
|
|
|
|
|
if (self->visible != other->visible) return false;
|
|
|
|
|
if (self->named != other->named) return false;
|
|
|
|
|
if (self->padding.bytes != other->padding.bytes) return false;
|
|
|
|
|
if (self->size.bytes != other->size.bytes) return false;
|
|
|
|
|
if (self->symbol == ts_builtin_sym_error) return self->lookahead_char == other->lookahead_char;
|
2018-04-02 18:04:26 -07:00
|
|
|
if (self->children.size != other->children.size) return false;
|
2017-07-31 11:45:24 -07:00
|
|
|
if (self->visible_child_count != other->visible_child_count) return false;
|
|
|
|
|
if (self->named_child_count != other->named_child_count) return false;
|
|
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < self->children.size; i++) {
|
|
|
|
|
if (!ts_tree_eq(self->children.contents[i], other->children.contents[i])) {
|
2014-10-03 16:06:08 -07:00
|
|
|
return false;
|
2017-07-31 11:45:24 -07:00
|
|
|
}
|
|
|
|
|
}
|
2014-10-03 16:06:08 -07:00
|
|
|
return true;
|
2014-01-07 21:50:32 -08:00
|
|
|
}
|
|
|
|
|
|
2016-11-09 20:59:05 -08:00
|
|
|
int ts_tree_compare(const Tree *left, const Tree *right) {
|
2015-11-20 11:53:03 -08:00
|
|
|
if (left->symbol < right->symbol)
|
|
|
|
|
return -1;
|
|
|
|
|
if (right->symbol < left->symbol)
|
|
|
|
|
return 1;
|
2018-04-02 18:04:26 -07:00
|
|
|
if (left->children.size < right->children.size)
|
2015-11-20 11:53:03 -08:00
|
|
|
return -1;
|
2018-04-02 18:04:26 -07:00
|
|
|
if (right->children.size < left->children.size)
|
2015-11-20 11:53:03 -08:00
|
|
|
return 1;
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < left->children.size; i++) {
|
|
|
|
|
Tree *left_child = left->children.contents[i];
|
|
|
|
|
Tree *right_child = right->children.contents[i];
|
2015-11-20 11:53:03 -08:00
|
|
|
switch (ts_tree_compare(left_child, right_child)) {
|
|
|
|
|
case -1:
|
|
|
|
|
return -1;
|
|
|
|
|
case 1:
|
|
|
|
|
return 1;
|
|
|
|
|
default:
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
|
|
|
|
|
2017-07-25 00:10:52 -07:00
|
|
|
static inline long min_byte(long a, long b) {
|
2015-09-15 16:00:16 -07:00
|
|
|
return a <= b ? a : b;
|
|
|
|
|
}
|
|
|
|
|
|
2017-03-13 17:03:47 -07:00
|
|
|
bool ts_tree_invalidate_lookahead(Tree *self, uint32_t edit_byte_offset) {
|
|
|
|
|
if (edit_byte_offset >= self->bytes_scanned) return false;
|
|
|
|
|
self->has_changes = true;
|
2018-04-02 18:04:26 -07:00
|
|
|
if (self->children.size > 0) {
|
2017-03-13 17:03:47 -07:00
|
|
|
uint32_t child_start_byte = 0;
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < self->children.size; i++) {
|
|
|
|
|
Tree *child = self->children.contents[i];
|
2017-03-13 17:03:47 -07:00
|
|
|
if (child_start_byte > edit_byte_offset) break;
|
|
|
|
|
ts_tree_invalidate_lookahead(child, edit_byte_offset - child_start_byte);
|
|
|
|
|
child_start_byte += ts_tree_total_bytes(child);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
|
2017-12-20 16:26:38 -08:00
|
|
|
static inline TSPoint ts_tree_total_extent(const Tree *self) {
|
|
|
|
|
return point_add(self->padding.extent, self->size.extent);
|
|
|
|
|
}
|
2016-09-13 13:08:52 -07:00
|
|
|
|
2016-11-09 20:59:05 -08:00
|
|
|
void ts_tree_edit(Tree *self, const TSInputEdit *edit) {
|
2016-11-14 12:15:24 -08:00
|
|
|
uint32_t old_end_byte = edit->start_byte + edit->bytes_removed;
|
|
|
|
|
uint32_t new_end_byte = edit->start_byte + edit->bytes_added;
|
2016-11-09 20:59:05 -08:00
|
|
|
TSPoint old_end_point = point_add(edit->start_point, edit->extent_removed);
|
|
|
|
|
TSPoint new_end_point = point_add(edit->start_point, edit->extent_added);
|
2016-09-13 13:08:52 -07:00
|
|
|
|
|
|
|
|
assert(old_end_byte <= ts_tree_total_bytes(self));
|
2015-09-15 16:00:16 -07:00
|
|
|
|
2015-12-22 14:20:58 -08:00
|
|
|
self->has_changes = true;
|
2015-09-15 16:00:16 -07:00
|
|
|
|
2016-09-13 13:08:52 -07:00
|
|
|
if (edit->start_byte < self->padding.bytes) {
|
|
|
|
|
if (self->padding.bytes >= old_end_byte) {
|
2016-11-14 12:15:24 -08:00
|
|
|
uint32_t trailing_padding_bytes = self->padding.bytes - old_end_byte;
|
2016-11-09 20:59:05 -08:00
|
|
|
TSPoint trailing_padding_extent = point_sub(self->padding.extent, old_end_point);
|
2016-09-13 13:08:52 -07:00
|
|
|
self->padding.bytes = new_end_byte + trailing_padding_bytes;
|
2016-11-09 20:59:05 -08:00
|
|
|
self->padding.extent = point_add(new_end_point, trailing_padding_extent);
|
2015-09-15 16:00:16 -07:00
|
|
|
} else {
|
2016-11-14 12:15:24 -08:00
|
|
|
uint32_t removed_content_bytes = old_end_byte - self->padding.bytes;
|
2016-11-09 20:59:05 -08:00
|
|
|
TSPoint removed_content_extent = point_sub(old_end_point, self->padding.extent);
|
2016-09-13 13:08:52 -07:00
|
|
|
self->size.bytes = self->size.bytes - removed_content_bytes;
|
2016-11-09 20:59:05 -08:00
|
|
|
self->size.extent = point_sub(self->size.extent, removed_content_extent);
|
2016-09-13 13:08:52 -07:00
|
|
|
self->padding.bytes = new_end_byte;
|
|
|
|
|
self->padding.extent = new_end_point;
|
2015-09-15 16:00:16 -07:00
|
|
|
}
|
2016-09-13 13:08:52 -07:00
|
|
|
} else if (edit->start_byte == self->padding.bytes && edit->bytes_removed == 0) {
|
|
|
|
|
self->padding.bytes = self->padding.bytes + edit->bytes_added;
|
2016-11-09 20:59:05 -08:00
|
|
|
self->padding.extent = point_add(self->padding.extent, edit->extent_added);
|
2015-09-15 16:00:16 -07:00
|
|
|
} else {
|
2016-11-14 12:15:24 -08:00
|
|
|
uint32_t trailing_content_bytes = ts_tree_total_bytes(self) - old_end_byte;
|
2016-11-09 20:59:05 -08:00
|
|
|
TSPoint trailing_content_extent = point_sub(ts_tree_total_extent(self), old_end_point);
|
2016-09-13 13:08:52 -07:00
|
|
|
self->size.bytes = new_end_byte + trailing_content_bytes - self->padding.bytes;
|
2016-11-09 20:59:05 -08:00
|
|
|
self->size.extent = point_sub(point_add(new_end_point, trailing_content_extent), self->padding.extent);
|
2015-09-15 16:00:16 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
bool found_first_child = false;
|
2016-09-13 13:08:52 -07:00
|
|
|
long remaining_bytes_to_delete = 0;
|
|
|
|
|
TSPoint remaining_extent_to_delete = {0, 0};
|
2016-11-09 20:59:05 -08:00
|
|
|
Length child_left, child_right = length_zero();
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < self->children.size; i++) {
|
|
|
|
|
Tree *child = self->children.contents[i];
|
2015-09-15 16:00:16 -07:00
|
|
|
child_left = child_right;
|
2017-03-13 17:03:47 -07:00
|
|
|
child_right = length_add(child_left, ts_tree_total_size(child));
|
2015-09-15 16:00:16 -07:00
|
|
|
|
2017-03-13 17:03:47 -07:00
|
|
|
if (!found_first_child && child_right.bytes >= edit->start_byte) {
|
|
|
|
|
found_first_child = true;
|
|
|
|
|
TSInputEdit child_edit = {
|
|
|
|
|
.start_byte = edit->start_byte - child_left.bytes,
|
|
|
|
|
.bytes_added = edit->bytes_added,
|
|
|
|
|
.bytes_removed = edit->bytes_removed,
|
|
|
|
|
.start_point = point_sub(edit->start_point, child_left.extent),
|
|
|
|
|
.extent_added = edit->extent_added,
|
|
|
|
|
.extent_removed = edit->extent_removed,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
if (old_end_byte > child_right.bytes) {
|
|
|
|
|
child_edit.bytes_removed = child_right.bytes - edit->start_byte;
|
|
|
|
|
child_edit.extent_removed = point_sub(child_right.extent, edit->start_point);
|
|
|
|
|
remaining_bytes_to_delete = old_end_byte - child_right.bytes;
|
|
|
|
|
remaining_extent_to_delete = point_sub(old_end_point, child_right.extent);
|
2015-09-15 16:00:16 -07:00
|
|
|
}
|
2017-03-13 17:03:47 -07:00
|
|
|
|
|
|
|
|
ts_tree_edit(child, &child_edit);
|
2016-09-13 13:08:52 -07:00
|
|
|
} else if (remaining_bytes_to_delete > 0) {
|
|
|
|
|
TSInputEdit child_edit = {
|
|
|
|
|
.start_byte = 0,
|
|
|
|
|
.bytes_added = 0,
|
2017-07-25 00:10:52 -07:00
|
|
|
.bytes_removed = min_byte(remaining_bytes_to_delete, ts_tree_total_bytes(child)),
|
2016-09-13 13:08:52 -07:00
|
|
|
.start_point = {0, 0},
|
|
|
|
|
.extent_added = {0, 0},
|
2016-11-09 20:59:05 -08:00
|
|
|
.extent_removed = point_min(remaining_extent_to_delete, ts_tree_total_size(child).extent),
|
2016-09-13 13:08:52 -07:00
|
|
|
};
|
|
|
|
|
remaining_bytes_to_delete -= child_edit.bytes_removed;
|
2016-11-09 20:59:05 -08:00
|
|
|
remaining_extent_to_delete = point_sub(remaining_extent_to_delete, child_edit.extent_removed);
|
2016-09-13 13:08:52 -07:00
|
|
|
ts_tree_edit(child, &child_edit);
|
2017-03-13 17:03:47 -07:00
|
|
|
} else {
|
|
|
|
|
ts_tree_invalidate_lookahead(child, edit->start_byte - child_left.bytes);
|
2015-09-15 16:00:16 -07:00
|
|
|
}
|
2016-09-08 17:54:51 -07:00
|
|
|
|
2016-11-09 20:59:05 -08:00
|
|
|
child_right = length_add(child_left, ts_tree_total_size(child));
|
2015-09-15 16:00:16 -07:00
|
|
|
}
|
|
|
|
|
}
|
2016-04-03 23:46:43 -07:00
|
|
|
|
2017-06-27 14:30:46 -07:00
|
|
|
Tree *ts_tree_last_external_token(Tree *tree) {
|
|
|
|
|
if (!tree->has_external_tokens) return NULL;
|
2018-04-02 18:04:26 -07:00
|
|
|
while (tree->children.size > 0) {
|
|
|
|
|
for (uint32_t i = tree->children.size - 1; i + 1 > 0; i--) {
|
|
|
|
|
Tree *child = tree->children.contents[i];
|
2017-06-27 14:30:46 -07:00
|
|
|
if (child->has_external_tokens) {
|
2016-12-21 13:59:56 -08:00
|
|
|
tree = child;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2017-06-27 14:30:46 -07:00
|
|
|
return tree;
|
2016-12-21 13:59:56 -08:00
|
|
|
}
|
|
|
|
|
|
2016-09-03 22:45:02 -07:00
|
|
|
static size_t ts_tree__write_char_to_string(char *s, size_t n, int32_t c) {
|
|
|
|
|
if (c == 0)
|
|
|
|
|
return snprintf(s, n, "EOF");
|
2017-06-23 12:08:50 -07:00
|
|
|
if (c == -1)
|
|
|
|
|
return snprintf(s, n, "INVALID");
|
2016-09-19 13:34:24 -07:00
|
|
|
else if (c == '\n')
|
|
|
|
|
return snprintf(s, n, "'\\n'");
|
|
|
|
|
else if (c == '\t')
|
|
|
|
|
return snprintf(s, n, "'\\t'");
|
|
|
|
|
else if (c == '\r')
|
|
|
|
|
return snprintf(s, n, "'\\r'");
|
2017-06-23 12:08:50 -07:00
|
|
|
else if (0 < c && c < 128 && isprint(c))
|
2016-09-03 22:45:02 -07:00
|
|
|
return snprintf(s, n, "'%c'", c);
|
|
|
|
|
else
|
|
|
|
|
return snprintf(s, n, "%d", c);
|
|
|
|
|
}
|
|
|
|
|
|
2018-05-09 10:16:10 -07:00
|
|
|
static size_t ts_tree__write_to_string(const Tree *self, char *string, size_t limit,
|
|
|
|
|
const TSLanguage *language, bool is_root,
|
|
|
|
|
bool include_all, TSSymbol alias_symbol,
|
|
|
|
|
bool alias_is_named) {
|
2017-07-13 17:17:22 -07:00
|
|
|
if (!self) return snprintf(string, limit, "(NULL)");
|
2016-04-22 14:55:56 -07:00
|
|
|
|
|
|
|
|
char *cursor = string;
|
|
|
|
|
char **writer = (limit > 0) ? &cursor : &string;
|
2017-07-14 10:19:58 -07:00
|
|
|
bool visible =
|
|
|
|
|
include_all ||
|
|
|
|
|
is_root ||
|
2017-12-28 15:48:35 -08:00
|
|
|
self->is_missing ||
|
2017-07-14 10:19:58 -07:00
|
|
|
(self->visible && self->named) ||
|
2018-05-09 10:16:10 -07:00
|
|
|
alias_is_named;
|
2016-04-22 14:55:56 -07:00
|
|
|
|
2017-07-13 17:17:22 -07:00
|
|
|
if (visible && !is_root) {
|
2016-04-22 14:55:56 -07:00
|
|
|
cursor += snprintf(*writer, limit, " ");
|
2017-07-13 17:17:22 -07:00
|
|
|
}
|
2016-04-22 14:55:56 -07:00
|
|
|
|
|
|
|
|
if (visible) {
|
2018-04-02 18:04:26 -07:00
|
|
|
if (self->symbol == ts_builtin_sym_error && self->children.size == 0 && self->size.bytes > 0) {
|
2016-09-03 22:45:02 -07:00
|
|
|
cursor += snprintf(*writer, limit, "(UNEXPECTED ");
|
2017-07-13 17:17:22 -07:00
|
|
|
cursor += ts_tree__write_char_to_string(*writer, limit, self->lookahead_char);
|
2017-12-28 15:48:35 -08:00
|
|
|
} else if (self->is_missing) {
|
|
|
|
|
cursor += snprintf(*writer, limit, "(MISSING");
|
2016-04-22 14:55:56 -07:00
|
|
|
} else {
|
2018-05-09 10:16:10 -07:00
|
|
|
TSSymbol symbol = alias_symbol ? alias_symbol : self->symbol;
|
2017-12-28 15:48:35 -08:00
|
|
|
const char *symbol_name = ts_language_symbol_name(language, symbol);
|
|
|
|
|
cursor += snprintf(*writer, limit, "(%s", symbol_name);
|
2016-04-22 14:55:56 -07:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2018-05-09 10:16:10 -07:00
|
|
|
const TSSymbol *alias_sequence = ts_language_alias_sequence(language, self->alias_sequence_id);
|
|
|
|
|
uint32_t structural_child_index = 0;
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < self->children.size; i++) {
|
|
|
|
|
Tree *child = self->children.contents[i];
|
2018-05-09 10:16:10 -07:00
|
|
|
if (child->extra) {
|
|
|
|
|
cursor += ts_tree__write_to_string(
|
|
|
|
|
child, *writer, limit,
|
|
|
|
|
language, false, include_all,
|
|
|
|
|
0, false
|
|
|
|
|
);
|
|
|
|
|
} else {
|
2018-05-09 14:14:56 -07:00
|
|
|
TSSymbol alias_symbol = alias_sequence ? alias_sequence[structural_child_index] : 0;
|
2018-05-09 10:16:10 -07:00
|
|
|
cursor += ts_tree__write_to_string(
|
|
|
|
|
child, *writer, limit,
|
|
|
|
|
language, false, include_all,
|
2018-05-09 14:14:56 -07:00
|
|
|
alias_symbol,
|
|
|
|
|
alias_symbol ? ts_language_symbol_metadata(language, alias_symbol).named : false
|
2018-05-09 10:16:10 -07:00
|
|
|
);
|
|
|
|
|
structural_child_index++;
|
|
|
|
|
}
|
2016-04-22 14:55:56 -07:00
|
|
|
}
|
|
|
|
|
|
2017-07-13 17:17:22 -07:00
|
|
|
if (visible) cursor += snprintf(*writer, limit, ")");
|
2016-04-22 14:55:56 -07:00
|
|
|
|
|
|
|
|
return cursor - string;
|
|
|
|
|
}
|
|
|
|
|
|
2017-12-28 15:48:35 -08:00
|
|
|
char *ts_tree_string(const Tree *self, const TSLanguage *language, bool include_all) {
|
|
|
|
|
char scratch_string[1];
|
2018-05-09 10:16:10 -07:00
|
|
|
size_t size = ts_tree__write_to_string(
|
|
|
|
|
self, scratch_string, 0,
|
|
|
|
|
language, true,
|
|
|
|
|
include_all, 0, false
|
|
|
|
|
) + 1;
|
2016-04-22 14:55:56 -07:00
|
|
|
char *result = ts_malloc(size * sizeof(char));
|
2018-05-09 10:16:10 -07:00
|
|
|
ts_tree__write_to_string(self, result, size, language, true, include_all, 0, false);
|
2016-04-22 14:55:56 -07:00
|
|
|
return result;
|
|
|
|
|
}
|
2016-06-22 21:04:35 -07:00
|
|
|
|
2016-11-14 12:15:24 -08:00
|
|
|
void ts_tree__print_dot_graph(const Tree *self, uint32_t byte_offset,
|
2018-05-09 10:16:10 -07:00
|
|
|
const TSLanguage *language, TSSymbol alias_symbol, FILE *f) {
|
|
|
|
|
TSSymbol symbol = alias_symbol ? alias_symbol : self->symbol;
|
2017-07-13 17:17:22 -07:00
|
|
|
fprintf(f, "tree_%p [label=\"%s\"", self, ts_language_symbol_name(language, symbol));
|
2016-06-22 21:04:35 -07:00
|
|
|
|
2018-04-02 18:04:26 -07:00
|
|
|
if (self->children.size == 0)
|
2016-06-22 21:04:35 -07:00
|
|
|
fprintf(f, ", shape=plaintext");
|
|
|
|
|
if (self->extra)
|
|
|
|
|
fprintf(f, ", fontcolor=gray");
|
|
|
|
|
|
2018-01-29 10:41:07 -08:00
|
|
|
fprintf(f, ", tooltip=\"address:%p\nrange:%u - %u\nstate:%d\nerror-cost:%u\nrepeat-depth:%u\"]\n",
|
|
|
|
|
self, byte_offset, byte_offset + ts_tree_total_bytes(self), self->parse_state,
|
|
|
|
|
self->error_cost, self->repeat_depth);
|
2018-05-09 10:16:10 -07:00
|
|
|
|
|
|
|
|
const TSSymbol *alias_sequence = ts_language_alias_sequence(language, self->alias_sequence_id);
|
|
|
|
|
uint32_t structural_child_index = 0;
|
2018-04-02 18:04:26 -07:00
|
|
|
for (uint32_t i = 0; i < self->children.size; i++) {
|
|
|
|
|
const Tree *child = self->children.contents[i];
|
2018-05-09 10:16:10 -07:00
|
|
|
if (child->extra) {
|
|
|
|
|
ts_tree__print_dot_graph(child, byte_offset, language, 0, f);
|
|
|
|
|
} else {
|
|
|
|
|
TSSymbol alias_symbol = alias_sequence ? alias_sequence[structural_child_index] : 0;
|
|
|
|
|
ts_tree__print_dot_graph(child, byte_offset, language, alias_symbol, f);
|
|
|
|
|
structural_child_index++;
|
|
|
|
|
}
|
2016-11-14 12:15:24 -08:00
|
|
|
fprintf(f, "tree_%p -> tree_%p [tooltip=%u]\n", self, child, i);
|
2016-09-22 18:02:11 -07:00
|
|
|
byte_offset += ts_tree_total_bytes(child);
|
2016-06-22 21:04:35 -07:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2018-04-08 13:49:20 -07:00
|
|
|
void ts_tree_print_dot_graph(const Tree *self, const TSLanguage *language, FILE *f) {
|
2016-06-22 21:04:35 -07:00
|
|
|
fprintf(f, "digraph tree {\n");
|
|
|
|
|
fprintf(f, "edge [arrowhead=none]\n");
|
2018-05-09 10:16:10 -07:00
|
|
|
ts_tree__print_dot_graph(self, 0, language, 0, f);
|
2016-06-22 21:04:35 -07:00
|
|
|
fprintf(f, "}\n");
|
|
|
|
|
}
|
2017-02-20 14:34:10 -08:00
|
|
|
|
2017-08-07 13:39:00 -07:00
|
|
|
static const TSExternalTokenState empty_state = {.length = 0, .short_data = {0}};
|
2017-06-28 16:13:28 -07:00
|
|
|
|
2017-06-27 14:30:46 -07:00
|
|
|
bool ts_tree_external_token_state_eq(const Tree *self, const Tree *other) {
|
2017-06-28 16:13:28 -07:00
|
|
|
const TSExternalTokenState *state1 = &empty_state;
|
|
|
|
|
const TSExternalTokenState *state2 = &empty_state;
|
|
|
|
|
if (self && self->has_external_tokens) state1 = &self->external_token_state;
|
|
|
|
|
if (other && other->has_external_tokens) state2 = &other->external_token_state;
|
2017-07-17 17:12:36 -07:00
|
|
|
return ts_external_token_state_eq(state1, state2);
|
2017-02-20 14:34:10 -08:00
|
|
|
}
|