}
}
public void logError(String path, int line, int col, String error, String source, int errorCode)
{
LineNumberMap map = null;
if ((map = matchPath(path)) != null)
{
if (isUserDefined(map, line))
{
if (messages == null)
{
messages = new HashMap<String, String>();
}
String key = map.getOldName() + map.get(line);
if (!error.equals(messages.get(key)))
{
// don't pass source from "new" file; force logger to look up "old" line
original.logError(map.getOldName(), map.get(line), error, errorCode);
messages.put(key, error);
}
}
else
{