edu.rice.cs.drjava.ui
Class HTMLFrame.HistoryList

java.lang.Object
  edu.rice.cs.drjava.ui.HTMLFrame.HistoryList

Enclosing class:

HTMLFrame

protected static class HTMLFrame.HistoryList
extends Object

Field Summary

protected URL	contents
private HTMLFrame.HistoryList	next
private HTMLFrame.HistoryList	prev

Constructor Summary

private	HTMLFrame.HistoryList(URL contents)
private	HTMLFrame.HistoryList(URL contents, HTMLFrame.HistoryList prev)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

next

private HTMLFrame.HistoryList next

prev

private final HTMLFrame.HistoryList prev

contents

protected final URL contents

Constructor Detail

HTMLFrame.HistoryList

private HTMLFrame.HistoryList(URL contents)

HTMLFrame.HistoryList

private HTMLFrame.HistoryList(URL contents,
                              HTMLFrame.HistoryList prev)