fix #774 infinite loop in net.sourceforge.phpeclipse.builder.IdentifierIndexManager...

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / util / PHPElementVisitor.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/util/PHPElementVisitor.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/util/PHPElementVisitor.java
index da79e24..275bd57 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/util/PHPElementVisitor.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/util/PHPElementVisitor.java
@@ -17,26 +17,24 @@ public class PHPElementVisitor implements IResourceVisitor {
 
        public boolean visit(IResource resource) throws CoreException {
                switch (resource.getType()) {
-                       case IResource.PROJECT :
-                               return true;
+               case IResource.PROJECT:
+                       return true;
+
+               case IResource.FOLDER:
+                       return true;
 
-                       case IResource.FOLDER :
+               case IResource.FILE:
+                       IFile fileResource = (IFile) resource;
+                       if (PHPFileUtil.isPHPFile(fileResource)) {
+                               phpFiles.add(fileResource);
                                return true;
+                       }
 
-                       case IResource.FILE :
-                               IFile fileResource = (IFile) resource;
-                               if ( "php".equals(fileResource.getFileExtension()) ||
-             "php3".equals(fileResource.getFileExtension()) ||
-             "php4".equals(fileResource.getFileExtension()) ) {
-                                       phpFiles.add(fileResource);
-                                       return true;
-                               }
-
-                       default :
-                               return false;
+               default:
+                       return false;
                }
        }
-       
+
        public Object[] getCollectedPHPFiles() {
                return phpFiles.toArray();
        }