public static Symbol GetBuiltInSymbol(String str,boolean pcalMode){
  Symbol sym;
  if (pcalMode) {
    sym=(Symbol)pcalBuiltInHashTable.get(str);
  }
 else {
    sym=(Symbol)builtInHashTable.get(str);
  }
  if (sym == null || (sym.pcal && !pcalMode)) {
    return null;
  }
  return sym;
}

public static Symbol GetBuiltInSymbol ( String str , boolean pcalMode ) { Symbol sym ; if ( pcalMode ) { sym = ( Symbol ) pcalBuiltInHashTable . get ( str ) ; } else { sym = ( Symbol ) builtInHashTable . get ( str ) ; } if ( sym == null || ( sym . pcal && ! pcalMode ) ) { return null ; } return sym ; }
returns the built - in symbol with string str . if pcalmode = false , just return a tla + symbol ; if pcalmode = true , return either a tla + or a pluscal symbol .
