paste - 是否可以将粘贴的文本转换为节点

Question

我有一个用户希望能够复制逗号分隔的值列表并将它们粘贴到 MPS 中的编辑器中。粘贴时，需要拆分文本，并且列表中的每个项目都需要作为单独的节点插入。

我的节点结构 StringLiteralList 概念

所以复制的文本“123,456,789”粘贴到 MPS 时应该生成

node<StringLiteralList>
    node<StringLiteral> value = 123
    node<StringLiteral> value = 456
    node<StringLiteral> value = 789

Answer 1

肯定的事。您只需从剪贴板读取数据，自行解析并使用 smodel 语言创建所需的节点。编辑器动作可能是触发 Control + V 动作的最佳机制。

jmlang.text 语言中的 PasteHandler 可以作为示例。