public class HistoryElement
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static char |
TYPE_ARTICLE
Represents an article.
|
static char |
TYPE_PAGE
Represents a page or resource.
|
static char |
TYPE_SEARCH
Represents a full text search result page.
|
| Constructor and Description |
|---|
HistoryElement(java.net.URL url) |
HistoryElement(java.net.URL url,
char type) |
HistoryElement(java.net.URL url,
java.lang.String anchor) |
HistoryElement(java.net.URL url,
java.lang.String anchor,
char type) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getAnchor()
Return the element anchor.
|
java.net.URL |
getURL()
Return the element URL.
|
boolean |
hasAnchor()
Return true if the element has an anchor.
|
boolean |
isArticle()
Return true if this is an article.
|
boolean |
isSearchPage()
Return true if this is a search page.
|
java.lang.String |
toString() |
public static final char TYPE_ARTICLE
public static final char TYPE_PAGE
public static final char TYPE_SEARCH
public HistoryElement(java.net.URL url)
public HistoryElement(java.net.URL url,
char type)
public HistoryElement(java.net.URL url,
java.lang.String anchor)
public HistoryElement(java.net.URL url,
java.lang.String anchor,
char type)
public boolean isArticle()
public boolean isSearchPage()
public java.lang.String toString()
toString in class java.lang.Objectpublic java.net.URL getURL()
public boolean hasAnchor()
public java.lang.String getAnchor()
Copyright © 2016-2026 Herve Girod. All Rights Reserved. Documentation and source under the BSD licence