com.pvx.ooadide.util
Class ExtensionUtil
java.lang.Object
com.pvx.ooadide.util.ExtensionUtil
- All Implemented Interfaces:
- org.eclipse.ui.IPropertyListener
public class ExtensionUtil
- extends java.lang.Object
- implements org.eclipse.ui.IPropertyListener
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ExtensionUtil
public ExtensionUtil()
isEditorExtension
public static boolean isEditorExtension(java.lang.String extension,
java.lang.String editorId,
java.util.ArrayList knownExtList)
isNomadsEditorExtension
public static boolean isNomadsEditorExtension(java.lang.String extension)
isPvxEditorExtension
public static boolean isPvxEditorExtension(java.lang.String extension)
propertyChanged
public void propertyChanged(java.lang.Object source,
int propId)
- Specified by:
propertyChanged
in interface org.eclipse.ui.IPropertyListener