415416417418419420421
sourcefile_map = jt.getSourceFileMap(); class_map = jt.getClassNameMap(); method_map = jt.getMethodNameMap(); line_map = jt.getLineNumberMap(); mlfa2aut = new MLFA2Automaton(mlfa); }