diff options
author | Martin Fischer <martin@push-f.com> | 2023-08-29 07:24:55 +0200 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2023-09-28 10:36:08 +0200 |
commit | df5a2ae14c4976d404195e83e52b8db62be63988 (patch) | |
tree | 5260ba3196ad6c9dc164dbfe32bb992cb96423c8 /src/emitter.rs | |
parent | 394c52260e861e911e2d8706d4904136a920da87 (diff) |
break!: emit chars instead of strings
The HTML spec specifies that the tokenizer emits character tokens.
That html5gum always emitted strings instead was probably just done
to make the token consumption more convenient. When it comes to tree
construction character tokens are however actually more convenient
than string tokens since the spec defines that specific character
tokens should be ignored in specific states (and character tokens
let us avoid string manipulation for these conditions).
This should also make the DefaultEmitter more performant for cases
where you don't actually need the strings at all (or only a few)
since it avoids string allocations. Though I haven't benchmarked it.
Diffstat (limited to 'src/emitter.rs')
-rw-r--r-- | src/emitter.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/emitter.rs b/src/emitter.rs index 2a47f40..7a567b4 100644 --- a/src/emitter.rs +++ b/src/emitter.rs @@ -30,8 +30,8 @@ pub trait Emitter<O> { /// The state machine has reached the end of the file. fn emit_eof(&mut self); - /// Emit a bunch of plain characters as character tokens. - fn emit_string(&mut self, c: &str); + /// Emits the given character as a character token. + fn emit_char(&mut self, c: char); /// Set the _current token_ to a start tag. fn init_start_tag(&mut self, tag_offset: O, name_offset: O); |