|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PageDirectory
The PageDirectory
interface provides methods to associate
ClipboardPage
instances with a name and to sever that
association. To maintain consistency with internal data members of
ClipboardPage
instances, page names should be modified
only via methods in the page instance.
Implemented by PRThread
and PRReqeustor
.
Field Summary | |
---|---|
static java.lang.String |
COPYRIGHT
|
static int |
SCOPE_NODE
constant to indicate Node-scope |
static int |
SCOPE_REQUESTOR
constant to indicate Requestor-scope |
static int |
SCOPE_THREAD
constant to indicate Thread-scope |
static java.lang.String |
VERSION
|
Method Summary | |
---|---|
java.lang.String |
findName(ClipboardPage aPage)
Returns the name of the specified page. |
ClipboardPage |
getPage(java.lang.String aName)
Returns the page with the specified name. |
java.util.Set |
getPageNames()
Returns the set of top-level page names defined in this directory. |
int |
getScope()
Returns the scope of the implementor of PageDirectory |
boolean |
pageExists(java.lang.String aName)
Checks if a page with the given name exists. |
boolean |
removePage(ClipboardPage aPage)
Removes the association between the specified ClipboardPage and any name it has been given. |
boolean |
removePage(java.lang.String aName)
Removes the association between the specified name and the ClipboardPage. |
boolean |
renamePage(ClipboardPage aPage,
java.lang.String aName)
Renames the page to the specified new name. |
Field Detail |
---|
static final java.lang.String COPYRIGHT
static final java.lang.String VERSION
static final int SCOPE_NODE
static final int SCOPE_REQUESTOR
static final int SCOPE_THREAD
Method Detail |
---|
java.lang.String findName(ClipboardPage aPage)
aPage
-
ClipboardPage getPage(java.lang.String aName)
aName
- String name of page, if null or blank, a new page is
always created.
int getScope()
java.util.Set getPageNames()
boolean pageExists(java.lang.String aName)
aName
-
boolean removePage(java.lang.String aName)
aName
- String name of page to remove
true
if successfulboolean removePage(ClipboardPage aPage)
aPage
- ClipboardPage to remove
true
if successfulboolean renamePage(ClipboardPage aPage, java.lang.String aName)
aPage
- ClipboardPage to be renamedaName
- String with new name
true
if successful
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |