}
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);
- PHPBuilder.removeProblemsAndTasksFor(fileToParse);
- // try {
- // InputStream iStream = fileToParse.getContents();
- parse(fileToParse); //, iStream);
- // iStream.close();
- // } catch (IOException e) {
- // }
- } else {
+// if (store.getString(PHPeclipsePlugin.PHP_PARSER_DEFAULT).equals(PHPeclipsePlugin.PHP_INTERNAL_PARSER)) {
+// PHPBuilder.removeProblemsAndTasksFor(fileToParse);
+// parse(fileToParse); //, iStream);
+// } else {
ExternalPHPParser parser = new ExternalPHPParser(fileToParse);
parser.phpExternalParse();
- }
+// }
}
-// } catch (CoreException e) {
-// }
-
}
/**
* Finds the file that's currently opened in the PHP Text Editor