Skip to content

Commit

Permalink
adopt sdo style for regexp evaluation rules
Browse files Browse the repository at this point in the history
  • Loading branch information
@bakkot
bakkot committed Dec 11, 2021
1 parent 580a8f2 commit c8482ef
Showing 1 changed file with 112 additions and 163 deletions.
275 changes: 112 additions & 163 deletions spec.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36135,6 +36135,94 @@ <h1>Runtime Semantics: CompileToCharSet</h1>
<p>A `-` character can be treated literally or it can denote a range. It is treated literally if it is the first or last character of |ClassRanges|, the beginning or end limit of a range specification, or immediately follows a range specification.</p>
</emu-note>

<!-- ClassUnion -->
<emu-grammar>ClassUnion :: ClassRange ClassUnion?</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of |ClassRange|.
1. If |ClassUnion| is present, then
1. Let _B_ be CompileToCharSet of |ClassUnion|.
1. Return the union of CharSets _A_ and _B_.
1. Return _A_.
</emu-alg>
<emu-grammar>ClassUnion :: ClassOperand ClassUnion?</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of |ClassRange|.
1. If |ClassUnion| is present, then
1. Let _B_ be CompileToCharSet of |ClassUnion|.
1. Return the union of CharSets _A_ and _B_.
1. Return _A_.
</emu-alg>

<!-- ClassIntersection -->
<emu-grammar>ClassIntersection :: ClassOperand `&amp;&amp;` ClassOperand</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of the first |ClassOperand|.
1. Let _B_ be CompileToCharSet of the second |ClassOperand|.
1. Return the intersection of CharSets _A_ and _B_.
</emu-alg>
<emu-grammar>ClassIntersection :: ClassIntersection `&amp;&amp;` ClassOperand</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of the |ClassIntersection|.
1. Let _B_ be CompileToCharSet of the |ClassOperand|.
1. Return the intersection of CharSets _A_ and _B_.
</emu-alg>

<!-- ClassSubtraction -->
<emu-grammar>ClassSubtraction :: ClassOperand `--` ClassOperand</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of the first |ClassOperand|.
1. Let _B_ be CompileToCharSet of the second |ClassOperand|.
1. Return the subtraction of CharSets _A_ and _B_.
</emu-alg>
<emu-grammar>ClassSubtraction :: ClassSubtraction `--` ClassOperand</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of the |ClassSubtraction|.
1. Let _B_ be CompileToCharSet of the |ClassOperand|.
1. Return the subtraction of CharSets _A_ and _B_.
</emu-alg>

<!-- ClassOperand -->
<emu-grammar>ClassOperand :: ClassCharacter</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of |ClassCharacter|.
1. Return ! MaybeSimpleCaseFolding(_A_).
</emu-alg>
<emu-grammar>ClassOperand :: ClassStrings</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of |ClassStrings|.
1. Return ! MaybeSimpleCaseFolding(_A_).
</emu-alg>
<emu-grammar>ClassOperand :: NestedClass</emu-grammar>
<emu-alg>
1. Return CompileToCharSet of |NestedClass|.
</emu-alg>

<!-- ClassOperand -->
<emu-grammar>NestedClass :: `[` ClassRanges `]`</emu-grammar>
<emu-alg>
1. Return CompileToCharSet of |ClassRanges|.
</emu-alg>
<emu-grammar>NestedClass :: `[` `^` ClassRanges `]`</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of |ClassRanges|.
1. Return the CharSet containing all characters not in _A_.
</emu-alg>
<emu-grammar>NestedClass :: `\` CharacterClassEscape</emu-grammar>
<emu-alg>
1. Return CompileToCharSet of |CharacterClassEscape|.
</emu-alg>

<!-- ClassRange -->
<emu-grammar>ClassRange :: ClassCharacter `-` ClassCharacter</emu-grammar>
<emu-alg>
1. Let _A_ be CompileToCharSet of the first |ClassCharacter|.
1. Let _B_ be CompileToCharSet of the first |ClassCharacter|.
1. Return ! MaybeSimpleCaseFolding(! CharacterRange(_A, B_)).
</emu-alg>
<emu-note>
<p>The result will often consist of two or more ranges. When UnicodeSets is *true* and IgnoreCase is *true*, then MaybeSimpleCaseFolding([Ā-č]) will include only the odd-numbered code points of that range.</p>
</emu-note>

<!-- ClassAtom -->
<emu-grammar>ClassAtom :: `-`</emu-grammar>
<emu-alg>
Expand Down Expand Up @@ -36222,206 +36310,67 @@ <h1>Runtime Semantics: CompileToCharSet</h1>
1. Return ! MaybeSimpleCaseFolding(_A_).
</emu-alg>

<emu-clause id="sec-classcontents">
<h1>ClassContents</h1>
<p>The production <emu-grammar>ClassContents :: ClassUnion</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |ClassUnion|.
</emu-alg>
<p>The production <emu-grammar>ClassContents :: ClassIntersection</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |ClassIntersection|.
</emu-alg>
<p>The production <emu-grammar>ClassContents :: ClassSubtraction</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |ClassSubtraction|.
</emu-alg>
</emu-clause>

<emu-clause id="sec-classunion">
<h1>ClassUnion</h1>
<p>The production <emu-grammar>ClassUnion :: ClassRange ClassUnion?</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate |ClassRange| to obtain a CharSet _A_.
1. If |ClassUnion| is present, then
1. Evaluate |ClassUnion| to obtain a CharSet _B_.
1. Return the union of CharSets _A_ and _B_.
1. Return _A_.
</emu-alg>
<p>The production <emu-grammar>ClassUnion :: ClassOperand ClassUnion?</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate |ClassOperand| to obtain a CharSet _A_.
1. If |ClassUnion| is present, then
1. Evaluate |ClassUnion| to obtain a CharSet _B_.
1. Return the union of CharSets _A_ and _B_.
1. Return _A_.
</emu-alg>
</emu-clause>

<emu-clause id="sec-classintersection">
<h1>ClassIntersection</h1>
<p>The production <emu-grammar>ClassIntersection :: ClassOperand `&amp;&amp;` [lookahead != `&amp;] ClassOperand</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate the first |ClassOperand| to obtain a CharSet _A_.
1. Evaluate the second |ClassOperand| to obtain a CharSet _B_.
1. Return the intersection of CharSets _A_ and _B_.
</emu-alg>
<p>The production <emu-grammar>ClassIntersection :: ClassIntersection `&amp;&amp;` [lookahead != `&amp;] ClassOperand</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate the |ClassIntersection| to obtain a CharSet _A_.
1. Evaluate the |ClassOperand| to obtain a CharSet _B_.
1. Return the intersection of CharSets _A_ and _B_.
</emu-alg>
</emu-clause>

<emu-clause id="sec-classsubtraction">
<h1>ClassSubtraction</h1>
<p>The production <emu-grammar>ClassSubtraction :: ClassOperand `--` ClassOperand</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate the first |ClassOperand| to obtain a CharSet _A_.
1. Evaluate the second |ClassOperand| to obtain a CharSet _B_.
1. Return the subtraction of CharSet _A_ minus CharSet _B_.
</emu-alg>
<p>The production <emu-grammar>ClassSubtraction :: ClassSubtraction `--` ClassOperand</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate the |ClassSubtraction| to obtain a CharSet _A_.
1. Evaluate the |ClassOperand| to obtain a CharSet _B_.
1. Return the subtraction of CharSet _A_ minus CharSet _B_.
</emu-alg>
</emu-clause>

<emu-clause id="sec-classoperand">
<h1>ClassOperand</h1>
<p>The production <emu-grammar>ClassOperand :: ClassCharacter</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate the |ClassCharacter| to obtain a CharSet _A_.
1. Return ! MaybeSimpleCaseFolding(_A_).
</emu-alg>
<p>The production <emu-grammar>ClassOperand :: ClassStrings</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate the |ClassStrings| to obtain a CharSet _A_.
1. Return ! MaybeSimpleCaseFolding(_A_).
</emu-alg>
<p>The production <emu-grammar>ClassOperand :: NestedClass</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |NestedClass|.
</emu-alg>
</emu-clause>

<emu-clause id="sec-nestedclass">
<h1>NestedClass</h1>
<p>The production <emu-grammar>NestedClass :: `[` [lookahead != `^`] ClassRanges[+UnicodeMode, +UnicodeSetsMode] `]`</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |ClassRanges|.
</emu-alg>
<p>The production <emu-grammar>NestedClass :: `[` `^` ClassRanges[+UnicodeMode, +UnicodeSetsMode] `]`</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Let _A_ be the CharSet that is the result of evaluating |ClassRanges|.
1. Return the CharSet containing all characters not in _A_.
</emu-alg>
<p>The production <emu-grammar>NestedClass :: `\` CharacterClassEscape</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |CharacterClassEscape|.
</emu-alg>
</emu-clause>

<emu-clause id="sec-classrange">
<h1>ClassRange</h1>
<p>The production <emu-grammar>ClassRange :: ClassCharacter `-` ClassCharacter</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate the first |ClassCharacter| to obtain a CharSet _A_.
1. Evaluate the second |ClassCharacter| to obtain a CharSet _B_.
1. Return ! MaybeSimpleCaseFolding(! CharacterRange(_A, B_)).
</emu-alg>
<emu-note>
<p>The result will often consist of two or more ranges. When UnicodeSets is *true* and IgnoreCase is *true*, then MaybeSimpleCaseFolding([Ā-č]) will include only the odd-numbered code points of that range.</p>
</emu-note>
</emu-clause>

<emu-clause id="sec-classcharacter">
<h1>ClassCharacter</h1>
<p>The |ClassCharacter| productions evaluate as follows:</p>
<!-- ClassCharacter -->
<emu-grammar>
ClassCharacter :: [lookahead &notin; ClassReservedDouble] SourceCharacter but not ClassSyntaxCharacter
ClassCharacter :: SourceCharacter but not ClassSyntaxCharacter

ClassCharacter :: `\` CharacterEscape

ClassCharacter :: `\` ClassAllowEscaped

</emu-grammar>
<emu-alg>
1. Let _cv_ be the CharacterValue of this |ClassCharacter|.
1. Let _c_ be the character whose character value is _cv_.
1. Return the CharSet containing the single character _c_.
</emu-alg>
<p>The production <emu-grammar>ClassCharacter :: `\` `b`</emu-grammar> evaluates as follows:</p>
<emu-grammar>ClassCharacter :: `\` `b`</emu-grammar>
<emu-alg>
1. Return the CharSet containing the single character U+0008 (BACKSPACE).
</emu-alg>
</emu-clause>

<emu-clause id="sec-classranges">
<h1>ClassRanges</h1>
<p>The production <emu-grammar>ClassRanges :: [empty]</emu-grammar> evaluates as follows:</p>
<!-- ClassStrings -->
<emu-grammar>ClassStrings :: `(` ClassString MoreClassStrings? `)`</emu-grammar>
<emu-alg>
1. Return the empty CharSet.
</emu-alg>
<p>The production <emu-grammar>ClassRanges :: NonemptyClassRanges</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |NonemptyClassRanges|.
</emu-alg>
<p>The production <emu-grammar>ClassRanges :: ClassContents</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Return the CharSet that is the result of evaluating |ClassContents|.
</emu-alg>
</emu-clause>

<emu-clause id="sec-classstrings">
<h1>ClassStrings</h1>
<p>The production <emu-grammar>ClassStrings :: `(` ClassString MoreClassStrings? `)`</emu-grammar> evaluates as follows:</p>
<emu-alg>
1. Evaluate |ClassString| to obtain a string _s_.
1. Let _s_ be CompileString of |ClassString|.
1. Let A be the CharSet that contains the one string _s_.
1. If |MoreClassStrings| is present, then
1. Evaluate |MoreClassStrings| to obtain a CharSet _B_.
1. Let _B_ be CompileToCharSet of |MoreClassStrings|.
1. Return the union of CharSets _A_ and _B_.
1. Return _A_.
</emu-alg>
</emu-clause>

<emu-clause id="sec-moreclassstrings">
<h1>MoreClassStrings</h1>
<p>The production <emu-grammar>MoreClassStrings :: `|` ClassString MoreClassStrings?</emu-grammar> evaluates as follows:</p>
<!-- MoreClassStrings -->
<emu-grammar>MoreClassStrings :: `|` ClassString MoreClassStrings?</emu-grammar>
<emu-alg>
1. Evaluate |ClassString| to obtain a string _s_.
1. Let _s_ be CompileString of |ClassString|.
1. Let _A_ be the CharSet that contains the one string _s_.
1. If |MoreClassStrings| is present, then
1. Evaluate |MoreClassStrings| to obtain a CharSet _B_.
1. Let _B_ be CompileToCharSet of |MoreClassStrings|.
1. Return the union of CharSets _A_ and _B_.
1. Return _A_.
</emu-alg>
</emu-clause>

<emu-clause id="sec-classstring">
<h1>ClassString</h1>
<p>The production <emu-grammar>ClassString :: [empty]</emu-grammar> evaluates as follows:</p>
<emu-clause id="sec-compilestring" type="sdo">
<h1>Runtime Semantics: CompileString</h1>
<dl class="header">
<dt>description</dt>
<dd>It returns a string.</dd>
</dl>

<emu-grammar>ClassString :: [empty]</emu-grammar>
<emu-alg>
1. Return the empty String.
</emu-alg>
<p>The production <emu-grammar>ClassString :: NonEmptyClassString</emu-grammar> evaluates as follows:</p>
<emu-grammar>ClassString :: NonEmptyClassString</emu-grammar>
<emu-alg>
1. Evaluate |NonEmptyClassString| to obtain a string _s_.
1. Return _s_.
1. Return CompileString of |NonEmptyClassString|.
</emu-alg>
</emu-clause>

<emu-clause id="sec-nonemptyclassstring">
<h1>NonEmptyClassString</h1>
<p>The production <emu-grammar>NonEmptyClassString :: ClassCharacter NonEmptyClassString?</emu-grammar> evaluates as follows:</p>
<emu-grammar>NonEmptyClassString :: ClassCharacter NonEmptyClassString?</emu-grammar>
<emu-alg>
1. Evaluate |ClassCharacter| to obtain the single-character string _s1_.
1. Let _s1_ be CompileToCharSet of |ClassCharacter|.
1. If |NonEmptyClassString| is present, then
1. Evaluate |NonEmptyClassString| to obtain a string _s2_.
1. Let _s2_ be CompileString of |NonEmptyClassString|.
1. Return the string that is the concatenation of _s1_ with _s2_.
1. Return _s1_.
</emu-alg>
Expand Down

0 comments on commit c8482ef

Please sign in to comment.