static int parseName(char[] data, int i, int out, Term term, boolean inverse, boolean skipspaces) throws PatternSyntaxException { StringBuilder sb = new StringBuilder(); i = parseName(data, i, out, sb, skipspaces); BlockSet bs = getNamedClass(sb.toString()); if (bs == null) throw new PatternSyntaxException("unknown class: {" + sb + "}"); BlockSet.unify(bs, term); term.inverse = inverse; return i; }
static int parseName(char[] data, int i, int out, Term term, boolean inverse, boolean skipspaces) throws PatternSyntaxException { StringBuilder sb = new StringBuilder(); i = parseName(data, i, out, sb, skipspaces); BlockSet bs = getNamedClass(sb.toString()); if (bs == null) throw new PatternSyntaxException("unknown class: {" + sb + "}"); BlockSet.unify(bs, term); term.inverse = inverse; return i; }
else sb.setLength(0); i = parseName(data, i, out, sb, skipspaces); BlockSet nc = getNamedClass(sb.toString()); if (nc == null) throw new PatternSyntaxException("unknown named class: {" + sb + "}"); bs.add(nc, inv);
else sb.setLength(0); i = parseName(data, i, out, sb, skipspaces); BlockSet nc = getNamedClass(sb.toString()); if (nc == null) throw new PatternSyntaxException("unknown named class: {" + sb + "}"); bs.add(nc, inv);