Class browser.URLHistory
All Packages This Package Previous Next
Class browser.URLHistory
java.lang.Object
|
+----browser.URLHistory
-
public class
URLHistory
-
extends Object
-
URLHistory()
-
-
addUrl(URL)
-
-
main(String[])
-
-
openOutputStream(String)
-
-
parseStream(InputStream)
-
Format of stream is
url[ \t]time
It's a ' ' when parsing mosaic global history and a Tab
when parsing netscapes.
-
seen(URL)
-
-
writeHistoryFile(String)
-
-
writeHistoryStream(PrintStream)
-
URLHistory
public URLHistory()
seen
public boolean seen(URL u)
addUrl
public void addUrl(URL u)
parseStream
public void parseStream(InputStream is)
-
Format of stream is
url[ \t]time
It's a ' ' when parsing mosaic global history and a Tab
when parsing netscapes. HotJava's format uses a Tab,
and currently sticks in 0 for the last time visited. That's
because there's no way to get the current time in hotjava.
writeHistoryFile
public void writeHistoryFile(String filename)
writeHistoryStream
public void writeHistoryStream(PrintStream os)
openOutputStream
public void openOutputStream(String filename)
main
public static void main(String args[])
All Packages This Package Previous Next