public override void Dump(StringBuilder bb, SymbolsDictionary symbols, Positions positions) { bb.Append("[" + namespaceList.ToString() + "]"); } #endif