| Package | Description |
|---|---|
| org.jacoco.report.internal.html | |
| org.jacoco.report.internal.xml |
| Modifier and Type | Class | Description |
|---|---|---|
class |
HTMLDocument |
XMLDocument that declares its content type to be XHTML 1.0 Strict and
produces HTMLElements as children. |
class |
HTMLElement |
A
XMLElement with utility methods to create XHTML documents. |
| Modifier and Type | Class | Description |
|---|---|---|
class |
XMLDocument |
Root element of an XML document.
|
| Modifier and Type | Field | Description |
|---|---|---|
protected XMLElement |
XMLGroupVisitor.element |
XML element of this group
|
| Modifier and Type | Method | Description |
|---|---|---|
XMLElement |
XMLElement.attr(java.lang.String name,
int value) |
Adds an attribute to this element.
|
XMLElement |
XMLElement.attr(java.lang.String name,
long value) |
Adds an attribute to this element.
|
XMLElement |
XMLElement.attr(java.lang.String name,
java.lang.String value) |
Adds an attribute to this element.
|
static XMLElement |
XMLCoverageWriter.createChild(XMLElement parent,
java.lang.String tagname,
java.lang.String name) |
Creates a child element with a name attribute.
|
XMLElement |
XMLElement.element(java.lang.String name) |
Creates a new child element for this element,
|
XMLElement |
XMLElement.text(java.lang.String text) |
Adds the given text as a child to this node.
|
| Modifier and Type | Method | Description |
|---|---|---|
protected void |
XMLElement.addChildElement(XMLElement child) |
Adds the given child to this element.
|
static XMLElement |
XMLCoverageWriter.createChild(XMLElement parent,
java.lang.String tagname,
java.lang.String name) |
Creates a child element with a name attribute.
|
static void |
XMLCoverageWriter.writeBundle(IBundleCoverage bundle,
XMLElement element) |
Writes the structure of a given bundle.
|
static void |
XMLCoverageWriter.writeCounters(ICoverageNode node,
XMLElement parent) |
Writes all non-zero counters of the given node.
|
| Constructor | Description |
|---|---|
XMLGroupVisitor(XMLElement element,
java.lang.String name) |
New handler for a group with the given name.
|
Copyright © 2018. All rights reserved.