public static synchronized int register(DebugValue value){
  String name=value.getName();
  if (!keyMap.containsKey(name)) {
    keyMap.put(name,debugValues.size());
    debugValues.add(value);
  }
  return keyMap.get(name);
}

public static synchronized int register ( DebugValue value ) { String name = value . getName ( ) ; if ( ! keyMap . containsKey ( name ) ) { keyMap . put ( name , debugValues . size ( ) ) ; debugValues . add ( value ) ; } return keyMap . get ( name ) ; }
ensures a given debug value is registered .
