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

Added tracing option for PDOM timing so it doesn't print it out all the time.

Browse source
This commit is contained in:
Doug Schaefer 2005-12-01 23:01:58 +00:00
parent df627e7739
commit 53c358a93f
2 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
core/org.eclipse.cdt.core/.options
View file

@ -32,3 +32,6 @@ org.eclipse.cdt.core/debug/typeresolver=false
# Reports file type resolver activity
org.eclipse.cdt.core/debug/typeresolver=false
# Reports timings for PDOM
org.eclipse.cdt.core/debug/pdomtimings=false

9
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMUpdator.java
View file

@ -22,6 +22,7 @@ import org.eclipse.cdt.core.model.ICElement;
import org.eclipse.cdt.core.model.ICElementDelta;
import org.eclipse.cdt.core.model.ICProject;
import org.eclipse.cdt.core.model.ITranslationUnit;
import org.eclipse.cdt.internal.core.model.Util;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.resources.IResource;
@ -102,8 +103,12 @@ public class PDOMUpdator extends Job {
ITranslationUnit tu = (ITranslationUnit)i.next();
processRemovedTU(tu);
}
System.out.println("Updator Time: " + (System.currentTimeMillis() - start));
String showTimings = Platform.getDebugOption(CCorePlugin.PLUGIN_ID + "/debug/pdomtimings"); //$NON-NLS-1$
if (showTimings!= null)
if (showTimings.equalsIgnoreCase("true")) //$NON-NLS-1$
System.out.println("Updator Time: " + (System.currentTimeMillis() - start)); //$NON-NLS-1$
return Status.OK_STATUS;
} catch (CoreException e) {
CCorePlugin.log(e);