script/style tokeniser states

sky/specs/parsing.md

 Parsing
 =======
 
 Parsing in Sky is a strict pipeline consisting of four stages:
 
 - decoding, which converts incoming bytes into Unicode characters
   using UTF-8
 
 - normalising, which converts certain sequences of characters
 
@@ skipping 131 matching lines @@
   state, the _extra terminating character_ unset (or set to U+0000,
   which has the same effect), and the _emitting operation_ being to
   emit a character token for the given character.
 
 * Anything else: Emit the current input character as a character
   token. Consume the character. Stay in this state.
 
 
 ### **Script raw data** state ###
 
-TOOD(ianh): spec this
+If the current character is...
+
+* '```<```': Consume the character and switch to the **script raw
+  data: close 1** state.
+
+* Anything else: Emit the current input character as a character
+  token. Consume the character. Stay in this state.
+
+
+### **Script raw data: close 1** state ###
+
+If the current character is...
+
+* '```/```': Consume the character and switch to the **script raw
+  data: close 2** state.
+
+* Anything else: Emit '```<```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
+
+
+### **Script raw data: close 2** state ###
+
+If the current character is...
+
+* '```s```': Consume the character and switch to the **script raw
+  data: close 3** state.
+
+* Anything else: Emit '```</```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
+
+
+### **Script raw data: close 3** state ###
+
+If the current character is...
+
+* '```c```': Consume the character and switch to the **script raw
+  data: close 4** state.
+
+* Anything else: Emit '```</s```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
+
+
+### **Script raw data: close 4** state ###
+
+If the current character is...
+
+* '```r```': Consume the character and switch to the **script raw
+  data: close 5** state.
+
+* Anything else: Emit '```</sc```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
+
+
+### **Script raw data: close 5** state ###
+
+If the current character is...
+
+* '```i```': Consume the character and switch to the **script raw
+  data: close 6** state.
+
+* Anything else: Emit '```</scr```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
+
+
+### **Script raw data: close 6** state ###
+
+If the current character is...
+
+* '```p```': Consume the character and switch to the **script raw
+  data: close 7** state.
+
+* Anything else: Emit '```</scri```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
+
+
+### **Script raw data: close 7** state ###
+
+If the current character is...
+
+* '```t```': Consume the character and switch to the **script raw
+  data: close 8** state.
+
+* Anything else: Emit '```</scrip```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
+
+
+### **Script raw data: close 8** state ###
+
+If the current character is...
+
+* U+0020, U+000A, '```/```', '```>```': Create an end tag token, and
+  let its tag name be the string '```script```'. Switch to the
+  **before attribute name** state without consuming the character.
+
+* Anything else: Emit '```</script```' character tokens. Consume the
+  character. Switch to the **script raw data** state.
 
 
 ### **Style raw data** state ###
 
-TOOD(ianh): spec this
+If the current character is...
+
+* '```<```': Consume the character and switch to the **style raw
+  data: close 1** state.
+
+* Anything else: Emit the current input character as a character
+  token. Consume the character. Stay in this state.
 
 
-### **After tag** state ###
+### **Style raw data: close 1** state ###
 
-Emit the tag token.
+If the current character is...
 
-If the tag token was a start tag token and the tag name was
-'```script```', then and switch to the **script raw data** state.
+* '```/```': Consume the character and switch to the **style raw
+  data: close 2** state.
 
-If the tag token was a start tag token and the tag name was
-'```style```', then and switch to the **style raw data** state.
+* Anything else: Emit '```<```' character tokens. Consume the
+  character. Switch to the **style raw data** state.
 
-Otherwise, switch to the **data** state.
+
+### **Style raw data: close 2** state ###
+
+If the current character is...
+
+* '```s```': Consume the character and switch to the **style raw
+  data: close 3** state.
+
+* Anything else: Emit '```</```' character tokens. Consume the
+  character. Switch to the **style raw data** state.
+
+
+### **Style raw data: close 3** state ###
+
+If the current character is...
+
+* '```t```': Consume the character and switch to the **style raw
+  data: close 4** state.
+
+* Anything else: Emit '```</s```' character tokens. Consume the
+  character. Switch to the **style raw data** state.
+
+
+### **Style raw data: close 4** state ###
+
+If the current character is...
+
+* '```y```': Consume the character and switch to the **style raw
+  data: close 5** state.
+
+* Anything else: Emit '```</st```' character tokens. Consume the
+  character. Switch to the **style raw data** state.
+
+
+### **Style raw data: close 5** state ###
+
+If the current character is...
+
+* '```l```': Consume the character and switch to the **style raw
+  data: close 6** state.
+
+* Anything else: Emit '```</sty```' character tokens. Consume the
+  character. Switch to the **style raw data** state.
+
+
+### **Style raw data: close 6** state ###
+
+If the current character is...
+
+* '```e```': Consume the character and switch to the **style raw
+  data: close 7** state.
+
+* Anything else: Emit '```</styl```' character tokens. Consume the
+  character. Switch to the **style raw data** state.
+
+
+### **Style raw data: close 7** state ###
+
+If the current character is...
+
+* U+0020, U+000A, '```/```', '```>```': Create an end tag token, and
+  let its tag name be the string '```style```'. Switch to the
+  **before attribute name** state without consuming the character.
+
+* Anything else: Emit '```</style```' character tokens. Consume the
+  character. Switch to the **style raw data** state.
 
 
 ### **Tag open** state ###
 
 If the current character is...
 
 * '```!```': Consume the character and switch to the **comment start
   1** state.
 
 * '```/```': Consume the character and switch to the **close tag
@@ skipping 186 matching lines @@
   attribute value** state, the _extra terminating character_ unset (or
   set to U+0000, which has the same effect), and the _emitting
   operation_ being to append the given character to the value of the
   most recently added attribute.
 
 * Anything else: Append the current character to the value of the most
   recently added attribute. Consume the current character. Stay in
   this state.
 
 
+### **After tag** state ###
+
+Emit the tag token.
+
+If the tag token was a start tag token and the tag name was
+'```script```', then and switch to the **script raw data** state.
+
+If the tag token was a start tag token and the tag name was
+'```style```', then and switch to the **style raw data** state.
+
+Otherwise, switch to the **data** state.
+
+
 ### **Comment start 1** state ###
 
 If the current character is...
 
 * '```-```': Consume the character and switch to the **comment start
   2** state.
 
 * '```>```': Emit character tokens for '```<!>```'. Consume the
   current character. Switch to the **data** state.
 
@@ skipping 324 matching lines @@
         - Pop nodes from the _stack of open nodes_ until a node with
           a _tagName_ equal to _token.tagName_ has been popped.
      2. Otherwise, ignore _token_.
    - If _token_ is a comment token,
      1. Ignore _token_.
    - If _token_ is an EOF token,
      1. Pop all the nodes from the _stack of open nodes_.
      2. Signal _document_ that parsing is complete.
 
 TODO(ianh): &lt;template>, &lt;t>