org.eclipse.tptp.platform.analysis.core.ui.internal.providers
Class DomainContentProvider

java.lang.Object
  org.eclipse.tptp.platform.analysis.core.ui.internal.providers.DomainContentProvider

All Implemented Interfaces:

java.util.EventListener, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.jface.viewers.IContentProvider, org.eclipse.jface.viewers.IStructuredContentProvider, org.eclipse.jface.viewers.ITreeContentProvider

public class DomainContentProvider
extends java.lang.Object
implements org.eclipse.jface.viewers.ITreeContentProvider, org.eclipse.jface.util.IPropertyChangeListener

Constructor Summary

DomainContentProvider()

Method Summary

void	dispose()
java.lang.Object[]	getChildren(java.lang.Object parentElement)
java.lang.Object[]	getElements(java.lang.Object parent)
java.lang.Object	getParent(java.lang.Object element)
boolean	hasChildren(java.lang.Object element)
void	inputChanged(org.eclipse.jface.viewers.Viewer v, java.lang.Object oldInput, java.lang.Object newInput)
void	propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)

Methods inherited from class java.lang.Object

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

Constructor Detail

DomainContentProvider

public DomainContentProvider()

Method Detail

inputChanged

public void inputChanged(org.eclipse.jface.viewers.Viewer v,
                         java.lang.Object oldInput,
                         java.lang.Object newInput)

Specified by:

inputChanged in interface org.eclipse.jface.viewers.IContentProvider

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.jface.viewers.IContentProvider

getElements

public java.lang.Object[] getElements(java.lang.Object parent)

Specified by:

getElements in interface org.eclipse.jface.viewers.IStructuredContentProvider

getChildren

public java.lang.Object[] getChildren(java.lang.Object parentElement)

Specified by:

getChildren in interface org.eclipse.jface.viewers.ITreeContentProvider

getParent

public java.lang.Object getParent(java.lang.Object element)

Specified by:

getParent in interface org.eclipse.jface.viewers.ITreeContentProvider

hasChildren

public boolean hasChildren(java.lang.Object element)

Specified by:

hasChildren in interface org.eclipse.jface.viewers.ITreeContentProvider

propertyChange

public void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)

Specified by:

propertyChange in interface org.eclipse.jface.util.IPropertyChangeListener