|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.ObjecteTextReader.AnnotationListing.PageSetNotationProvider
public class PageSetNotationProvider
A NotationProvider that facilitates construction of a particular set of pages from which to draw annotations
| Field Summary | |
|---|---|
(package private) java.util.Set<java.lang.String> |
pages
The set of pages that will be included |
| Constructor Summary | |
|---|---|
PageSetNotationProvider()
Constructs a PageSetNotationProvider with an initially empty set of pages |
|
PageSetNotationProvider(java.util.Collection<java.lang.String> initialPages)
Constructs a PageSetNotationProvider and configures the initial set of pages contained within it |
|
| Method Summary | |
|---|---|
boolean |
addPage(java.lang.String page)
Adds the specified page to the set of pages contained in this provider |
java.util.Set<java.lang.String> |
getCandidateURLs(java.lang.String userName)
Determines a list of pages that contain may annotations for the specific user |
java.lang.String |
getDescription()
Returns a description of this provider's scope. |
boolean |
remove(java.lang.String page)
Removes the specified page from the set of pages contained in this provider |
void |
removeAll()
Removes all pages from the set of pages contained in this provider |
boolean |
setPage(java.lang.String page)
Makes it so that the specified page is the only page contained in this page set |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
java.util.Set<java.lang.String> pages
| Constructor Detail |
|---|
public PageSetNotationProvider()
public PageSetNotationProvider(java.util.Collection<java.lang.String> initialPages)
initialPages - the pages to add to this collection| Method Detail |
|---|
public boolean addPage(java.lang.String page)
page - the URL of the page to add
public boolean setPage(java.lang.String page)
page - the page to be contained
public boolean remove(java.lang.String page)
page - the URL of the page to remove
public void removeAll()
public java.util.Set<java.lang.String> getCandidateURLs(java.lang.String userName)
NotationProvider
getCandidateURLs in interface NotationProvideruserName - the name of the user to check for annotations
public java.lang.String getDescription()
NotationProvider
getDescription in interface NotationProvider
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||