org.eclipse.palamedes.ui.editor.gametree
Class GameTreeContentProvider

java.lang.Object
  org.eclipse.palamedes.ui.editor.gametree.GameTreeContentProvider

All Implemented Interfaces:

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

public class GameTreeContentProvider
extends java.lang.Object
implements org.eclipse.jface.viewers.ITreeContentProvider

Field Summary

IGame	game
long	moveCount
long	moveTime
long	nodeCount
long	nodeTime

Constructor Summary

GameTreeContentProvider(IGame game)

Method Summary

void	dispose()
java.lang.Object[]	getChildren(java.lang.Object element)
java.lang.Object[]	getElements(java.lang.Object element)
java.lang.Object	getParent(java.lang.Object element)
boolean	hasChildren(java.lang.Object element) If element is a game node and it is terminal then we return false, otherwise true.
void	inputChanged(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object oldInput, java.lang.Object newInput)

Methods inherited from class java.lang.Object

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

Field Detail

game

public IGame game

moveCount

public long moveCount

nodeCount

public long nodeCount

moveTime

public long moveTime

nodeTime

public long nodeTime

Constructor Detail

GameTreeContentProvider

public GameTreeContentProvider(IGame game)

Method Detail

getChildren

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

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)

If element is a game node and it is terminal then we return false, otherwise true.

Specified by:

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

getElements

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

Specified by:

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

dispose

public void dispose()

Specified by:

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

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