if (elem.getMethodName().equals("invoke")) {
break;
}
newTrace.add(robustSourceLocation(elem.getFileName(), 0, 0, elem.getLineNumber(), elem.getLineNumber(), 0, 0), elem.getClassName() + "." + elem.getMethodName());
}
newTrace.addAll(rascalTrace);
return newTrace.freeze();
}
public static Throw moduleNotFound(IString module, AbstractAST ast, StackTrace trace) {
return new Throw(VF.constructor(ModuleNotFound, module), ast, trace);