fi.hut.tml.xsmiles
Class DocumentHistory

java.lang.Object
  fi.hut.tml.xsmiles.DocumentHistory

public class DocumentHistory

extends java.lang.Object

Stores the list of visited sites. This history can be accessed with the Back and Forward buttons in the main browser window.

Version:

$Revision: 5835 $

Author:

Jukka Heinonen, Juha

Constructor Summary

DocumentHistory()
The constructor that is used by the project.

Method Summary

void	addURL(XLink link) Stores a new document in the history.
XLink	backwardsInHistory() Goes backwards in document history This method shouln't be called if the current document is in the beginning of the history, that is one cannot go backwards in document history.
boolean	canGoBack()
boolean	canGoForward()
void	dumpHistory()
XLink	forwardInHistory() Goes forward in document history This method shouln't be called if the current document is in the end of the history, that is one cannot go forward in document history.
java.util.Vector	getHistory() return the vector containing the whole history
XLink	getLastDocument()
protected XLink	getLinkAtFinger(int f)

Methods inherited from class java.lang.Object

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

Constructor Detail

DocumentHistory

public DocumentHistory()

The constructor that is used by the project.

Method Detail

backwardsInHistory

public XLink backwardsInHistory()

Goes backwards in document history This method shouln't be called if the current document is in the beginning of the history, that is one cannot go backwards in document history. This should be prevented by disabling the corresponding button.

forwardInHistory

public XLink forwardInHistory()

Goes forward in document history This method shouln't be called if the current document is in the end of the history, that is one cannot go forward in document history. This should be prevented by disabling the corresponding button.

getLastDocument

public XLink getLastDocument()

getLinkAtFinger

protected XLink getLinkAtFinger(int f)

dumpHistory

public void dumpHistory()

addURL

public void addURL(XLink link)

Stores a new document in the history. If a page is reloaded several time, then only one link is added to history. Is called by the Browser when a new document is requested using retrieveResource method. See the Technical Requirements Specification for further details on document history.

canGoBack

public boolean canGoBack()

canGoForward

public boolean canGoForward()

getHistory

public java.util.Vector getHistory()

return the vector containing the whole history