public static JavaIndex getIndex() { return getIndex(getGlobalNd()); }
public static JavaIndex getIndex() { return getIndex(getGlobalNd()); }
public static Indexer getInstance() { synchronized (mutex) { if (indexer == null) { indexer = new Indexer(JavaIndex.getGlobalNd(), ResourcesPlugin.getWorkspace().getRoot()); IEclipsePreferences preferences = InstanceScope.INSTANCE.getNode(JavaCore.PLUGIN_ID); preferences.addPreferenceChangeListener(listener); } return indexer; } }
public static Indexer getInstance() { synchronized (mutex) { if (indexer == null) { indexer = new Indexer(JavaIndex.getGlobalNd(), ResourcesPlugin.getWorkspace().getRoot()); IEclipsePreferences preferences = InstanceScope.INSTANCE.getNode(JavaCore.PLUGIN_ID); preferences.addPreferenceChangeListener(listener); } return indexer; } }