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;
*/
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.
*
}
/**
+ * 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.
*
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);