de.rwth.utils
Class Position.Entry

java.lang.Object
  |
  +--de.rwth.utils.Position.Entry

Enclosing class:

Position

public class Position.Entry

extends java.lang.Object

Describes a single child selection index;

Field Summary

protected int	index The index with respect to the parent node in the tree.
protected java.lang.Object	o The object at the position.

Constructor Summary

Position.Entry(java.lang.Object o, int index)
Creates a new Entry instance.

Method Summary

int	getIndex() Returns the index with respect to the parent node of this Entry..
java.lang.Object	getObject() Returns the object at this entry.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

o

protected java.lang.Object o

The object at the position.

index

protected int index

The index with respect to the parent node in the tree.

Constructor Detail

Position.Entry

public Position.Entry(java.lang.Object o,
                      int index)

Creates a new Entry instance.

Parameters:

o - an Object value

index - an int value

Method Detail

getIndex

public int getIndex()

Returns the index with respect to the parent node of this Entry..

Returns:

an int value

getObject

public java.lang.Object getObject()

Returns the object at this entry.

Returns:

an Object value

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object