Request
Currently the DFA intersection only allows for Log Surgeon to identify which variable types in the schema matcha subquery. However, if the variable types contain capture groups, it is currently impossible to determine how the subquery decomposes into the context and captures.
Possible implementation
Add a TNFA intersection, and inside of it track which subquery states match the tag transitions along each path. Need to ensure the traversal happens from left to right, and because the subquery NFA will never have loops backwards, if each step of the traversal propogates its state-tag pairs forward, then each accepting state will have all possible capture variable decompositions.
Request
Currently the DFA intersection only allows for Log Surgeon to identify which variable types in the schema matcha subquery. However, if the variable types contain capture groups, it is currently impossible to determine how the subquery decomposes into the context and captures.
Possible implementation
Add a TNFA intersection, and inside of it track which subquery states match the tag transitions along each path. Need to ensure the traversal happens from left to right, and because the subquery NFA will never have loops backwards, if each step of the traversal propogates its state-tag pairs forward, then each accepting state will have all possible capture variable decompositions.