aboutsummaryrefslogtreecommitdiffstats
path: root/src/tokenizer.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/tokenizer.rs')
-rw-r--r--src/tokenizer.rs127
1 files changed, 58 insertions, 69 deletions
diff --git a/src/tokenizer.rs b/src/tokenizer.rs
index 034c6f9..44b9f70 100644
--- a/src/tokenizer.rs
+++ b/src/tokenizer.rs
@@ -732,7 +732,7 @@ impl StateName {
}
/// The result of a state.
-#[derive(Debug, PartialEq)]
+#[derive(Debug, PartialEq, Copy, Clone)]
pub enum State {
/// There is a future state: a [`StateName`][] to pass the next code to.
Fn(StateName),
@@ -1254,38 +1254,15 @@ impl<'a> Tokenizer<'a> {
match state {
State::Ok | State::Nok => {
if let Some(attempt) = self.attempts.pop() {
- if attempt.kind == AttemptKind::Check || state == State::Nok {
- if let Some(state) = attempt.state {
- self.free(state);
- }
- }
-
- self.consumed = true;
- state = if state == State::Ok {
- attempt.ok
- } else {
- attempt.nok
- };
+ state = attempt_done_impl(self, attempt, state);
} else {
break;
}
}
- State::Fn(state_name) => match byte_action(self.parse_state.bytes, &self.point) {
- ByteAction::Ignore => {
- state = State::Fn(state_name);
- self.move_one();
- }
- ByteAction::Insert(byte) | ByteAction::Normal(byte) => {
- log::debug!(
- "main: passing: `{:?}` ({:?}) to {:?}",
- byte,
- self.point,
- state_name
- );
- self.expect(Some(byte));
- state = call_impl(self, state_name);
- }
- },
+ State::Fn(state_name) => {
+ let action = byte_action(self.parse_state.bytes, &self.point);
+ state = feed_action_impl(self, &Some(action), state_name);
+ }
}
}
@@ -1302,52 +1279,22 @@ impl<'a> Tokenizer<'a> {
match state {
State::Ok | State::Nok => {
if let Some(attempt) = self.attempts.pop() {
- if attempt.kind == AttemptKind::Check || state == State::Nok {
- if let Some(state) = attempt.state {
- self.free(state);
- }
- }
-
- self.consumed = true;
- state = if state == State::Ok {
- attempt.ok
- } else {
- attempt.nok
- };
+ state = attempt_done_impl(self, attempt, state);
} else {
break;
}
}
State::Fn(state_name) => {
// We sometimes move back when flushing, so then we use those codes.
- let action = if self.point.index == max {
- None
- } else {
- Some(byte_action(self.parse_state.bytes, &self.point))
- };
-
- if let Some(ByteAction::Ignore) = action {
- state = State::Fn(state_name);
- self.move_one();
- } else {
- let byte =
- if let Some(ByteAction::Insert(byte) | ByteAction::Normal(byte)) =
- action
- {
- Some(byte)
- } else {
- None
- };
-
- log::debug!(
- "main: flushing: `{:?}` ({:?}) to {:?}",
- byte,
- self.point,
- state_name
- );
- self.expect(byte);
- state = call_impl(self, state_name);
- }
+ state = feed_action_impl(
+ self,
+ &if self.point.index == max {
+ None
+ } else {
+ Some(byte_action(self.parse_state.bytes, &self.point))
+ },
+ state_name,
+ );
}
}
}
@@ -1435,9 +1382,51 @@ fn attempt_impl(
kind,
state,
});
+
call_impl(tokenizer, state_name)
}
+fn attempt_done_impl(tokenizer: &mut Tokenizer, attempt: Attempt, state: State) -> State {
+ if attempt.kind == AttemptKind::Check || state == State::Nok {
+ if let Some(state) = attempt.state {
+ tokenizer.free(state);
+ }
+ }
+
+ tokenizer.consumed = true;
+ if state == State::Ok {
+ attempt.ok
+ } else {
+ attempt.nok
+ }
+}
+
+fn feed_action_impl(
+ tokenizer: &mut Tokenizer,
+ action: &Option<ByteAction>,
+ state_name: StateName,
+) -> State {
+ if let Some(ByteAction::Ignore) = action {
+ tokenizer.move_one();
+ State::Fn(state_name)
+ } else {
+ let byte = if let Some(ByteAction::Insert(byte) | ByteAction::Normal(byte)) = action {
+ Some(*byte)
+ } else {
+ None
+ };
+
+ log::debug!(
+ "main: flushing: `{:?}` ({:?}) to {:?}",
+ byte,
+ tokenizer.point,
+ state_name
+ );
+ tokenizer.expect(byte);
+ call_impl(tokenizer, state_name)
+ }
+}
+
#[allow(clippy::too_many_lines)]
fn call_impl(tokenizer: &mut Tokenizer, state_name: StateName) -> State {
let func = state_name.to_func();