216217218219220221222223
String logFile = options.reflection_log(); if(logFile==null) { throw new InternalError("Trace based refection model enabled but no trace file given!?"); } else { reflectionInfo = new ReflectionTraceInfo(logFile); } }