8.60. File tom/PointerDictionary

class tom.PointerDictionary

A PointerDictionary maps a pointer to an object reference.

inherits

State supers: EqHashTable, DictionaryContainer

instance tom.PointerDictionary

methods

Any
  at pointer key;

Undocumented.

class tom.MutablePointerDictionary

inherits

State supers: PointerDictionary, MutableEqHashTable

instance tom.MutablePointerDictionary

methods

void
  remove pointer key;

Remove the mapping for the key.

void
  set All value
   at pointer key
pre
  value != nil;

Associate the value with the key.