Changeset 2380


Ignore:
Timestamp:
Feb 11, 2007, 1:50:29 AM (14 years ago)
Author:
roman
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.plus.rfpdt/src/org/refal/plus/rfpdt/core/builder/RfpBuilder.java

    r2375 r2380  
    1616import org.eclipse.core.resources.IncrementalProjectBuilder;
    1717import org.eclipse.core.runtime.CoreException;
    18 import org.eclipse.core.runtime.IPath;
    1918import org.eclipse.core.runtime.IProgressMonitor;
    2019import org.refal.plus.comp.Checker;
     
    2221import org.refal.plus.comp.MsgCode;
    2322import org.refal.plus.comp.MsgHandler;
     23import org.refal.plus.comp.RfpResource;
    2424import org.refal.plus.comp.SrcPosition;
    2525
     
    7171                }
    7272        }
     73
     74        private static RfpResource emptyRfpResource = RfpResource.implem("");
    7375
    7476        private class IdeMsgHandler extends MsgHandler {
     
    98100                        updateCounters(msgCode);
    99101                        if (pos == null)
    100                                 pos = new SrcPosition("", 1, 0, 0, 0);
     102                                pos = new SrcPosition(emptyRfpResource, 1, 0, 0, 0);
    101103                        int severity = markerSeverity(msgCode);
    102104                        String msg = String.format(msgCode.getFormat(), args);
     
    188190                        final String moduleName = fileName.substring(0,
    189191                                        fileName.length() - 3);
    190                         IPath path = file.getProjectRelativePath();
     192                        final RfpResource rfpResource = RfpResource.implem(moduleName);
    191193                        deleteMarkers(file);
    192194                        final MsgHandler msgHandler = new IdeMsgHandler(file);
     
    201203                                return;
    202204                        } catch (Exception e) {
    203                                 msgHandler.send(new SrcPosition(path.toString(), 1, 0, 0, 0),
     205                                msgHandler.send(new SrcPosition(rfpResource, 1, 0, 0, 0),
    204206                                                MsgCode.ExceptionThrown, e.getMessage());
    205207                                return;
Note: See TracChangeset for help on using the changeset viewer.