new version with WorkingCopy Management

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / PHPParserAction.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPParserAction.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPParserAction.java
index 3d78be7..8134b38 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPParserAction.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPParserAction.java
@@ -20,6 +20,7 @@ import java.util.List;
 
 import net.sourceforge.phpdt.internal.compiler.util.Util;
 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
+import net.sourceforge.phpeclipse.builder.PHPBuilder;
 
 import org.eclipse.core.resources.IFile;
 import org.eclipse.core.resources.IMarker;
@@ -69,7 +70,7 @@ public class PHPParserAction extends TextEditorAction {
 
   public static void parseFile(IFile fileToParse) {
     boolean phpFlag = false;
-    try {
+//    try {
 
       if (fileToParse == null) {
         // TODO should never happen => should throw an exception
@@ -88,12 +89,12 @@ public class PHPParserAction extends TextEditorAction {
       if (phpFlag) {
         IPreferenceStore store = PHPeclipsePlugin.getDefault().getPreferenceStore();
         if (store.getString(PHPeclipsePlugin.PHP_PARSER_DEFAULT).equals(PHPeclipsePlugin.PHP_INTERNAL_PARSER)) {
-          // first delete all the previous markers
-          fileToParse.deleteMarkers(IMarker.PROBLEM, false, 0);
-
-          //the tasks are removed here
-          fileToParse.deleteMarkers(IMarker.TASK, false, 0);
-
+//          // first delete all the previous markers
+//          fileToParse.deleteMarkers(IMarker.PROBLEM, false, 0);
+//          
+//          //the tasks are removed here
+//          fileToParse.deleteMarkers(IMarker.TASK, false, 0);
+                                       PHPBuilder.removeProblemsAndTasksFor(fileToParse);
           //                    try {
           //                      InputStream iStream = fileToParse.getContents();
           parse(fileToParse); //, iStream);
@@ -104,8 +105,8 @@ public class PHPParserAction extends TextEditorAction {
           PHPParserSuperclass.phpExternalParse(fileToParse);
         }
       }
-    } catch (CoreException e) {
-    }
+//    } catch (CoreException e) {
+//    }
 
   }
   /**