Multiple chars to end a string in jEdit syntax

Question

I am writing a a syntax highlighting rule for jEdit. I have the string rule like this.

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

It works fine. The " char both starts and ends strings. However, I also want the + char to end strings, but not start them. However, this does not work.

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

I also tried this, but to no avail.

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

I am out of ideas. What am I doing wrong?

Answer 1

I think you have to use SPAN_REGEXP tag instead of SPAN:

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

Don't forget to escape the +