question: 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 ; }
target:  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.