38394041424344
if (re.endsWith("$") && !re.endsWith("\\$")) { re = re.substring(0, re.length() - 1); } this.dbProvider = dbProvider; this.pattern = new RunAutomaton(new RegExp(re).toAutomaton()); }
26272829303132
private RunAutomaton runauto = null; public CompiledAutomaton( String rhsPattern ) { RegExp regexpr = new dk.brics.automaton.RegExp(rhsPattern, RegExp.NONE); Automaton auto = regexpr.toAutomaton(); this.runauto = new RunAutomaton(auto, true); }
84858687888990
private RunAutomaton automaton; Rule(boolean sign, String regex) { super(sign, regex); automaton = new RunAutomaton(new RegExp(regex, RegExp.ALL).toAutomaton()); }
96979899100101102