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 HTMLElement s 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.