Vários caracteres para finalizar uma string na sintaxe jEdit

Question

Estou escrevendo uma regra de destaque de sintaxe para o jEdit. Eu tenho a regra de string assim.

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

Funciona bem. O " char inicia e termina as cadeias. No entanto, também quero que o + char finalize as cadeias, mas não as inicie. No entanto, isso não funciona.

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

Eu também tentei isso, mas sem sucesso.

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

Estou sem ideias. O que estou fazendo errado?

    

Answer 1

Acho que você precisa usar a tag SPAN_REGEXP em vez de SPAN :

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

Não se esqueça de escapar do +