LogicalRegularExpressionMatch

fauto.spad line 250 [edit on github]

This package converts HyperDoc patterns to matching automaton.

parse_pattern: (String, Boolean) -> Union(LogicalMatchingAutomaton, failed)

parse_pattern(s, downcase) parses s and returns corresponding matching automaton. It returns “failed” in case of syntax error. If downcase is true then all literal characters in s are converted to lower case, otherwise case is retained.