Multivalent API

multivalent.std.ui
Class History

java.lang.Object
  extended by multivalent.VObject
      extended by multivalent.Behavior
          extended by multivalent.std.ui.History

public class History
extends Behavior

Saves last 1000 pages seen. Upon startup, reads list of from disk and salts cache's pages-seen list. On shutdown, saves list, truncating if necessary. During operation, records URL, title, time last seen. On "history:" URL, displays list, grouped by host URL, sorted most recent to least recent. Example of how to fault in outline sections on demand.

Version:
$Revision: 1.8 $ $Date: 2005/01/01 13:28:44 $
See Also:
OutlineSpan, ManualPage

Field Summary
static java.lang.String FILENAME
           
 
Fields inherited from class multivalent.Behavior
ATTR_BEHAVIOR, name_
 
Fields inherited from class multivalent.VObject
attr_
 
Constructor Summary
History()
           
 
Method Summary
 Node fault(int id, Span span, INode replace)
           
 void readHistory()
          Read history tuples from USER directory: URL, encoded title, date last read.
 boolean semanticEventAfter(SemanticEvent se, java.lang.String msg)
          On "openDocument history:", dynamically generate history page.
 boolean semanticEventBefore(SemanticEvent se, java.lang.String msg)
          Write out history at "EXIT", "exitBrowserInstance', and every so many Document.MSG_CLOSEs.
 void writeHistory()
          Write tuples to disk.
 
Methods inherited from class multivalent.Behavior
buildAfter, buildBefore, checkRep, clipboardAfter, clipboardBefore, createUI, destroy, eventAfter, eventBefore, formatAfter, formatBefore, getBrowser, getDocument, getInstance, getInstance, getLayer, getLogger, getName, getPreference, getRoot, isEditable, paintAfter, paintBefore, putPreference, redo, restore, restoreChildren, save, setName, toString, undo
 
Methods inherited from class multivalent.VObject
attrEntrySetIterator, attrKeysIterator, clearAttributes, getAttr, getAttr, getAttributes, getGlobal, getValue, hasAttributes, putAttr, removeAttr, setAttributes
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

FILENAME

public static final java.lang.String FILENAME
See Also:
Constant Field Values
Constructor Detail

History

public History()
Method Detail

semanticEventBefore

public boolean semanticEventBefore(SemanticEvent se,
                                   java.lang.String msg)
Write out history at "EXIT", "exitBrowserInstance', and every so many Document.MSG_CLOSEs.

Overrides:
semanticEventBefore in class Behavior

semanticEventAfter

public boolean semanticEventAfter(SemanticEvent se,
                                  java.lang.String msg)
On "openDocument history:", dynamically generate history page. On "openedDocument DocInfo, add/update record for that URL.

Overrides:
semanticEventAfter in class Behavior

readHistory

public void readHistory()
Read history tuples from USER directory: URL, encoded title, date last read. Also salts cache's pages-seen list.


writeHistory

public void writeHistory()
Write tuples to disk.


fault

public Node fault(int id,
                  Span span,
                  INode replace)

Multivalent API