public PatternBuilder(PatternBuilder parent) { empty = parent.empty; notAllowed = parent.notAllowed; interner = new PatternInterner(parent.interner); }
table = new Pattern[INIT_SIZE]; usedLimit = (int) (INIT_SIZE * LOAD_FACTOR); h = firstIndex(p); } else { for (h = firstIndex(p); table[h] != null; h = nextIndex(h)) { if (p.samePattern(table[h])) return table[h]; if (oldTable[i] != null) { int j; for (j = firstIndex(oldTable[i]); table[j] != null; j = nextIndex(j)); table[j] = oldTable[i]; for (h = firstIndex(p); table[h] != null; h = nextIndex(h)); usedLimit = (int) (table.length * LOAD_FACTOR);
Pattern makeOneOrMore(Pattern p) { if (p == empty || p == notAllowed || p instanceof OneOrMorePattern) return p; Pattern p1 = new OneOrMorePattern(p); return interner.intern(p1); }
Pattern makeList(Pattern p, Locator loc) { if (p == notAllowed) return p; Pattern p1 = new ListPattern(p, loc); return schemaInterner.intern(p1); }
table = new Pattern[INIT_SIZE]; usedLimit = (int) (INIT_SIZE * LOAD_FACTOR); h = firstIndex(p); } else { for (h = firstIndex(p); table[h] != null; h = nextIndex(h)) { if (p.samePattern(table[h])) return table[h]; if (oldTable[i] != null) { int j; for (j = firstIndex(oldTable[i]); table[j] != null; j = nextIndex(j)); table[j] = oldTable[i]; for (h = firstIndex(p); table[h] != null; h = nextIndex(h)); usedLimit = (int) (table.length * LOAD_FACTOR);
public PatternBuilder(PatternBuilder parent) { empty = parent.empty; notAllowed = parent.notAllowed; interner = new PatternInterner(parent.interner); }
Pattern makeAttribute(NameClass nameClass, Pattern value, Locator loc) { if (value == notAllowed) return value; Pattern p = new AttributePattern(nameClass, value, loc); return schemaInterner.intern(p); }
public PatternBuilder() { empty = new EmptyPattern(); notAllowed = new NotAllowedPattern(); interner = new PatternInterner(); }
Pattern makeOneOrMore(Pattern p) { if (p == empty || p == notAllowed || p instanceof OneOrMorePattern) return p; Pattern p1 = new OneOrMorePattern(p); return interner.intern(p1); }
public PatternBuilder() { empty = new EmptyPattern(); notAllowed = new NotAllowedPattern(); interner = new PatternInterner(); }
Pattern makeAttribute(NameClass nameClass, Pattern value, Locator loc) { if (value == notAllowed) return value; Pattern p = new AttributePattern(nameClass, value, loc); return schemaInterner.intern(p); }
Pattern makeError() { Pattern p = new ErrorPattern(); return schemaInterner.intern(p); }
Pattern makeList(Pattern p, Locator loc) { if (p == notAllowed) return p; Pattern p1 = new ListPattern(p, loc); return schemaInterner.intern(p1); }
Pattern makeElement(NameClass nameClass, Pattern content, Locator loc) { Pattern p = new ElementPattern(nameClass, content, loc); return schemaInterner.intern(p); }
Pattern makeElement(NameClass nameClass, Pattern content, Locator loc) { Pattern p = new ElementPattern(nameClass, content, loc); return schemaInterner.intern(p); }
Pattern makeError() { Pattern p = new ErrorPattern(); return schemaInterner.intern(p); }
Pattern makeGroup(Pattern p1, Pattern p2) { if (p1 == empty) return p2; if (p2 == empty) return p1; if (p1 == notAllowed || p2 == notAllowed) return notAllowed; if (false && p1 instanceof GroupPattern) { GroupPattern sp = (GroupPattern)p1; return makeGroup(sp.p1, makeGroup(sp.p2, p2)); } Pattern p = new GroupPattern(p1, p2); return interner.intern(p); }
Pattern makeGroup(Pattern p1, Pattern p2) { if (p1 == empty) return p2; if (p2 == empty) return p1; if (p1 == notAllowed || p2 == notAllowed) return notAllowed; if (false && p1 instanceof GroupPattern) { GroupPattern sp = (GroupPattern)p1; return makeGroup(sp.p1, makeGroup(sp.p2, p2)); } Pattern p = new GroupPattern(p1, p2); return interner.intern(p); }
Pattern makeInterleave(Pattern p1, Pattern p2) { if (p1 == empty) return p2; if (p2 == empty) return p1; if (p1 == notAllowed || p2 == notAllowed) return notAllowed; if (false && p1 instanceof InterleavePattern) { InterleavePattern ip = (InterleavePattern)p1; return makeInterleave(ip.p1, makeInterleave(ip.p2, p2)); } if (false) { if (p2 instanceof InterleavePattern) { InterleavePattern ip = (InterleavePattern)p2; if (p1.hashCode() > ip.p1.hashCode()) return makeInterleave(ip.p1, makeInterleave(p1, ip.p2)); } else if (p1.hashCode() > p2.hashCode()) return makeInterleave(p2, p1); } Pattern p = new InterleavePattern(p1, p2); return interner.intern(p); }
Pattern makeInterleave(Pattern p1, Pattern p2) { if (p1 == empty) return p2; if (p2 == empty) return p1; if (p1 == notAllowed || p2 == notAllowed) return notAllowed; if (false && p1 instanceof InterleavePattern) { InterleavePattern ip = (InterleavePattern)p1; return makeInterleave(ip.p1, makeInterleave(ip.p2, p2)); } if (false) { if (p2 instanceof InterleavePattern) { InterleavePattern ip = (InterleavePattern)p2; if (p1.hashCode() > ip.p1.hashCode()) return makeInterleave(ip.p1, makeInterleave(p1, ip.p2)); } else if (p1.hashCode() > p2.hashCode()) return makeInterleave(p2, p1); } Pattern p = new InterleavePattern(p1, p2); return interner.intern(p); }