[发明专利]带有增量改变的高效不可变句法表示

摘要

通过创建数据结构来启用在增量改变下带有父指针的高效不可变句法表示，该数据结构包括至少一个允许在树中进行向上和向下引用两者的树结构、以及不可变的（只读）且允许其自身的部分在其他数据结构中被重复使用的树结构。所描述的数据结构使得工具能够搜索并将特定的子树定位目标。该树的表示被定为目标的子树的片段在使用时被产生。树的其余部分不被产生。只读树保留相对信息，从而使其可被重新组装和共享。

主权项

一种系统，包括：处理器和存储器，所述存储器包括一模块，其被配置成使所述处理器执行：创建至少一个消费者可访问的数据结构，所述数据结构表示树，其中所述数据结构包括：可重复使用的第一树，该第一树表示所述至少一个消费者不可直接访问的共享的只读树的，其中所述只读树中的节点具有单向指针，使得第一树的所述节点不具有指向父节点的指针；以及所述至少一个消费者可访问的第二树，该第二树包括控制所述至少一个消费者对第一树的访问的至少一个根节点，其中第二树的根节点包括指向第一树的根节点的指针。