jEdit 语法中以多个字符结束字符串

jEdit 语法中以多个字符结束字符串

我正在为 jEdit 编写语法高亮规则。我有如下字符串规则。

<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
    <BEGIN>"</BEGIN>
    <END>"</END>
</SPAN>

效果很好。char"既可以作为字符串的开始,也可以作为字符串的结束。但是,我还想让+char 结束字符串,而不是开始字符串。但是,这不起作用。

<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
    <BEGIN>"</BEGIN>
    <END>("|+)</END>
</SPAN>

我也尝试过这个,但是没有效果。

<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
    <BEGIN>"</BEGIN>
    <END>"</END>
</SPAN>
<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
    <BEGIN>"</BEGIN>
    <END>+</END>
</SPAN>

我没主意了。我做错了什么?

答案1

我认为你必须使用SPAN_REGEXP标签而不是SPAN

<SPAN_REGEXP TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
    <BEGIN>"</BEGIN>
    <END REGEXP="TRUE">("|\+)</END>
</SPAN_REGEXP>

别忘了逃离+

相关内容