<synopsis>Questa appendice contiene un'essenziale introduzione al mondo delle <emphasis>espressioni regolari</emphasis>. Documenta le espressioni regolari nella froma disponibile in &kate;, che non è compatibile con quella di perl né con quella disponibile, per esempio, in <command>grep</command>.</synopsis>
<para>Le <emphasis>espressioni regolari</emphasis> forniscono un modo di descrivere il contenuto richiesto di una stringa di testo in modo comprensibile dal software, al fine di verificare se una sequenza di testo corrisponde al modello fornito, e, nel caso di applicazioni avanzate, permettono di memorizzare parti del testo corrispondenti.</para>
<para>Un esempio: diciamo che vuoi cercare nel testo tutti i paragrafi che iniziano per uno dei nomi <quote>Henrik</quote> o <quote>Pernille</quote> seguito da qualche forma del verbo <quote>say</quote>.</para>
<para>Con una ricerca normale, cominceresti con la ricerca del primo nome, <quote>Henrik</quote>, magari seguito da <quote>sa</quote>, così: <userinput>Henrik sa</userinput>, ed esaminando le corrispondenze, dovresti scartare tutte quelle in cui non si trovano all'inizio di un paragrafo, oltre a quelle in cui le parole che iniziano per <quote>sa</quote> non sono né <quote>says</quote> né <quote>said</quote>. E tutto ciò dovrà essere ripetuto con l'altro nome...</para>
<para>Con le espressioni regolari questo compito può essere svolto con una sola ricerca, e con una precisione più elevata.</para>
<para>Per farlo, le espressioni regolari definiscono regole per esprimere nel dettaglio una generalizzazione di una stringa da confrontare. Il nostro esempio, che potremmo esprimere in questo modo: <quote>Una riga che inizia con <quote>Henrik</quote> o <quote>Pernille</quote> (forse preceduti da fino a quattro caratteri di spazio o tabulazione) seguiti da un carattere di spaziatura seguito da <quote>sa</quote> e poi o <quote>ys</quote> o <quote>id</quote></quote>, può essere espresso con la seguente espressione regolare:</para> <para><userinput>^[ \t]{0,4}(Henrik|Pernille) sa(ys|id)</userinput></para>
<para>L'esempio appena introdotto dimostra i quattro concetti alla base delle espressioni regolari moderne, cioè:</para>
<para>Il carattere di accento circonflesso (<literal>^</literal>) che appare all'inizio dell'espressione è un'asserzione, che è vera solo se il resto della stringa da confrontare è all'inizio di una riga.</para>
<para>Le stringhe <literal>[ \t]</literal> e <literal>(Henrik|Pernille) sa(ys|id)</literal> sono modelli. Il primo è una <emphasis>classe di caratteri</emphasis> che corrisponde un carattere di spazio o di tabulazione (orizzontale); l'altro modello contiene prima un sotto-modello che corrisponde a <literal>Henrik</literal> <emphasis>o</emphasis> <literal>Pernille</literal>, poi un gruppo di caratteri che corrisponde letteralmente a <literal> sa</literal> ed infine un sotto-modello che corrisponde a <literal>ys</literal> <emphasis>o</emphasis> <literal>id</literal></para>
<para>La sequenza <literal>{0,4}</literal> è un quantificatore che indica <quote>da zero a quattro ripetizioni dell'espressione precedente</quote>.</para>
<para>Poiché il software per le espressioni regolari che gestisce il concetto di <emphasis>riferimento all'indietro</emphasis> salva l'intera sequenza di caratteri che corrisponde al modello, oltre ai sottomodelli racchiusi fra parentesi, se ci fosse modo di accedere a tali riferimenti, potremmo mettere le mani sull'intero testo corrispondente al modello (in caso di ricerca di un'espressione regolare in un editor di testo, la corrispondenza è indicata come selezionata) oppure il nome trovato, o l'ultima parte del verbo.</para>
<para>Nell'insieme, l'espressione corrisponderà a quello che vogliamo, e solo a quello.</para>
<para>Le sezioni seguenti descriveranno in dettaglio come costruire e usare i modelli, le classi di caratteri, le asserzioni, i quantificatori ed i riferimenti all'indietro, e la sezione finale fornirà qualche utile esempio.</para>
<para>I modelli consistono di sequenze di caratteri letterali e di classi di caratteri. I modelli possono contenere sotto-modelli, che sono modelli racchiusi fra parentesi.</para>
<para>Nei modelli così come nelle classi di caratteri, alcuni caratteri hanno un significato speciale. Perché corrispondano letteralmente ad uno di questi caratteri bisogna indicarne l'interpretazione letterale al software di gestione delle espressioni regolari.</para>
<para>Il software di gestione delle espressioni regolari ignora in silenzio l'uso di un carattere di escape prima di un carattere senza particolari significati, quindi se viene anteposto, ad esempio, a <quote>j</quote> (<userinput>\j</userinput>) non è dannoso. Se hai dei dubbi sul fatto che un dato carattere possa avere significati speciali, puoi anteporvi il carattere di escape per sicurezza.</para>
<title>Classi di caratteri e abbreviazioni</title>
<para>Una <emphasis>classe di caratteri</emphasis> è un'espressione regolare che corrisponde ad uno di un gruppo di caratteri particolare. Nelle espressioni regolari, le classi di caratteri sono definite inserendo i caratteri legali per la classe fra parentesi quadre, <literal>[]</literal>, o usando una delle classi predefinite descritte più avanti.</para>
<para>Classi di caratteri semplici contengono solo uno o più caratteri letterali, come ad esempio <userinput>[abc]</userinput> (che corrisponde ad una delle lettere <quote>a</quote>, <quote>b</quote> o <quote>c</quote>) o <userinput>[0123456789]</userinput> (che corrisponde ad una delle cifre decimali).</para>
<para>Poiché le lettere e i numeri hanno un ordine logico, puoi abbreviare le definizioni delle classi che li contengono specificando degli intervalli: <userinput>[a-c]</userinput> è equivalente a <userinput>[abc] e </userinput>[0-9] equivale a scrivere <userinput>[0123456789]</userinput>. Sono ammesse anche le combinazioni di questi costrutti, ad esempio, <userinput>[a-fynot1-38]</userinput> corrisponde ad un carattere fra <quote>a</quote>, <quote>b</quote>, <quote>c</quote>, <quote>d</quote>, <quote>e</quote>, <quote>f</quote>, <quote>y</quote>, <quote>n</quote>, <quote>o</quote>, <quote>t</quote>, <quote>1</quote>, <quote>2</quote>,<quote>3</quote> e <quote>8</quote>.</para>
<para>Poiché le lettere maiuscole vengono distinte da quelle minuscole, per creare una classe di caratteri che corrisponda ad <quote>a</quote> o <quote>b</quote> senza distinguere fra maiuscole e minuscole devi scrivere <userinput>[aAbB]</userinput>.</para>
<para>È anche possibile creare una classe di caratteri <quote>negativa</quote>, che corrisponde dove un qualunque carattere tranne quelli elencati è presente. Per far ciò inserisci un carattere di accento circonflesso <quote>^</quote> all'inizio della classe: </para>
<para><userinput>[^abc]</userinput> corrisponderà ad un carattere qualsiasi <emphasis>che non sia</emphasis> <quote>a</quote>, <quote>b</quote> o <quote>c</quote>.</para>
<para>Oltre ai caratteri letterali sono definite alcune abbreviazioni che rendono la vita un po' più semplice: <variablelist>
<listitem><para>Questo corrisponde ad un carattere Unicode che ha la rappresentazione esadecimale hhhh (tra 0x0000 e 0xFFFF). \Oooo (&ie; \zero ooo) corrisponde al carattere <acronym>ASCII</acronym>/Latin-1 rappresentato dal numero ottale 000 (compreso tra 0 e 0377).</para></listitem>
<listitem><para>Corrisponde ad un carattere che non è di spaziatura. Equivale a <literal>[^ \t\n\r]</literal> ed è uguale a <literal>[^\s]</literal></para></listitem>
<listitem><para>Corrisponde ad un <quote>carattere di parola</quote> - in questo caso a qualsiasi lettera o numero. Nota che il carattere di sottolineatura (<literal>_</literal>) non viene considerato un carattere di parola, come succede nelle espressioni regolari di perl. È uguale a <literal>[a-zA-Z0-9]</literal></para></listitem>
<listitem><para>Corrisponde ad un <quote>carattere di non-parola</quote> - qualsiasi carattere che non sia una lettera o un numero. Equivale a <literal>[^a-zA-Z0-9]</literal> o a <literal>[^\w]</literal></para></listitem>
<para>Le classi abbreviate possono essere inserite all'interno di classi personalizzate, ad esempio per richiedere la corrispondenza di n carattere di parola, di uno spazio o di un punto, puoi scrivere <userinput>[\w \.]</userinput></para>
<para>I seguenti caratteri hanno un significato particolare all'interno del costrutto <quote>[]</quote> delle classi di caratteri, e devono essere preceduti dal carattere di escape per essere inclusi letteralmente in una classe:</para>
<listitem><para>Termina la classe di caratteri. Deve essere preceduto dal carattere di escape a meno che non sia esattamente il primo della classe (può seguire un carattere <quote>^</quote>, che indica la negazione della classe)</para></listitem>
<term><userinput>^</userinput> (simbolo di accento circonflesso)</term>
<listitem><para>Denota una classe negativa, se è il primo carattere. Deve essere preceduto dal carattere di escape se deve corrispondere letteralmente se è il primo carattere della classe.</para></listitem>
<listitem><para>Denota un intervallo logico di caratteri. Deve sempre essere preceduto dal carattere di escape per essere interpretato alla lettera in una classe di caratteri.</para></listitem>
<title>Alternative: corrispondenza del tipo <quote>uno fra</quote></title>
<para>Se vuoi controllare se il testo corrisponde ad uno fra una serie di modelli alternativi, puoi separare ciascuna alternativa con un carattere <literal>|</literal> (barra verticale).</para>
<para>Ad esempio, per trovare uno fra <quote>John</quote> ed <quote>Harry</quote>, devi usare l'espressione <userinput>John|Harry</userinput>.</para>
<para>Puoi usare un sotto-modello per raggruppare un insieme di alternative all'interno di un modello più grande. Le alternative sono separate dal carattere <quote>|</quote> (barra verticale).</para>
<para>Ad esempio per cercare una parola fra <quote>int</quote>, <quote>float</quote> e <quote>double</quote>, puoi usare il modello <userinput>int|float|double</userinput>. Se vuoi trovare la parole solo se è seguita da un po' di spazi e delle lettere, inserisci le alternative in un sotto-modello: <userinput>(int|float|double)\s+\w+</userinput>.</para>
<title>Cattura del testo corrispondente (riferimenti all'indietro)</title>
<para>Se vuoi usare un riferimento all'indietro, usa un sotto-modello per fare in modo che la sezione che ti interessa del modello sia ricordata.</para>
<para>Per esempio, se vuoi trovare due ripetizioni della stessa parola separate da una virgola ed eventualmente da qualche spazio bianco, puoi scrivere <userinput>(\w+),\s*\1</userinput>. Il sottomodello <userinput>\w+</userinput> troverà una sequenza di caratteri di parola, e l'intera espressione corrisponderà se gli stessi caratteri saranno seguiti da una virgola, zero o più caratteri di spaziatura, e da un'identica sequenza di caratteri di parola (La stringa <literal>\1</literal> si riferisce al <emphasis>primo sottomodello racchiuso fra parentesi</emphasis>).</para>
<!-- <para>See also <link linkend="backreferences">Back references</link>.</para> -->
<para>Un'asserzione di lookahead è un sotto-modello che inizia con <literal>?=</literal> o <literal>?!</literal>.</para>
<para>Per esempio per trovare la stringa letterale <quote>Bill</quote> ma solo se non è seguita da <quote> Gates</quote>, puoi usare questa espressione: <userinput>Bill(?! Gates)</userinput>. Verrà trovato <quote>Bill Clinton</quote> ed anche <quote>Billy the kid</quote>, ma verranno ignorate silenziosamente le altre corrispondenze.)</para>
<para>I sotto-modelli usati per le asserzioni non sono catturati.</para>
<para>Vedi anche <link linkend="assertions">Le asserzioni</link></para>
<para>I seguenti caratteri hanno un significato all'interno di un modello, e devi farli precedere da un carattere di escape se devi controllarne la presenza letterale: <variablelist>
<para>I <emphasis>quantificatori</emphasis> permettono a un'espressione regolare di corrispondere ad un numero specificato di caratteri o di caratteri di una classe, o di sotto-modelli.</para>
<para>I quantificatori sono racchiusi da parentesi graffe (<literal>{</literal> e <literal>}</literal>) ed hanno la forma generale <literal>{[ripetizioni-minime][,[ripetizioni-massime]]}</literal> </para>
<para>L'uso è spiegato meglio con degli esempi: <variablelist>
<para>Quando si usano quantificatori senza massimo, le espressioni regolari cercano normalmente di adattarsi all'estensione più lunga di caratteri della stringa esaminata, comportamento normalmente noto come <emphasis>ingordigia</emphasis>.</para>
<para>IL software per le espressioni regolari moderno fornisce dei metodi per <quote>eliminare l'ingordigia</quote>, sebbene in un ambiente grafico dipende dall'interfaccia il metodo di accesso a questa funzione. Per esempio una finestra di ricerca che permette l'uso di espressioni regolari, potrebbe avere una casella marcata <quote>Corrispondenza minimale</quote>, e dovrebbe indicare se l'ingordigia è il comportamento predefinito.</para>
<listitem><para>Corrisponde ai numeri in <quote>1234 vai</quote> e <quote>12345 ora</quote>, ma non a <quote>567 undici</quote> né a <quote>223459 qualcosa</quote></para></listitem>
<listitem><para>Corrisponde a tutta la stringa <quote>blablabla</quote> e a <quote>bla</quote> in <quote>blasone</quote> o <quote>cablato</quote></para></listitem>
<listitem><para>Corrisponde a <quote>/></quote> in <quote><closeditem/></quote> ed anche a <quote>></quote> in <quote><openitem></quote>.</para></listitem>
<para>Le <emphasis>asserzioni</emphasis> permettono ad un'espressione regolare di corrispondere solo a certe condizioni.</para>
<para>Un'asserzione non corrisponde necessariamente a un carattere, piuttosto impone delle restrizioni sulle condizioni della possibile corrispondenza prima di riconoscerla. Ad esempio l'asserzione <emphasis>confine parola</emphasis> non cerca di trovare un carattere non-parola di fianco ad uno di parola, si assicura solo che non ci sia un carattere parola. Quindi l'asserzione corrisponde dove non c'è un carattere, &ie; alla fine della stringa in esame.</para>
<para>Alcune asserzioni hanno effettivamente modelli da confrontare, ma la parte di stringa a cui corrispondono non faranno parte del risultato del confronto dell'espressione regolare intera.</para>
<para>Le espressioni regolari qui documentate permettono di usare le seguenti asserzioni: <variablelist>
<listitem><para>Corrisponde all'inizio della stringa vagliata.</para> <para>L'espressione <userinput>^Peter</userinput> corrisponderà a <quote>Peter</quote> Nella stringa <quote>Peter, hey!</quote> ma non in <quote>Hey, Peter!</quote> </para> </listitem>
<term><userinput>$</userinput> (fine della stringa)</term>
<listitem><para>Corrisponde alla fine della stringa vagliata.</para>
<para>L'espressione <userinput>you\?$</userinput> corrisponde all'ultimo you della frase <quote>You didn't do that, did you?</quote> man non a <quote>You didn't do that, right?</quote></para>
<listitem><para>Corrisponde se c'è un carattere di parola su un lato ed un carattere che non fa parte di una parola sull'altro.</para>
<para>È utile per trovare le estremità di una parola. Come esempio, all'espressione <userinput>\bin\b</userinput> corrisponde l'<quote>in</quote> in <quote>He came in through the window</quote>, ma non l'<quote>in</quote> di <quote>window</quote>.</para></listitem>
<listitem><para>Corrisponde a tutto quello che non corrisponde a <quote>\b</quote>.</para>
<para>Ciò significa che corrisponderà ad esempio all'interno di parole: L'espressione <userinput>\Bin\B</userinput> corrisponde in <quote>window</quote> ma non in <quote>integer</quote> o in <quote>I'm in love</quote>.</para>
<listitem><para>Un'asserzione di lookahead controlla la parte della stringa che segue una potenziale corrispondenza. Il lookahead positivo impedirà che la stringa corrisponda se il testo che segue non corrisponde al <emphasis>MODELLO</emphasis> dell'asserzione, ma il testo a cui corrisponde non sarà incluso nel risultato.</para>
<para>L'espressione <userinput>handy(?=\w)</userinput> corrisponderà a <quote>handy</quote> in <quote>handyman</quote> ma non in <quote>That came in handy!</quote></para>
<listitem><para>Il lookahead negativo impedisce una potenziale corrispondenza se la parte seguente della stringa in esame non corrisponde al <emphasis>MODELLO</emphasis>.</para>
<para>L'espressione <userinput>const \w+\b(?!\s*&)</userinput> corrisponde a <quote>const char</quote> nella stringa <quote>const char* foo</quote> mentre non corrisponde a <quote>const TQString</quote> in <quote>const TQString& bar</quote> perché <quote>&</quote> corrisponde al modello dell'asserzione di lookahead negativo.</para>
