org.gjt.universe.gui
Class MicroHelp.History

java.lang.Object
  |
  +--org.gjt.universe.gui.MicroHelp.History

Enclosing class:

MicroHelp

class MicroHelp.History

extends java.lang.Object

Maintain document history. When we implement cacheing, it should be done here. (that's what the 'contents' method was originally intended for, but we'll probably have to wait until page loading is complete before contents can be set).

Field Summary

(package private) MicroHelp.History	current
(package private) MicroHelp.History	last
(package private) MicroHelp.History	next
(package private) java.lang.String	url

Constructor Summary

(package private)

MicroHelp.History()

Method Summary

void	add(java.lang.String url, java.lang.String contents)
void	clear()
MicroHelp.History	getBase()
MicroHelp.History	getCurrent()
MicroHelp.History	getLast()
MicroHelp.History	getNext()
java.lang.String	getURL()
boolean	hasLast()
boolean	hasNext()
MicroHelp.History	isInHistory(java.lang.String url)
void	setBase(java.lang.String url, java.lang.String contents)

Methods inherited from class java.lang.Object

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

Field Detail

current

MicroHelp.History current

url

java.lang.String url

last

MicroHelp.History last

next

MicroHelp.History next

Constructor Detail

MicroHelp.History

MicroHelp.History()

Method Detail

setBase

public void setBase(java.lang.String url,
                    java.lang.String contents)

getLast

public MicroHelp.History getLast()

getNext

public MicroHelp.History getNext()

hasNext

public boolean hasNext()

hasLast

public boolean hasLast()

getCurrent

public MicroHelp.History getCurrent()

getBase

public MicroHelp.History getBase()

getURL

public java.lang.String getURL()

clear

public void clear()

add

public void add(java.lang.String url,
                java.lang.String contents)

isInHistory

public MicroHelp.History isInHistory(java.lang.String url)