/** * Method individual parsers call to pass back symbol table that * they updated, which may be useful for other parser to reuse, instead * of previous base symbol table. *<p> * Note: parser is only to call this method, if passed-in symbol * table was modified, ie new entry/ies were added in addition to * whatever was in root table. */ public synchronized void updateSymbolTable(SymbolTable t) { SymbolTable curr = mRootSymbols; /* Let's only add if table was direct descendant; this prevents * siblings from keeping overwriting settings (multiple direct * children have additional symbols added) */ if (t.isDirectChildOf(curr)) { mSymbols = t; } }
/** * Method individual parsers call to pass back symbol table that * they updated, which may be useful for other parser to reuse, instead * of previous base symbol table. *<p> * Note: parser is only to call this method, if passed-in symbol * table was modified, ie new entry/ies were added in addition to * whatever was in root table. */ public synchronized void updateSymbolTable(SymbolTable t) { SymbolTable curr = mRootSymbols; /* Let's only add if table was direct descendant; this prevents * siblings from keeping overwriting settings (multiple direct * children have additional symbols added) */ if (t.isDirectChildOf(curr)) { mSymbols = t; } }
/** * Method individual parsers call to pass back symbol table that * they updated, which may be useful for other parser to reuse, instead * of previous base symbol table. *<p> * Note: parser is only to call this method, if passed-in symbol * table was modified, ie new entry/ies were added in addition to * whatever was in root table. */ public synchronized void updateSymbolTable(SymbolTable t) { SymbolTable curr = mRootSymbols; /* Let's only add if table was direct descendant; this prevents * siblings from keeping overwriting settings (multiple direct * children have additional symbols added) */ if (t.isDirectChildOf(curr)) { mSymbols = t; } }
if (t.isDirectChildOf(curr)) {
if (t.isDirectChildOf(curr)) {
if (t.isDirectChildOf(curr)) {
if (t.isDirectChildOf(curr)) {
if (t.isDirectChildOf(curr)) {
if (t.isDirectChildOf(curr)) {