Gets or sets the coverage.
The coverage is a set of the names of the types of Elements that have been
created during validation.
The default value of this property is null which means that
coverage information will not be recorded.
To record coverage information, assign a HashSet to this
The values in the HashSet are preserved so you can use one
HashSet to determine the coverage of a group of documents.