| /* |
| * Copyright (c) 2015 Christian W. Damus and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Christian W. Damus - initial API and implementation |
| */ |
| |
| package org.eclipse.gmf.runtime.emf.type.core; |
| |
| /** |
| * A notification that an {@linkplain #getElementTypeId() element type} has been |
| * removed from the {@linkplain ElementTypeRegistry registry}. |
| * |
| * @since 1.9 |
| */ |
| public class ElementTypeRemovedEvent { |
| |
| private IElementType elementType; |
| |
| /** |
| * Initializes me with the element type that was removed. |
| * |
| * @param elementType |
| * the removed element type |
| */ |
| ElementTypeRemovedEvent(IElementType elementType) { |
| super(); |
| |
| this.elementType = elementType; |
| } |
| |
| /** |
| * Queries the unique identifier of the element type that was removed. Note |
| * that, because the element type is no longer actually available in the |
| * registry to be looked up, it is {@linkplain #getElementType() provided} |
| * by this event object. |
| * |
| * @return the removed element type's unique identifier |
| * |
| * @see #getElementType() |
| */ |
| public String getElementTypeId() { |
| return elementType.getId(); |
| } |
| |
| /** |
| * Queries the element type that was removed. |
| * |
| * @return the removed element type |
| */ |
| public IElementType getElementType() { |
| return elementType; |
| } |
| } |