public void cacheGrammars(String grammarType, Grammar[] grammars) { synchronized (fGrammarPool) { fGrammarPool.cacheGrammars(grammarType, grammars); } } // cacheGrammars(String, Grammar[]);
/** clear the grammar pool */ public void clear() { synchronized (fGrammarPool) { fGrammarPool.clear(); } } // lockPool()
public Grammar [] retrieveInitialGrammarSet(String grammarType ) { synchronized (fGrammarPool) { return fGrammarPool.retrieveInitialGrammarSet(grammarType); } } // retrieveInitialGrammarSet(String): Grammar[]
public Grammar retrieveGrammar(XMLGrammarDescription gDesc) { synchronized (fGrammarPool) { return fGrammarPool.retrieveGrammar(gDesc); } } // retrieveGrammar(XMLGrammarDesc): Grammar
/** lock the grammar pool */ public void lockPool() { synchronized (fGrammarPool) { fGrammarPool.lockPool(); } } // lockPool()
/** unlock the grammar pool */ public void unlockPool() { synchronized (fGrammarPool) { fGrammarPool.unlockPool(); } } // unlockPool()
public Grammar retrieveGrammar(XMLGrammarDescription desc) { return fGrammarPool.retrieveGrammar(desc); }
public void lockGrammarPool() { fGrammarPool.lockPool(); } // lockGrammarPool()
public void unlockPool() { fGrammarPool.unlockPool(); }
public void cacheGrammars(String grammarType, Grammar[] grammars) { fGrammarPool.cacheGrammars(grammarType, grammars); }
public Grammar[] retrieveInitialGrammarSet(String grammarType) { return core.retrieveInitialGrammarSet(grammarType); }
public Grammar retrieveGrammar(XMLGrammarDescription desc) { return core.retrieveGrammar(desc); }
public void clear() { fGrammarPool.clear(); }
public void lockPool() { fGrammarPool.lockPool(); }
public void unlockGrammarPool() { fGrammarPool.unlockPool(); } // unlockGrammarPool()
/** * Give the grammarPool the option of caching these grammars. * This certainly must be synchronized. * * @param grammarType The type of the grammars to be cached. * @param grammars The Grammars that may be cached (unordered, Grammars previously * given to the validator may be included). */ public void cacheGrammars(String grammarType, Grammar[] grammars) { // better give both grammars a shot... super.cacheGrammars(grammarType, grammars); fGrammarPool.cacheGrammars(grammarType, grammars); } // cacheGrammars(grammarType, Grammar[]);
public Grammar[] retrieveInitialGrammarSet(String grammarType) { return fGrammarPool.retrieveInitialGrammarSet(grammarType); }
/** * Retrieve a particular grammar. * REVISIT: does this need to be synchronized since it's just reading? * * @param gDesc Description of the grammar to be retrieved * @return Grammar corresponding to gDesc, or null if none exists. */ public Grammar retrieveGrammar(XMLGrammarDescription gDesc) { Grammar g = super.retrieveGrammar(gDesc); if(g != null) return g; return fGrammarPool.retrieveGrammar(gDesc); } // retrieveGrammar(XMLGrammarDesc): Grammar
public void clearGrammarPool() { fGrammarPool.clear(); } // clearGrammarPool()
public void setAttribute(String name, Object value) throws IllegalArgumentException { if (name.equals("http://www.galdosinc.com/xml/properties/schemaLocation")) { try { this.grammarPool.cacheGrammars("XmlSchema", new Grammar[] { GrammarUtil.parseGrammar(new URL(value.toString()), this.grammarPool) }); } catch (IOException e) { throw new IllegalArgumentException(e.getMessage()); } } else if (name.startsWith("http://www.galdosinc.com/xml/properties/dtdLocation/")) { String rootName = name.substring("http://www.galdosinc.com/xml/properties/dtdLocation/".length()); this.dtds.put(rootName, value.toString()); } else { super.setAttribute(name, value); } } }