Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: mode-rule-seq.html Sprache: HTML

Original von: Isabelle^©

products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/mode-rule-seq.html

<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>The SEQ Tag</title><meta name="generator" content="DocBook XSL Stylesheets V1.79.1"><link rel="home" href="index.html" title="jEdit 5.6 User's Guide"><link rel="up" href="writing-modes.html" title="Chapter 10. Mode Definition Syntax"><link rel="prev" href="mode-rule-mark-following.html" title="The MARK_FOLLOWING Tag"><link rel="next" href="mode-rule-seq-regexp.html" title="The SEQ_REGEXP Tag"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">The SEQ Tag</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="mode-rule-mark-following.html">Prev</a> </td><th width="60%" align="center">Chapter 10. Mode Definition Syntax</th><td width="20%" align="right"> <a accesskey="n" href="mode-rule-seq-regexp.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="mode-rule-seq"></a>The SEQ Tag</h2></div></div></div><p>The <code class="literal">SEQ</code> rule, which must be placed inside a
        <code class="literal">RULES</code> tag, highlights fixed sequences of text. The
        text to highlight is specified between opening and closing
        <code class="literal">SEQ</code> tags. The following attributes are
        supported:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p><code class="literal">TYPE</code> - the token type to highlight the
                sequence with. See <a class="xref" href="mode-syntax-tokens.html" title="Token Types">the section called “Token Types”</a> for a
                list of token types.</p></li><li class="listitem"><p><code class="literal">AT_LINE_START</code> - If set to
                <code class="literal">TRUE</code>, the sequence will only be highlighted
                if it occurs at the beginning of a line.</p></li><li class="listitem"><p><code class="literal">AT_WHITESPACE_END</code> - If set to
                <code class="literal">TRUE</code>, the sequence will only be highlighted
                if it is the first non-whitespace text in the line.</p></li><li class="listitem"><p><code class="literal">AT_WORD_START</code> - If set to
                <code class="literal">TRUE</code>, the sequence will only be highlighted
                if it occurs at the beginning of a word.</p></li><li class="listitem"><p><code class="literal">DELEGATE</code> - if this attribute is
                specified, all text after the sequence will be highlighted using
                this ruleset. To delegate to a ruleset defined in the current
                mode, just specify its name. To delegate to a ruleset defined in
                another mode, specify a name of the form
                <code class="literal"><em class="replaceable"><code>mode</code></em>::<em class="replaceable"><code>ruleset</code></em></code>.
                Note that the first (unnamed) ruleset in a mode is called
                <span class="quote">“<span class="quote">MAIN</span>”</span>.</p></li></ul></div><p>The following rules highlight a few Java operators:</p><pre class="programlisting"><SEQ TYPE="OPERATOR">+</SEQ>
<SEQ TYPE="OPERATOR">-</SEQ>
<SEQ TYPE="OPERATOR">*</SEQ>
<SEQ TYPE="OPERATOR">/</SEQ></pre></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="mode-rule-mark-following.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="writing-modes.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="mode-rule-seq-regexp.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">The MARK_FOLLOWING Tag </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> The SEQ_REGEXP Tag</td></tr></table></div></body></html>

¤ Dauer der Verarbeitung: 0.3 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.