package org.lamport.tla.toolbox.editor.basic.util;

import org.eclipse.ui.texteditor.IElementStateListener;

/**
 * A simple adapter of the Element state listener
 * @author Simon Zambrovski
 * @version $Id$
 */
public class ElementStateAdapter implements IElementStateListener
{

    /* (non-Javadoc)
     * @see org.eclipse.ui.texteditor.IElementStateListener#elementContentAboutToBeReplaced(java.lang.Object)
     */
    public void elementContentAboutToBeReplaced(Object element)
    {

    }

    /* (non-Javadoc)
     * @see org.eclipse.ui.texteditor.IElementStateListener#elementContentReplaced(java.lang.Object)
     */
    public void elementContentReplaced(Object element)
    {

    }

    /* (non-Javadoc)
     * @see org.eclipse.ui.texteditor.IElementStateListener#elementDeleted(java.lang.Object)
     */
    public void elementDeleted(Object element)
    {

    }

    /* (non-Javadoc)
     * @see org.eclipse.ui.texteditor.IElementStateListener#elementDirtyStateChanged(java.lang.Object, boolean)
     */
    public void elementDirtyStateChanged(Object element, boolean isDirty)
    {

    }

    /* (non-Javadoc)
     * @see org.eclipse.ui.texteditor.IElementStateListener#elementMoved(java.lang.Object, java.lang.Object)
     */
    public void elementMoved(Object originalElement, Object movedElement)
    {

    }

}
