public class AntCloverProfile extends CloverProfile
<profile name="default" coverageRecorder="fixed|growable|shared">
[<distributedCoverage/>]
<profile>
in Ant build script. Default attribute values are:
AntCloverProfiles,
Serialized FormCloverProfile.CoverageRecorderTypecoverageRecorder, DEFAULT_COVERAGE_RECORDER, DEFAULT_NAME, distributedCoverage, name| Constructor and Description |
|---|
AntCloverProfile() |
| Modifier and Type | Method and Description |
|---|---|
void |
addConfiguredDistributedCoverage(DistributedConfig config)
Setter for Ant's
|
void |
setCoverageRecorder(String recorderName)
Setter for Ant's
<profile coverageRecorder="..."> attribute. |
void |
setName(String name)
Setter for Ant's
<profile name="..."> attribute. |
getCoverageRecorder, getDistributedCoverage, getName, setCoverageRecorder, setDistributedCoveragepublic void setName(String name)
<profile name="..."> attribute.public void setCoverageRecorder(String recorderName)
<profile coverageRecorder="..."> attribute.public void addConfiguredDistributedCoverage(DistributedConfig config)
<profile>
<distributedCoverage ... />
<profile>
config - passed by AntCopyright © 2024 OpenClover.org. All rights reserved.