Add fsm_intersect_charset(), fsm -U #470
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Add
fsm_intersect_charset()
, a convenience to intersect an fsm against a given character set. I pulled this out of the forthcoming rx(1) tool.Unlike
fsm_intersect()
, this doesn't automatically determinise its operands. I'm not convincedfsm_intersect()
should do that, either. In most cases we care enough about performance to do this (or rather to avoid doing it unnecessarily) in the caller.I've exposed this as
fsm -U <charset>
: