148149150151152153154155156157158
result = h.constRegexp(""); }else if (x.size() == 1){ result = x.get(0); }else{ Hampi h = new Hampi(); result = h.orRegexp(x.toArray(new Regexp[x.size()])); } regexpCache.put(startSymbol, bound, result); return result; }