jpov.viewer.tree
Class TreeContentProvider

java.lang.Object
  jpov.viewer.tree.TreeContentProvider

All Implemented Interfaces:

org.eclipse.jface.viewers.IContentProvider, org.eclipse.jface.viewers.IStructuredContentProvider, org.eclipse.jface.viewers.ITreeContentProvider

public class TreeContentProvider

extends java.lang.Object

implements org.eclipse.jface.viewers.ITreeContentProvider

This class implements a content provider for the tree

Author:

L.Burdy

Constructor Summary

TreeContentProvider(ICaseExplorer explorer)

Method Summary

void	dispose()
java.lang.Object[]	getChildren(java.lang.Object parentElement) Returns the children of a node, that is: its classes for a JML file its static initialization, constructors and methods for a class its lemmas for a method its goals for a lemma
java.lang.Object[]	getElements(java.lang.Object inputElement)
java.lang.Object	getParent(java.lang.Object element)
boolean	hasChildren(java.lang.Object element)
void	inputChanged(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object oldInput, java.lang.Object newInput)

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeContentProvider

public TreeContentProvider(ICaseExplorer explorer)

Parameters:

explorer -

Method Detail

getChildren

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

Returns the children of a node, that is:

• its classes for a JML file
• its static initialization, constructors and methods for a class
• its lemmas for a method
• its goals for a lemma

Specified by:

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

getElements

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

Specified by:

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

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

inputChanged

public void inputChanged(org.eclipse.jface.viewers.Viewer viewer,
                         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