mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Fix to 53253

Browse source
This commit is contained in:
Alain Magloire 2004-03-04 00:39:25 +00:00
parent e73afe6adb
commit 4eab4a897e
2 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
core/org.eclipse.cdt.core/ChangeLog
View file

@ -1,3 +1,10 @@
2004-03-03 Alain Magloire
From Sean Sevoy. Fix to VCErrorParser.java
PR 53253.
* src/org/eclipse/cdt/internal/errorparsers/VCErrorParser.java
2004-03-03 Hoda Amer 2004-03-03 Hoda Amer
A fix for getChildren() to check if the getElementInfo() is null A fix for getChildren() to check if the getElementInfo() is null

5
core/org.eclipse.cdt.core/src/org/eclipse/cdt/internal/errorparsers/VCErrorParser.java
View file

@ -8,7 +8,9 @@ import org.eclipse.cdt.core.ErrorParserManager;
import org.eclipse.cdt.core.IErrorParser; import org.eclipse.cdt.core.IErrorParser;
import org.eclipse.cdt.core.IMarkerGenerator; import org.eclipse.cdt.core.IMarkerGenerator;
import org.eclipse.core.resources.IFile; import org.eclipse.core.resources.IFile;
public class VCErrorParser implements IErrorParser { public class VCErrorParser implements IErrorParser {
public boolean processLine(String line, ErrorParserManager eoParser) { public boolean processLine(String line, ErrorParserManager eoParser) {
// msdev: filname(linenumber) : error/warning error_desc // msdev: filname(linenumber) : error/warning error_desc
int firstColon = line.indexOf(':'); int firstColon = line.indexOf(':');
@ -28,6 +30,9 @@ public class VCErrorParser implements IErrorParser {
} catch (SecurityException e) { } catch (SecurityException e) {
} }
} }
}
if (firstColon != -1) {
String firstPart = line.substring(0, firstColon); String firstPart = line.substring(0, firstColon);
StringTokenizer tok = new StringTokenizer(firstPart, "()"); //$NON-NLS-1$ StringTokenizer tok = new StringTokenizer(firstPart, "()"); //$NON-NLS-1$
if (tok.hasMoreTokens()) { if (tok.hasMoreTokens()) {