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

Add filter for bogus API-tooling error.

Browse source
This commit is contained in:
Markus Schorn 2011-01-21 10:04:55 +00:00
parent 03024722e6
commit 2c376e0343
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
core/org.eclipse.cdt.core/.settings/.api_filters Normal file
View file

@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component id="org.eclipse.cdt.core" version="2">
<resource path="parser/org/eclipse/cdt/core/dom/ast/IProblemBinding.java" type="org.eclipse.cdt.core.dom.ast.IProblemBinding">
<filter comment="API tooling bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=332840" id="403984517">
<message_arguments>
<message_argument value="org.eclipse.cdt.core.dom.ast.IProblemBinding"/>
<message_argument value="org.eclipse.cdt.core.dom.ast.ISemanticProblem"/>
<message_argument value="getID()"/>
</message_arguments>
</filter>
</resource>
</component>