|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface HTMLDocument
This class represents HTML document.
| Field Summary |
|---|
| Fields inherited from interface org.w3c.dom.Node |
|---|
ATTRIBUTE_NODE, CDATA_SECTION_NODE, COMMENT_NODE, DOCUMENT_FRAGMENT_NODE, DOCUMENT_NODE, DOCUMENT_POSITION_CONTAINED_BY, DOCUMENT_POSITION_CONTAINS, DOCUMENT_POSITION_DISCONNECTED, DOCUMENT_POSITION_FOLLOWING, DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC, DOCUMENT_POSITION_PRECEDING, DOCUMENT_TYPE_NODE, ELEMENT_NODE, ENTITY_NODE, ENTITY_REFERENCE_NODE, NOTATION_NODE, PROCESSING_INSTRUCTION_NODE, TEXT_NODE |
| Method Summary | |
|---|---|
void |
addWindowEventListener(java.lang.String eventName,
org.w3c.dom.events.EventListener eventlistener)
Adds listener to the document window. |
void |
dispose()
Disposes all resources. |
HTMLElement |
getActiveElement()
Returns document active element. |
java.lang.String |
getCharset()
Returns the string that represents a character set used to encode the document. |
java.util.Set |
getCookies()
Returns cookies. |
java.lang.Object |
getDocumentPeer()
Returns document native peer. |
java.lang.String |
getDomain()
The domain name of the server that served the document, or null if the server cannot be identified by a domain name. |
HTMLElement |
getElementFromPoint(int x,
int y)
Returns the element for the specified x coordinate and the specified y coordinate. |
org.w3c.dom.NodeList |
getElementsByName(java.lang.String elementName)
Gets a collection of objects based on the value of the NAME or ID attribute. |
java.util.List |
getFrames()
Returns all frame elements in the document. |
HTMLElement |
getHead()
Returns head element. |
int |
getHorisontalScrollPosition()
Returns horisontal scroll position in pixels. |
java.util.Date |
getLastModified()
Returns last time of the document modification. |
java.lang.String |
getReferrer()
Returns the URI of the page that linked to this page. |
int |
getScrollHeight()
Return maximum scroll position for vertical scrolling. |
int |
getScrollWidth()
Return maximum scroll position for horisontal scrolling. |
java.lang.String |
getTitle()
Returns document title. |
java.lang.String |
getURL()
Returns the URI of the page that linked to this page. |
int |
getVerticalScrollPosition()
Returns vertical scroll position in pixels. |
boolean |
isDesignMode()
Returns true if document in the design mode. |
void |
removeWindowEventListener(java.lang.String eventName,
org.w3c.dom.events.EventListener eventlistener)
Removes listener from the document window. |
void |
scrollHorisontal(int pos)
Scrolls document horisontally. |
void |
scrollVertical(int pos)
Scrolls document vertically. |
void |
setCookies(java.util.Set cookies)
Sets cookies. |
void |
setDesignMode(boolean isDesign)
Switch the document mode: from view to design and otherwise. |
void |
setFontSize(FontSize fontSize)
Sets document font size. |
void |
setTitle(java.lang.String title)
Sets the title of a document as specified by the TITLE
element in the head of the document. |
| Methods inherited from interface org.w3c.dom.html.HTMLDocument |
|---|
close, getAnchors, getApplets, getBody, getCookie, getForms, getImages, getLinks, open, setBody, setCookie, write, writeln |
| Methods inherited from interface org.w3c.dom.Document |
|---|
adoptNode, createAttribute, createAttributeNS, createCDATASection, createComment, createDocumentFragment, createElement, createElementNS, createEntityReference, createProcessingInstruction, createTextNode, getDoctype, getDocumentElement, getDocumentURI, getDomConfig, getElementById, getElementsByTagName, getElementsByTagNameNS, getImplementation, getInputEncoding, getStrictErrorChecking, getXmlEncoding, getXmlStandalone, getXmlVersion, importNode, normalizeDocument, renameNode, setDocumentURI, setStrictErrorChecking, setXmlStandalone, setXmlVersion |
| Methods inherited from interface org.w3c.dom.Node |
|---|
appendChild, cloneNode, compareDocumentPosition, getAttributes, getBaseURI, getChildNodes, getFeature, getFirstChild, getLastChild, getLocalName, getNamespaceURI, getNextSibling, getNodeName, getNodeType, getNodeValue, getOwnerDocument, getParentNode, getPrefix, getPreviousSibling, getTextContent, getUserData, hasAttributes, hasChildNodes, insertBefore, isDefaultNamespace, isEqualNode, isSameNode, isSupported, lookupNamespaceURI, lookupPrefix, normalize, removeChild, replaceChild, setNodeValue, setPrefix, setTextContent, setUserData |
| Method Detail |
|---|
java.lang.String getTitle()
getTitle in interface org.w3c.dom.html.HTMLDocumentvoid setTitle(java.lang.String title)
TITLE
element in the head of the document.
setTitle in interface org.w3c.dom.html.HTMLDocumenttitle - the string that represents a document title.java.lang.String getURL()
getURL in interface org.w3c.dom.html.HTMLDocumentjava.lang.String getReferrer()
getReferrer in interface org.w3c.dom.html.HTMLDocumentjava.lang.String getDomain()
null if the server cannot be identified by a domain name.
getDomain in interface org.w3c.dom.html.HTMLDocumentvoid setFontSize(FontSize fontSize)
fontSize - font sizeHTMLElement getActiveElement()
void setCookies(java.util.Set cookies)
cookies - java.util.Set of Cookie objectsjava.util.Set getCookies()
java.util.Set of Cookie objects.
void addWindowEventListener(java.lang.String eventName,
org.w3c.dom.events.EventListener eventlistener)
eventName - event nameeventlistener - listener
void removeWindowEventListener(java.lang.String eventName,
org.w3c.dom.events.EventListener eventlistener)
eventName - event nameeventlistener - listenerHTMLElement getHead()
java.util.List getFrames()
int getVerticalScrollPosition()
int getHorisontalScrollPosition()
void scrollVertical(int pos)
pos - position to scroll
java.lang.IllegalArgumentException - if position negative or more that maximum allowed scroll positionvoid scrollHorisontal(int pos)
pos - position to scroll
java.lang.IllegalArgumentException - if position negative or more that maximum allowed scroll positionint getScrollHeight()
int getScrollWidth()
java.util.Date getLastModified()
java.lang.Object getDocumentPeer()
java.lang.String getCharset()
null.
void setDesignMode(boolean isDesign)
isDesign - if true then switch to design mode else switch to view modeorg.w3c.dom.NodeList getElementsByName(java.lang.String elementName)
getElementsByName in interface org.w3c.dom.html.HTMLDocumentelementName - a string that specifies the value of a NAME attribute.
HTMLElement getElementFromPoint(int x,
int y)
x - specifies the X-offset, in pixels.y - specifies the Y-offset, in pixels.
boolean isDesignMode()
void dispose()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||