function SymbolManager (range) {
  this._allocator = new SymbolAllocator(range);
  this._hash = {};
  this._symbols_by_name = {};
  this._symbols_by_identity = {};
}
/**
 * Essentially a glorified data store for SymbolAllocator
 * @param {CharacterRange} range
 */
Essentially a glorified data store for SymbolAllocator
@param {CharacterRange} range
Essentially a glorified data store for SymbolAllocator @param { CharacterRange } range
function SymbolManager (range) {
  this._allocator = new SymbolAllocator(range);
  this._hash = {};
  this._symbols_by_name = {};
  this._symbols_by_identity = {};
}
function SymbolManager ( range ) { this . _allocator = new SymbolAllocator ( range ) ; this . _hash = { } ; this . _symbols_by_name = { } ; this . _symbols_by_identity = { } ; }
Essentially a glorified data store for SymbolAllocator
 @param {CharacterRange} range
Essentially a glorified data store for SymbolAllocator @param { CharacterRange } range