<synopsis>Detta appendix innehåller en kortfattad, men förhoppningsvis tillräcklig och heltäckande introduktion till de <emphasis>reguljära uttryckens </emphasis> värld. Det dokumenterar reguljära uttryck på den form som är tillgänglig i &kate;, som inte är likadana som reguljära uttryck i Perl, och inte heller i till exempel <command>grep</command>.</synopsis>
<para><emphasis>Reguljära uttryck</emphasis> ger oss en möjlighet att beskriva ett möjligt innehåll i en textsträng på ett sätt som enkelt kan förstås av programvara, så att den kan undersöka om texten matchar, och för mer avancerade tillämpningar, ge möjlighet att spara delar av texten som matchar.</para>
<para>Ett exempel: Säg att du vill leta i en text efter stycken som börjar med något av namnen <quote>Henrik</quote> eller <quote>Pernilla</quote>, följt av någon form av verbet <quote>säga</quote>.</para>
<para>Med en normal sökning, skulle du börja med att leta efter det första namnet, <quote>Henrik</quote>, kanske följt av <quote>s</quote> på det här sättet: <userinput>Henrik s</userinput>, och medan du letar efter träffar måste du bortse från alla de som inte inleder ett stycke, samt de där ordet som börjar med <quote>s</quote> inte var antingen <quote>säger</quote>, <quote>sade</quote> etc. Och därefter måste du förstås repetera allt för nästa namn ...</para>
<para>Med reguljära uttryck, kan den här uppgiften utföras med en enda sökning, och med högre noggrannhet.</para>
<para>För att åstadkomma detta, definierar reguljära uttryck detaljerade regler för att beskriva en generell sträng som ska matcha. Vårt exempel, som vi kan beskriva så här med ord: <quote>En rad som börjar antingen med <quote>Henrik</quote> eller <quote>Pernilla</quote> (möjligen efter upp till fyra mellanslag eller tabulatortecken), följt av ett mellanslag, följt av <quote>s</quote> och sedan antingen <quote>äger</quote> eller <quote>ade</quote></quote>, skulle kunna uttryckas med följande reguljära uttryck:</para> <para><userinput>^[ \t]{0,4}(Henrik|Pernilla) s(äger|ade)</userinput></para>
<para>Ovanstående exempel demonstrerar alla fyra huvudkoncepten i moderna reguljära uttryck, nämligen:</para>
<para>Hatten (<literal>^</literal>) som inleder uttrycket är ett påstående, som bara är sant om den följande strängen som matchar är först på raden.</para>
<para>Strängarna <literal>[ \t]</literal> och <literal>(Henrik|Pernilla) s(äger|ade)</literal> är mönster. Det första är en <emphasis>teckenklass</emphasis> som antingen matchar ett blanktecken eller ett (horisontellt) tabulatortecken. Det andra mönstret innehåller först ett delmönster som antingen matchar <literal>Henrik</literal> <emphasis>eller</emphasis> <literal>Pernilla</literal>, därefter en del som exakt matchar strängen <literal> s</literal> och slutligen ett delmönster som antingen matchar <literal>äger</literal> <emphasis>eller</emphasis> <literal>ade</literal>.</para>
<para>Strängen <literal>{0,4}</literal> är en kvalificering som säger <quote>allt från noll upp till fyra av det föregående</quote>.</para>
<para>Eftersom programvara för reguljära uttryck stöder konceptet med <emphasis>bakåtreferenser</emphasis>, så sparas hela den matchande delen av strängen, samt delmönster som finns mellan parenteser. Givet något sätt att komma åt de här referenserna, skulle vi kunna få tag på hela matchningen (när man söker i ett textdokument i en editor med ett reguljärt uttryck, så visas den ofta markerad), eller namnet som hittades, eller den sista delen av verbet.</para>
<para>I sin helhet, så matchar uttrycket vad vi ville att det skulle göra, och bara det.</para>
<para>Följande avsnitt beskriver i detalj hur man skapar och använder mönster, teckenklasser, påståenden, kvalificering och bakåtreferenser. Det sista avsnittet ger några användbara exempel.</para>
<para>I mönster och teckenklasser har vissa tecken en särskilt mening. För att uttryckligen matcha något av de här tecknen, måste de markeras eller <emphasis>undantas</emphasis> för att tala om för programvaran för reguljära uttryck att den ska tolka sådana tecken uttryckligen.</para>
<para>Programvaran för reguljära uttryck ignorerar tecken som undantas även om de inte har någon särskild betydelse i sammanhanget, så att undanta till exempel ett <quote>j</quote> (<userinput>\j</userinput>) är säkert. Om du är tveksam om ett tecken kan ha en särskild betydelse, kan du därför alltid undanta det på ett säkert sätt.</para>
<para>En <emphasis>teckenklass</emphasis> är ett uttryck som matchar ett tecken i en mängd angivna tecken. I reguljära uttryck definieras teckenklasser genom att ange de giltiga tecknen i klassen inom hakparenterser, <literal>[]</literal>, eller genom att använda en av de förkortade klasserna som beskrivs nedan.</para>
<para>Enkla teckenklasser innehåller bara uttryckligen ett eller flera tecken, till exempel <userinput>[abc]</userinput> (som matchar något av tecknen <quote>a</quote>, <quote>b</quote> eller <quote>c</quote>) eller <userinput>[0123456789]</userinput> (som matchar alla siffror).</para>
<para>Eftersom bokstäver och siffror har en logisk ordning, kan du förkorta dem genom att ange intervall: <userinput>[a-c]</userinput> är samma sak som <userinput>[abc]</userinput> och <userinput>[0-9]</userinput> är samma sak som <userinput>[0123456789]</userinput>. Att kombineras dessa sammansättningar, till exempel med <userinput>[a-fynot1-38]</userinput> är fullständigt riktigt (detta skulle förstås matcha antingen <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> eller <quote>8</quote>).</para>
<para>Eftersom stora bokstäver är andra tecken än motsvarande små bokstäver, så måste du alltså skriva <userinput>[aAbB]</userinput>, för att skapa en teckenklass som matchar både de små och stora bokstäverna <quote>a</quote> eller <quote>b</quote>.</para>
<para>Det är förstås möjligt att skapa en <quote>negativ</quote> klass som matchar <quote>allting utom</quote>. För att göra detta lägg till en hatt (<literal>^</literal>) först i klassen: </para>
<para><userinput>[^abc]</userinput> matchar alla tecken <emphasis>utom</emphasis> <quote>a</quote>, <quote>b</quote> eller <quote>c</quote>.</para>
<para>Förutom uttryckliga tecken, definieras några förkortningar, som gör livet lite enklare: <variablelist>
<listitem><para>Det här matchar Unicode-tecknet som motsvarar det hexadecimala värdet hhhh (mellan 0x0000 och 0xFFFF). \0ooo (dvs. \noll ooo) matchar <acronym>ASCII</acronym>/Latin-1 tecknet som motsvarar det oktala värdet ooo (mellan 0 och 0377).</para></listitem>
<listitem><para>Det här matchar allt utom ett blanktecken. Nästan samma sak som <literal>[^ \t\r\n]</literal>, och samma som <literal>[^\s]</literal>.</para></listitem>
<listitem><para>Matchar alla <quote>ord-tecken</quote> - i det här fallet alla bokstäver eller siffror. Observera att understreck (<literal>_</literal>) inte matchas, vilket är fallet för motsvarande reguljära uttryck i Perl. Samma som <literal>[a-zA-Z0-9]</literal>.</para></listitem>
<listitem><para>Matchar alla tecken som inte ingår i ord - allt utom bokstäver eller siffror. Samma som <literal>[^a-zA-Z0-9]</literal> eller <literal>[^\w]</literal>.</para></listitem>
<para>De förkortade klasserna kan användas inne i en annan klass. För att till exempel matcha ett ord-tecken, ett mellanslag eller en punkt, skulle du kunna skriva <userinput>[\w \.]</userinput>.</para>
<para>Följande tecken har en särskild betydelse inne i konstruktionen <quote>[]</quote> för teckenklasser, och måste undantas för att användas uttryckligen i en teckenklass:</para>
<listitem><para>Avslutar teckenklassen. Måste undantas om det inte är det allra första tecknet i klassen (kan följa en hatt som inte undantas).</para></listitem>
<listitem><para>Anger en negativ klass, om det är det första tecknet. Måste undantas för att uttryckligen matcha om det är det första tecknet i klassen.</para></listitem>
<para>Om du vill matcha en av ett antal olika mönster, kan du skilja dem åt med <literal>|</literal> (ett vertikalt streck).</para>
<para>För att till exempel antingen hitta <quote>John</quote> eller <quote>Harry</quote> kan du använda uttrycket <userinput>John|Harry</userinput>.</para>
<para>Du kan använda ett delmönster för att gruppera ett antal alternativ i ett större mönster. Alternativen delas av tecknet <quote>|</quote> (vertikalt streck).</para>
<para>För att till exempel matcha antingen orden <quote>int</quote>, <quote>float</quote> eller <quote>double</quote>, skulle du kunna använda mönstret <userinput>int|float|double</userinput>. Om du bara vill hitta ordet om det följs av blanktecken och därefter några bokstäver, placera alternativen i ett delmönster: <userinput>(int|float|double)\s+\w+</userinput>.</para>
<title>Spara text som matchar (bakåtreferenser)</title>
<para>Om du vill använda en bakåtreferens, använd ett delmönster för att komma ihåg önskad del av mönstret.</para>
<para>Om du till exempel vill hitta två förekomster av samma ord åtskilda av ett kommatecken och möjligen några blanktecken, skulle du kunna skriva <userinput>(\w+),\s*\1</userinput>. Delmönstret <literal>\w+</literal> skulle hitta en grupp med ord-tecken, och hela uttrycket skulle matcha om de följdes av ett komma, noll eller flera blanktecken och sedan en likadan grupp med ord-tecken. (Strängen <literal>\1</literal> refererar till <emphasis>det första delmönstret inneslutet i parenteser</emphasis>).</para>
<!-- <para>See also <link linkend="backreferences">Back references</link>.</para> -->
<para>Ett påstående för sökning framåt är ett delmönster, som antingen börjar med <literal>?=</literal> eller <literal>?!</literal>.</para>
<para>För att till exempel uttryckligen matcha strängen <quote>Bill</quote> men bara om den inte följs av <quote> Gates</quote>, skulle du kunna använda det här uttrycket: <userinput>Bill(?! Gates)</userinput>. (Det här skulle hitta <quote>Bill Clinton</quote> samt <quote>Billy the kid</quote>, men tyst ignorera de andra träffarna).</para>
<para>Delmönster som används för påståenden sparas inte.</para>
<para>Se också <link linkend="assertions">Påståenden</link>.</para>
<para>En <emphasis>kvalificering</emphasis> låter ett reguljärt uttryck antingen matcha ett angivet antal eller intervall av ett tecken, en teckenklass eller ett delmönster.</para>
<para>En kvalificering innesluts av klamrar (<literal>{</literal> och <literal>}</literal>) och har den allmänna formen <literal>{[minimalt antal][,[maximalt antal]]}</literal>. </para>
<para>Användningen förklaras bäst med exempel: <variablelist>
<para>När kvalificeringar utan maximum används, så matchar reguljära uttryck normalt så mycket av söksträngen som möjligt, ett beteende som ofta kallas för <emphasis>glupskt</emphasis>.</para>
<para>Modern programvara för reguljära uttryck tillhandahåller en möjlighet att <quote>stänga av det glupska beteendet</quote>, även om det är det grafiska gränssnittet som måste ge dig tillgång till den här funktionen. En sökdialogruta som tillhandahåller sökning med reguljära uttryck skulle kunna ha en kryssruta som heter <quote>Minimal matchning</quote>, och borde också ange att glupskt beteende är det normala.</para>
<listitem><para>Matchar siffrorna i <quote>1234 gå</quote> och <quote>12345 nu</quote>, men varken <quote>567 elva</quote> eller <quote>223459 någonstans</quote>.</para></listitem>
<para><emphasis>Påståenden</emphasis> gör att ett reguljärt uttryck bara matchar under vissa kontrollerade omständigheter.</para>
<para>Ett påstående behöver inte ett tecken för att matcha, utan undersöker istället omgivningen runt en möjlig matchning innan den erkänns. Påståendet <emphasis>ordgräns</emphasis> försöker till exempel inte hitta ett tecken som inte ingår i ett ord intill ett ord-tecken på platsen, utan kontrollerar istället att det inte finns ett ord-tecken. Det här betyder att påståendet matchar där det inte finns något tecken alls, dvs. vid slutet på söksträngen.</para>
<para>Vissa påståenden har verkligen ett mönster som ska matcha, men den delen av strängen som matchar kommer inte att ingå i resultatet för matchningen av hela uttrycket.</para>
<para>Reguljära uttryck som de dokumenteras här stöder följande påståenden: <variablelist>
<varlistentry>
<term><userinput>^</userinput> (hatt: början på strängen)</term>
<listitem><para>Matchar början på söksträngen.</para> <para>Uttrycket <userinput>^Peter</userinput> matchar vid <quote>Peter</quote> i strängen <quote>Peter, hej då!</quote> men inte <quote>Hej, Peter!</quote>. </para> </listitem>
<term><userinput>$</userinput> (slutet på strängen)</term>
<listitem><para>Matchar slutet på söksträngen.</para>
<para>Uttrycket <userinput>du\?$</userinput> matchar det sista dui strängen <quote>Du gjorde det väl inte, eller var det verkligen du?</quote> men ingenstans i <quote>Du gjorde det väl inte, eller hur?</quote>.</para>
<listitem><para>Matchar om det finns ett ordtecken på ena sidan och något annat än ett ordtecken på andra sidan.</para>
<para>Det här är användbart för att hitta slutet på ord, till exempel för både början och slutet för att hitta ett helt ord. Uttrycket <userinput>\bin\b</userinput> matchar ett ensamt <quote>in</quote> i strängen <quote>Han kom in genom ingången</quote>, men inte det <quote>in</quote> som finns i <quote>ingången</quote>.</para></listitem>
<listitem><para>Matchar överallt där <quote>\b</quote> inte gör det.</para>
<para>Det här betyder att det matchar till exempel inne i ord: Uttrycket <userinput>\Bin\B</userinput> matchar in i <quote>minne</quote> men inte i <quote>ingång</quote> eller <quote>Han kom in genom fönstret</quote>.</para>
<listitem><para>Ett påstående som söker framåt tittar på strängen som följer en möjlig matchning. Den positiva sökningen förhindrar att strängen matchar om inte texten som följer den möjliga matchningen matchar <emphasis>MÖNSTER</emphasis> i påståendet, men texten som matchas av det ingår inte i resultatet.</para>
<para>Uttrycket <userinput>vakt(?=\w)</userinput> matchar för <quote>vakt</quote> in <quote>vaktmästare</quote> men inte i <quote>Han är en vakt!</quote></para>
<listitem><para>Den negativa sökningen framåt förhindrar en möjlig matchning från att bekräftas om den följande delen av söksträngen matchar sitt <emphasis>MÖNSTER</emphasis>.</para>
<para>Uttrycket <userinput>const \w+\b(?!\s*&)</userinput> matchar vid <quote>const char</quote> i strängen <quote>const char* x</quote> medan den inte kan matcha <quote>const TQString</quote> i <quote>const TQString& y</quote> eftersom <quote>&</quote> matchar mönstret i den negativa sökningen framåt.</para>
