initial contribution

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / core / JavaCore.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
index e47f5c4..64872e2 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
@@ -26,6 +26,7 @@ import org.eclipse.core.resources.IProject;
 import org.eclipse.core.resources.IProjectDescription;
 import org.eclipse.core.resources.IResource;
 import org.eclipse.core.resources.IResourceChangeEvent;
+import org.eclipse.core.resources.IResourceChangeListener;
 import org.eclipse.core.resources.ISavedState;
 import org.eclipse.core.resources.IWorkspace;
 import org.eclipse.core.resources.IWorkspaceRoot;
@@ -296,7 +297,13 @@ public class JavaCore {
         */
        public static final String COMPILER_PB_PHP_VAR_DEPRECATED = PLUGIN_ID
                        + ".compiler.problem.phpVarDeprecatedWarning"; //$NON-NLS-1$
-
+       
+       public static final String COMPILER_PB_PHP_KEYWORD = PLUGIN_ID
+               + ".compiler.problem.phpBadStyleKeywordWarning"; //$NON-NLS-1$
+       
+       public static final String COMPILER_PB_PHP_UPPERCASE_IDENTIFIER = PLUGIN_ID
+               + ".compiler.problem.phpBadStyleUppercaseIdentifierWarning"; //$NON-NLS-1$
+       
        /**
         * Possible configurable option ID.
         * 
@@ -1604,6 +1611,21 @@ public class JavaCore {
        }
 
        /**
+        * Adds the given listener for POST_CHANGE resource change events to the Java core. 
+        * The listener is guarantied to be notified of the POST_CHANGE resource change event before
+        * the Java core starts processing the resource change event itself.
+        * <p>
+        * Has no effect if an identical listener is already registered.
+        * </p>
+        * 
+        * @param listener the listener
+        * @see #removePreProcessingResourceChangedListener(IResourceChangeListener)
+        * @since 3.0
+        */
+       public static void addPreProcessingResourceChangedListener(IResourceChangeListener listener) {
+               JavaModelManager.getJavaModelManager().deltaState.addPreResourceChangedListener(listener);
+       }
+       /**
         * Configures the given marker for the given Java element. Used for markers,
         * which denote a Java element rather than a resource.
         * 
@@ -2888,7 +2910,11 @@ public class JavaCore {
 
                preferences.setDefault(COMPILER_PB_PHP_VAR_DEPRECATED, WARNING);
                optionNames.add(COMPILER_PB_PHP_VAR_DEPRECATED);
-
+               preferences.setDefault(COMPILER_PB_PHP_KEYWORD, WARNING);
+               optionNames.add(COMPILER_PB_PHP_KEYWORD);
+               preferences.setDefault(COMPILER_PB_PHP_UPPERCASE_IDENTIFIER, IGNORE);
+               optionNames.add(COMPILER_PB_PHP_UPPERCASE_IDENTIFIER);
+ 
                preferences.setDefault(COMPILER_PB_UNREACHABLE_CODE, ERROR);
                optionNames.add(COMPILER_PB_UNREACHABLE_CODE);