Since 3.1.11. Optional element. Defines a list of Clover profiles, which can be selected at runtime by providing a clover.profile=<name> system property. Thanks to this you can change some of Clover's behaviour without code recompilation.
<profiles> <profile name="default" coverageRecorder="FIXED|GROWABLE|SHARED"> <distributedCoverage/> <!-- optional --> </profile> <profile .../> <!-- more profiles --> </profile>
Since 3.1.11. Contains a definition of a single runtime profile.
Attribute | Description | Required |
---|---|---|
name | The name for this profile; name must be unique among profiles. There must be one profile named "default". | No. Defaults to "default". |
coverageRecorder | Type of coverage recorder which will be used for gathering coverage data at runtime. Possible values: FIXED, GROWABLE, SHARED (case insensitive). Warning: we strongly recommend using the default setting. Do not change until you deeply understand how it works. | No. Defaults to "FIXED". |
<distributedCoverage/>
Note: a definition in <profile>/<distributedCoverage> element has priority over the <clover-setup|clover-instr>/<distributedCoverage> element.
Clover profile is being selected at runtime using the following algorithm:
So it fall-backs to default system settings in case of missing profile.