214 lines
6 KiB
Java
214 lines
6 KiB
Java
/**
|
|
*/
|
|
package petrinet.provider;
|
|
|
|
|
|
import java.util.Collection;
|
|
import java.util.List;
|
|
|
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
|
import org.eclipse.emf.common.notify.Notification;
|
|
|
|
import org.eclipse.emf.common.util.ResourceLocator;
|
|
|
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
|
import org.eclipse.emf.edit.provider.IEditingDomainItemProvider;
|
|
import org.eclipse.emf.edit.provider.IItemLabelProvider;
|
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
|
import org.eclipse.emf.edit.provider.IItemPropertySource;
|
|
import org.eclipse.emf.edit.provider.IStructuredItemContentProvider;
|
|
import org.eclipse.emf.edit.provider.ITreeItemContentProvider;
|
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
|
import org.eclipse.emf.edit.provider.ItemProviderAdapter;
|
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
|
|
|
import petrinet.Arc;
|
|
import petrinet.PetrinetPackage;
|
|
import petrinet.Place;
|
|
import petrinet.Transition;
|
|
|
|
/**
|
|
* This is the item provider adapter for a {@link petrinet.Arc} object.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
public class ArcItemProvider
|
|
extends ItemProviderAdapter
|
|
implements
|
|
IEditingDomainItemProvider,
|
|
IStructuredItemContentProvider,
|
|
ITreeItemContentProvider,
|
|
IItemLabelProvider,
|
|
IItemPropertySource {
|
|
/**
|
|
* This constructs an instance from a factory and a notifier.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
public ArcItemProvider(AdapterFactory adapterFactory) {
|
|
super(adapterFactory);
|
|
}
|
|
|
|
/**
|
|
* This returns the property descriptors for the adapted class.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
@Override
|
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
|
if (itemPropertyDescriptors == null) {
|
|
super.getPropertyDescriptors(object);
|
|
|
|
addWeightPropertyDescriptor(object);
|
|
addOutgoingPropertyDescriptor(object);
|
|
addPlacePropertyDescriptor(object);
|
|
}
|
|
return itemPropertyDescriptors;
|
|
}
|
|
|
|
/**
|
|
* This adds a property descriptor for the Weight feature.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
protected void addWeightPropertyDescriptor(Object object) {
|
|
itemPropertyDescriptors.add
|
|
(createItemPropertyDescriptor
|
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
|
getResourceLocator(),
|
|
getString("_UI_Arc_weight_feature"),
|
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_weight_feature", "_UI_Arc_type"),
|
|
PetrinetPackage.Literals.ARC__WEIGHT,
|
|
true,
|
|
false,
|
|
false,
|
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
|
null,
|
|
null));
|
|
}
|
|
|
|
/**
|
|
* This adds a property descriptor for the Outgoing feature.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
protected void addOutgoingPropertyDescriptor(Object object) {
|
|
itemPropertyDescriptors.add
|
|
(createItemPropertyDescriptor
|
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
|
getResourceLocator(),
|
|
getString("_UI_Arc_outgoing_feature"),
|
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_outgoing_feature", "_UI_Arc_type"),
|
|
PetrinetPackage.Literals.ARC__OUTGOING,
|
|
true,
|
|
false,
|
|
false,
|
|
ItemPropertyDescriptor.BOOLEAN_VALUE_IMAGE,
|
|
null,
|
|
null));
|
|
}
|
|
|
|
/**
|
|
* This adds a property descriptor for the Place feature.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
protected void addPlacePropertyDescriptor(Object object) {
|
|
itemPropertyDescriptors.add
|
|
(createItemPropertyDescriptor
|
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
|
getResourceLocator(),
|
|
getString("_UI_Arc_place_feature"),
|
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_place_feature", "_UI_Arc_type"),
|
|
PetrinetPackage.Literals.ARC__PLACE,
|
|
true,
|
|
false,
|
|
true,
|
|
null,
|
|
null,
|
|
null));
|
|
}
|
|
|
|
/**
|
|
* This returns Arc.gif.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
@Override
|
|
public Object getImage(Object object) {
|
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Arc"));
|
|
}
|
|
|
|
/**
|
|
* This returns the label text for the adapted class.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated NOT
|
|
*/
|
|
@Override
|
|
public String getText(Object object) {
|
|
Arc arc = (Arc)object;
|
|
Transition transition = arc.getTransition();
|
|
Place place = arc.getPlace();
|
|
int weight = arc.getWeight();
|
|
boolean outgoing = arc.isOutgoing();
|
|
return (outgoing) ?
|
|
transition.getName() + " --" + weight + "--> " + place.getName():
|
|
place.getName() + " --" + weight + "--> " + transition.getName();
|
|
}
|
|
|
|
|
|
/**
|
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated NOT
|
|
*/
|
|
@Override
|
|
public void notifyChanged(Notification notification) {
|
|
updateChildren(notification);
|
|
|
|
switch (notification.getFeatureID(Arc.class)) {
|
|
case PetrinetPackage.ARC__PLACE:
|
|
case PetrinetPackage.ARC__TRANSITION:
|
|
case PetrinetPackage.ARC__WEIGHT:
|
|
case PetrinetPackage.ARC__OUTGOING:
|
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
|
return;
|
|
}
|
|
super.notifyChanged(notification);
|
|
}
|
|
|
|
/**
|
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
|
* that can be created under this object.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
@Override
|
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
|
}
|
|
|
|
/**
|
|
* Return the resource locator for this item provider's resources.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
@Override
|
|
public ResourceLocator getResourceLocator() {
|
|
return PetrinetEditPlugin.INSTANCE;
|
|
}
|
|
|
|
}
|