org.processmining.mining.dmcscanning.logutils
Class Bookmark

java.lang.Object
  extended by org.processmining.mining.dmcscanning.logutils.Bookmark

public class Bookmark
extends java.lang.Object

Bookmark Intended to provide a convenient means for temporarily saving an iterator's current state, in order to reset it to that state later on.

Author:
christian Christian W. Guenther (christian@deckfour.com)

Field Summary
protected  int position
           
 
Constructor Summary
Bookmark(int pos)
          constructor
 
Method Summary
 int getPosition()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

position

protected int position
Constructor Detail

Bookmark

public Bookmark(int pos)
constructor

Method Detail

getPosition

public int getPosition()