1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-08 10:16:03 +02:00

Added cancel for Fast Reindexing jobs.

This commit is contained in:
Doug Schaefer 2006-04-28 22:09:53 +00:00
parent 1be823b03c
commit fed6506282

View file

@ -44,6 +44,8 @@ public class PDOMFastReindex extends PDOMFastIndexerJob {
final int[] count = { 0 }; final int[] count = { 0 };
pdom.getProject().accept(new ICElementVisitor() { pdom.getProject().accept(new ICElementVisitor() {
public boolean visit(ICElement element) throws CoreException { public boolean visit(ICElement element) throws CoreException {
if (monitor.isCanceled())
throw new CoreException(Status.CANCEL_STATUS);
switch (element.getElementType()) { switch (element.getElementType()) {
case ICElement.C_UNIT: case ICElement.C_UNIT:
++count[0]; ++count[0];
@ -61,6 +63,8 @@ public class PDOMFastReindex extends PDOMFastIndexerJob {
// First index all the source files (i.e. not headers) // First index all the source files (i.e. not headers)
pdom.getProject().accept(new ICElementVisitor() { pdom.getProject().accept(new ICElementVisitor() {
public boolean visit(ICElement element) throws CoreException { public boolean visit(ICElement element) throws CoreException {
if (monitor.isCanceled())
throw new CoreException(Status.CANCEL_STATUS);
switch (element.getElementType()) { switch (element.getElementType()) {
case ICElement.C_UNIT: case ICElement.C_UNIT:
ITranslationUnit tu = (ITranslationUnit)element; ITranslationUnit tu = (ITranslationUnit)element;
@ -85,6 +89,8 @@ public class PDOMFastReindex extends PDOMFastIndexerJob {
// Now add in the header files but only if they aren't already indexed // Now add in the header files but only if they aren't already indexed
pdom.getProject().accept(new ICElementVisitor() { pdom.getProject().accept(new ICElementVisitor() {
public boolean visit(ICElement element) throws CoreException { public boolean visit(ICElement element) throws CoreException {
if (monitor.isCanceled())
throw new CoreException(Status.CANCEL_STATUS);
switch (element.getElementType()) { switch (element.getElementType()) {
case ICElement.C_UNIT: case ICElement.C_UNIT:
ITranslationUnit tu = (ITranslationUnit)element; ITranslationUnit tu = (ITranslationUnit)element;