public class HistoryElement
extends java.lang.Object
Constructor and Description |
---|
HistoryElement(java.net.URL url) |
HistoryElement(java.net.URL url,
boolean isArticle) |
HistoryElement(java.net.URL url,
java.lang.String anchor) |
HistoryElement(java.net.URL url,
java.lang.String anchor,
boolean isArticle) |
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.
|
java.lang.String |
toString() |
public HistoryElement(java.net.URL url)
public HistoryElement(java.net.URL url, boolean isArticle)
public HistoryElement(java.net.URL url, java.lang.String anchor)
public HistoryElement(java.net.URL url, java.lang.String anchor, boolean isArticle)
public boolean isArticle()
public java.lang.String toString()
toString
in class java.lang.Object
public java.net.URL getURL()
public boolean hasAnchor()
public java.lang.String getAnchor()
Copyright © 2016-2024 Herve Girod. All Rights Reserved. Documentation and source under the BSD licence