public boolean isNameUsed(String name){
  Enumeration pages=pageStorage.keys();
  while (pages.hasMoreElements()) {
    if (isNameUsedOnPage(name,pages.nextElement())) {
      return true;
    }
  }
  return keywords.contains(name) || specContext.occurSymbol(UniqueString.uniqueStringOf(name));
}

public boolean isNameUsed ( String name ) { Enumeration pages = pageStorage . keys ( ) ; while ( pages . hasMoreElements ( ) ) { if ( isNameUsedOnPage ( name , pages . nextElement ( ) ) ) { return true ; } } return keywords . contains ( name ) || specContext . occurSymbol ( UniqueString . uniqueStringOf ( name ) ) ; }
performs a name lookup
