Package org.jacoco.report.internal.html

Class HTMLDocument

java.lang.Object

org.jacoco.report.internal.xml.XMLElement

org.jacoco.report.internal.xml.XMLDocument

org.jacoco.report.internal.html.HTMLDocument

public class HTMLDocument
extends XMLDocument

XMLDocument that declares its content type to be XHTML 1.0 Strict and produces HTMLElements as children.

Field Summary

Fields inherited from class org.jacoco.report.internal.xml.XMLElement

writer

Constructor Summary

Constructors

Constructor	Description
HTMLDocument(java.io.OutputStream output, java.lang.String encoding)	Creates a new HTML document based on the given stream.
HTMLDocument(java.io.Writer writer, java.lang.String encoding)	Creates a new HTML document based on the given writer.

Method Summary

Modifier and Type	Method	Description
HTMLElement	body()	Creates a 'body' element.
HTMLElement	element(java.lang.String name)	Creates a new child element for this element,
HTMLElement	head()	Creates a 'head' element.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from class org.jacoco.report.internal.xml.XMLDocument

close

Methods inherited from class org.jacoco.report.internal.xml.XMLElement

addChildElement, attr, attr, attr, beginOpenTag, text

Constructor Detail

HTMLDocument

public HTMLDocument(java.io.Writer writer,
                    java.lang.String encoding)
             throws java.io.IOException

Creates a new HTML document based on the given writer.

Parameters:

writer - writer for content output

encoding - document encoding

Throws:

java.io.IOException - in case of problems with the writer

HTMLDocument

public HTMLDocument(java.io.OutputStream output,
                    java.lang.String encoding)
             throws java.io.IOException

Creates a new HTML document based on the given stream.

Parameters:

output - stream for content output

encoding - document encoding

Throws:

java.io.IOException - in case of problems with the stream

Method Detail

element

public HTMLElement element(java.lang.String name)
                    throws java.io.IOException

Description copied from class: XMLElement

Creates a new child element for this element,

Overrides:

element in class XMLElement

Parameters:

name - name of the child element

Returns:

child element instance

Throws:

java.io.IOException - in case of problems with the writer

head

public HTMLElement head()
                 throws java.io.IOException

Creates a 'head' element.

Returns:

'head' element

Throws:

java.io.IOException - in case of problems with the writer

body

public HTMLElement body()
                 throws java.io.IOException

Creates a 'body' element.

Returns:

'body' element

Throws:

java.io.IOException - in case of problems with the writer