Package com.teamten.typeset

Class Bookmarks

java.lang.Object

com.teamten.typeset.Bookmarks

public class Bookmarks
extends Object

Keeps track of a set of bookmarks and which physical page they're on.

Method Summary

Modifier and Type	Method	Description
static Bookmarks	empty()
Set<Map.Entry<Integer,Bookmark>>	entries()	Get a set of bookmark entries, where the key is the physical page number and the value is the bookmark
boolean	equals(Object o)
static Bookmarks	fromPages(List<Page> pages)
Integer	getPhysicalPageNumberForLabel(String name)	Return the physical page number for a label, or null if not found.
int	hashCode()
void	println(PrintStream stream)	Print all bookmarks, ordered by page number.

Methods inherited from class java.lang.Object

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

Method Details

empty

public static Bookmarks empty()

fromPages

public static Bookmarks fromPages(List<Page> pages)

entries

public Set<Map.Entry<Integer,Bookmark>> entries()

Get a set of bookmark entries, where the key is the physical page number and the value is the bookmark

getPhysicalPageNumberForLabel

public Integer getPhysicalPageNumberForLabel(String name)

Return the physical page number for a label, or null if not found.

println

public void println(PrintStream stream)

Print all bookmarks, ordered by page number.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object