X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/actions/ExternalPHPParser.java b/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/actions/ExternalPHPParser.java index 7329758..f5f9fdb 100644 --- a/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/actions/ExternalPHPParser.java +++ b/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/actions/ExternalPHPParser.java @@ -280,35 +280,35 @@ public class ExternalPHPParser { * @throws CoreException * an exception throwed by the MarkerUtilities */ - private void setMarker(final IFile file, final String message, - final int charStart, final int charEnd, final int errorLevel, - final String location) throws CoreException { - if (file != null) { - final Hashtable attributes = new Hashtable(); - MarkerUtilities.setMessage(attributes, message); - switch (errorLevel) { - case ERROR: - attributes.put(IMarker.SEVERITY, new Integer( - IMarker.SEVERITY_ERROR)); - break; - case WARNING: - attributes.put(IMarker.SEVERITY, new Integer( - IMarker.SEVERITY_WARNING)); - break; - case INFO: - attributes.put(IMarker.SEVERITY, new Integer( - IMarker.SEVERITY_INFO)); - break; - case TASK: - attributes.put(IMarker.SEVERITY, new Integer(IMarker.TASK)); - break; - } - attributes.put(IMarker.LOCATION, location); - MarkerUtilities.setCharStart(attributes, charStart); - MarkerUtilities.setCharEnd(attributes, charEnd); - MarkerUtilities.createMarker(file, attributes, PROBLEM_ID); // IMarker.PROBLEM); - } - } +// private void setMarker(final IFile file, final String message, +// final int charStart, final int charEnd, final int errorLevel, +// final String location) throws CoreException { +// if (file != null) { +// final Hashtable attributes = new Hashtable(); +// MarkerUtilities.setMessage(attributes, message); +// switch (errorLevel) { +// case ERROR: +// attributes.put(IMarker.SEVERITY, new Integer( +// IMarker.SEVERITY_ERROR)); +// break; +// case WARNING: +// attributes.put(IMarker.SEVERITY, new Integer( +// IMarker.SEVERITY_WARNING)); +// break; +// case INFO: +// attributes.put(IMarker.SEVERITY, new Integer( +// IMarker.SEVERITY_INFO)); +// break; +// case TASK: +// attributes.put(IMarker.SEVERITY, new Integer(IMarker.TASK)); +// break; +// } +// attributes.put(IMarker.LOCATION, location); +// MarkerUtilities.setCharStart(attributes, charStart); +// MarkerUtilities.setCharEnd(attributes, charEnd); +// MarkerUtilities.createMarker(file, attributes, PROBLEM_ID); // IMarker.PROBLEM); +// } +// } private String getParserOutput(String command, String consoleMessage) { try {