private boolean refreshDirectory(IDirectory directory, RefreshKind kind) { boolean processed = false; // refresh the directory itself for (ITypeLoader typeLoader : _globalStack) { if (typeLoader.handlesDirectory(directory)) { String namespace = typeLoader.getNamespaceForDirectory(directory); if (namespace != null) { refreshNamespaceCaches(namespace, typeLoader, kind); typeLoader.refreshedNamespace(namespace, directory, kind); } processed = true; } } // refresh directory content for (IFile file : directory.listFiles()) { processed |= refreshFile(file, null, kind); } for (IDirectory dir : directory.listDirs()) { processed |= refreshDirectory(dir, kind); } return processed; }
private boolean refreshDirectory(IDirectory directory, RefreshKind kind) { boolean processed = false; // refresh the directory itself for (ITypeLoader typeLoader : _globalStack) { if (typeLoader.handlesDirectory(directory)) { String namespace = typeLoader.getNamespaceForDirectory(directory); if (namespace != null) { refreshNamespaceCaches(namespace, typeLoader, kind); typeLoader.refreshedNamespace(namespace, directory, kind); } processed = true; } } // refresh directory content for (IFile file : directory.listFiles()) { processed |= refreshFile(file, null, kind); } for (IDirectory dir : directory.listDirs()) { processed |= refreshDirectory(dir, kind); } return processed; }