Package org.palladiosimulator.supporting.prolog.model.prolog.expressions.provider

Class NotProvableItemProvider

java.lang.Object

org.eclipse.emf.common.notify.impl.AdapterImpl

org.eclipse.emf.edit.provider.ItemProviderAdapter

org.palladiosimulator.supporting.prolog.model.prolog.expressions.provider.ExpressionItemProvider

org.palladiosimulator.supporting.prolog.model.prolog.expressions.provider.UnaryExpressionItemProvider

org.palladiosimulator.supporting.prolog.model.prolog.expressions.provider.NotProvableItemProvider

All Implemented Interfaces:

Adapter, Adapter.Internal, ResourceLocator, CreateChildCommand.Helper, IChangeNotifier, IDisposable, IEditingDomainItemProvider, IItemLabelProvider, IItemPropertySource, IStructuredItemContentProvider, ITreeItemContentProvider

public class NotProvableItemProvider
extends UnaryExpressionItemProvider

This is the item provider adapter for a NotProvable object.

Generated class or method.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.edit.provider.ItemProviderAdapter

ItemProviderAdapter.ChildrenStore, ItemProviderAdapter.ModifiableSingletonEList<E extends Object>, ItemProviderAdapter.ResultAndAffectedObjectsWrappingCommand, ItemProviderAdapter.ResultAndAffectedObjectsWrappingCommandActionDelegate

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

Adapter.Internal

Field Summary

Fields inherited from class org.eclipse.emf.edit.provider.ItemProviderAdapter

adapterFactory, changeNotifier, childrenFeatures, childrenReferences, childrenStoreMap, itemPropertyDescriptors, targets, wrappers, wrappingNeeded

Fields inherited from class org.eclipse.emf.common.notify.impl.AdapterImpl

target

Constructor Summary

Constructors

Constructor	Description
NotProvableItemProvider(AdapterFactory adapterFactory)	This constructs an instance from a factory and a notifier.

Method Summary

Modifier and Type	Method	Description
protected void	collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object)	This adds CommandParameters describing the children that can be created under this object.
Object	getImage(Object object)	This returns NotProvable.gif.
List<IItemPropertyDescriptor>	getPropertyDescriptors(Object object)	This returns the property descriptors for the adapted class.
String	getText(Object object)	This returns the label text for the adapted class.
void	notifyChanged(Notification notification)	This handles model notifications by calling ItemProviderAdapter.updateChildren(org.eclipse.emf.common.notify.Notification) to update any cached children and by creating a viewer notification, which it passes to ItemProviderAdapter.fireNotifyChanged(org.eclipse.emf.common.notify.Notification).

Methods inherited from class org.palladiosimulator.supporting.prolog.model.prolog.expressions.provider.UnaryExpressionItemProvider

getChildFeature, getChildrenFeatures

Methods inherited from class org.palladiosimulator.supporting.prolog.model.prolog.expressions.provider.ExpressionItemProvider

getResourceLocator

Methods inherited from class org.eclipse.emf.edit.provider.ItemProviderAdapter

addListener, adjustWrapperIndex, adjustWrapperIndices, adjustWrapperIndices, createAddCommand, createAddCommand, createChildParameter, createChildrenStore, createCommand, createCopyCommand, createCreateChildCommand, createCreateChildCommand, createCreateCopyCommand, createDragAndDropCommand, createDragAndDropCommand, createInitializeCopyCommand, createItemPropertyDescriptor, createItemPropertyDescriptor, createItemPropertyDescriptor, createMoveCommand, createMoveCommand, createRemoveCommand, createRemoveCommand, createReplaceCommand, createReplaceCommand, createReplaceCommand, createSetCommand, createSetCommand, createWrapper, crop, dispose, disposeWrapper, disposeWrappers, factorAddCommand, factorMoveCommand, factorRemoveCommand, fireNotifyChanged, getAdapterFactory, getBackground, getBackground, getBaseURL, getChildReference, getChildren, getChildrenReferences, getChildrenStore, getColumnImage, getColumnText, getCreateChildDescription, getCreateChildImage, getCreateChildResult, getCreateChildText, getCreateChildToolTipText, getEditableValue, getElements, getFeatureText, getFeatureValue, getFont, getFont, getForeground, getForeground, getImage, getNewChildDescriptors, getParent, getPropertyDescriptor, getPropertyValue, getReferenceValue, getResourceLocator, getRootAdapterFactory, getSetFeature, getSetFeatures, getString, getString, getString, getString, getString, getString, getString, getString, getStyledText, getTypeText, getTypeText, getUpdateableText, getValue, getWrappedValues, hasChildren, hasChildren, isAdapterForType, isEquivalentValue, isPropertySet, isResolveProxies, isValidValue, isWrappingNeeded, overlayImage, removeListener, resetPropertyValue, setPropertyValue, setTarget, shouldComposeCreationImage, shouldTranslate, unsetTarget, unwrap, unwrapCommandValues, updateChildren, wrap, wrapCommand

Methods inherited from class org.eclipse.emf.common.notify.impl.AdapterImpl

getTarget

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.emf.edit.provider.IEditingDomainItemProvider

createCommand, getChildren, getNewChildDescriptors, getParent

Methods inherited from interface org.eclipse.emf.edit.provider.IItemPropertySource

getEditableValue, getPropertyDescriptor

Methods inherited from interface org.eclipse.emf.edit.provider.IStructuredItemContentProvider

getElements

Methods inherited from interface org.eclipse.emf.edit.provider.ITreeItemContentProvider

getChildren, getParent, hasChildren

Constructor Detail

NotProvableItemProvider

public NotProvableItemProvider(AdapterFactory adapterFactory)

This constructs an instance from a factory and a notifier.

Generated class or method.

Method Detail

getPropertyDescriptors

public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object)

This returns the property descriptors for the adapted class.

Specified by:

getPropertyDescriptors in interface IItemPropertySource

Overrides:

getPropertyDescriptors in class UnaryExpressionItemProvider

Generated class or method.

getImage

public Object getImage(Object object)

This returns NotProvable.gif.

Specified by:

getImage in interface IItemLabelProvider

Overrides:

getImage in class ItemProviderAdapter

Generated class or method.

getText

public String getText(Object object)

This returns the label text for the adapted class.

Specified by:

getText in interface IItemLabelProvider

Overrides:

getText in class UnaryExpressionItemProvider

Generated class or method.

notifyChanged

public void notifyChanged(Notification notification)

This handles model notifications by calling ItemProviderAdapter.updateChildren(org.eclipse.emf.common.notify.Notification) to update any cached children and by creating a viewer notification, which it passes to ItemProviderAdapter.fireNotifyChanged(org.eclipse.emf.common.notify.Notification).

Specified by:

notifyChanged in interface Adapter

Overrides:

notifyChanged in class UnaryExpressionItemProvider

Generated class or method.

collectNewChildDescriptors

protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors,
                                          Object object)

This adds CommandParameters describing the children that can be created under this object.

Overrides:

collectNewChildDescriptors in class UnaryExpressionItemProvider

Generated class or method.