add implementation for followpos

2025-10-01 14:10:40 +01:00
parent 61f839641f
commit b3f56dfaff
1 changed files with 8 additions and 0 deletions
--- a/fcore/search-list/nfa.sml
+++ b/fcore/search-list/nfa.sml
@@ -197,6 +197,14 @@ struct
      | ZERO_OR_MORE regex => lastpos (regex, acc)
      | ONE_OR_MORE regex => lastpos (regex, acc)
      | GROUP regex => lastpos (regex, acc)
+
+    fun followpos tree =
+      case tree of
+        CONCAT (_, r2) => firstpos (r2, [])
+      | ZERO_OR_MORE r => firstpos (r, [])
+      | ZERO_OR_ONE r => firstpos (r, [])
+      | ONE_OR_MORE r => firstpos (r, [])
+      | _ => []
  end

  fun parse str =