fi.hut.tml.xsmiles
Interface XMLDocument

All Known Implementing Classes:

HTMLDocument, XSmilesXMLDocument

public interface XMLDocument

The XMLDocument is an interface for XMLDocuments, with additional functionality needed by the browser, such as transformation capabilities, extension handling

Author:

Kreivi, Mikko Honkala

Method Summary

void	deactivate()
boolean	evalMediaQuery(java.lang.String media) Public method accessible from MLFCs to evaluate Media Query strings (e.g.
BrowserWindow	getBrowser() Deprecated.
java.lang.String	getCurrentStylesheetTitle() If the current stylesheet does not exist, then "" is returned.
org.w3c.dom.Document	getDocument()
ECMAScripter	getECMAScripter()
XLink	getLink() Accessor method.
java.lang.String	getSourceText(org.w3c.dom.Document d, boolean b)
java.util.Vector	getSourceVector() Accessor method.
java.util.Vector	getStylesheetTitles()
org.w3c.dom.Document	getXMLDocument() @return Original untransformed XML document
java.net.URL	getXMLURL() Accessor method
java.util.Vector	getXMLVector() Accessor method.
org.w3c.dom.Document	getXSLDocument()
java.net.URL	getXSLURL() Accessor method
java.util.Vector	getXSLVector() Accessor method.
void	retrieveDocument() Fetch document
void	setPreferredStylesheetTitle(java.lang.String title)

Method Detail

getSourceVector

public java.util.Vector getSourceVector()

Accessor method.

Returns:

the source of the destination XML document as a Vector.

getXMLVector

public java.util.Vector getXMLVector()

Accessor method.

Returns:

returns the source of the source XML document as a Vector.

getXSLVector

public java.util.Vector getXSLVector()

Accessor method.

Returns:

returns the source of XSL-stylesheet as a Vector.

getLink

public XLink getLink()

Accessor method.

Returns:

the XLink object associated with the document.

getXMLURL

public java.net.URL getXMLURL()

Accessor method

Returns:

the URL of the source xml document

getXSLURL

public java.net.URL getXSLURL()

Accessor method

Returns:

the URL of the xsl document

getECMAScripter

public ECMAScripter getECMAScripter()

Returns:

Instance of the ECMAScripter associated with this document

getBrowser

public BrowserWindow getBrowser()

Deprecated.

getDocument

public org.w3c.dom.Document getDocument()

Returns:

The transformed version of document

getXMLDocument

public org.w3c.dom.Document getXMLDocument()

@return Original untransformed XML document

getXSLDocument

public org.w3c.dom.Document getXSLDocument()

Returns:

stylesheet in dom

getSourceText

public java.lang.String getSourceText(org.w3c.dom.Document d,
                                      boolean b)

Parameters:

d - the dom to convert

b - prettyprinting

Returns:

Transformed xml document in a string

retrieveDocument

public void retrieveDocument()
                      throws java.lang.Exception

Fetch document

Throws:

java.lang.Exception

getStylesheetTitles

public java.util.Vector getStylesheetTitles()

Returns:

Titles of stylesheets as a Vector

getCurrentStylesheetTitle

public java.lang.String getCurrentStylesheetTitle()

If the current stylesheet does not exist, then "" is returned. If no title has been specified, then the title = the URI of the stylesheet currently used

Returns:

the title of the current stylesheet

setPreferredStylesheetTitle

public void setPreferredStylesheetTitle(java.lang.String title)

Parameters:

title - Sets the preferred stylesheet title.

evalMediaQuery

public boolean evalMediaQuery(java.lang.String media)

Public method accessible from MLFCs to evaluate Media Query strings (e.g. xhtml element).

Parameters:

media - Media attribute string

Returns:

true if media query evaluates to true

deactivate

public void deactivate()