continue;
}
visitor.doVisitChangedResource(nature, f, doc, null, module, new NullProgressMonitor(), true,
AnalysisBuilderRunnable.ANALYSIS_CAUSE_PARSER, documentTime);
}
visitor.visitingEnded(new NullProgressMonitor());
return 1;
}
/* (non-Javadoc)
* @see org.python.pydev.ui.actions.resources.PyResourceAction#needsUIThread()