/**
  * 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);
   }
   return itemPropertyDescriptors;
 }
示例#2
0
  /**
   * 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
   */
  @Override
  public void notifyChanged(Notification notification) {
    updateChildren(notification);

    switch (notification.getFeatureID(Literal.class)) {
      case SmlPackage.LITERAL__VALUE:
        fireNotifyChanged(
            new ViewerNotification(notification, notification.getNotifier(), false, true));
        return;
    }
    super.notifyChanged(notification);
  }
示例#3
0
 /**
  * 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);
 }
 /**
  * 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
  */
 @Override
 public void notifyChanged(Notification notification) {
   updateChildren(notification);
   super.notifyChanged(notification);
 }
 /**
  * This disposes all of the item providers created by this factory.
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public void dispose() {
   if (graphItemProvider != null) graphItemProvider.dispose();
   if (namedElementItemProvider != null) namedElementItemProvider.dispose();
   if (nodeItemProvider != null) nodeItemProvider.dispose();
   if (edgeItemProvider != null) edgeItemProvider.dispose();
 }