Standards /

WCPS-Manual / coverageIdentifier

The coverageIdentifier element represents the name of a single coverage offered by the server addressed.

Let

id be the identifier of a coverage C1 offered by the server.

Then

for any coverageExpr C2,
where

C2 =  id

C2 is defined as follows:

Example

The following coverage expression evaluates to the complete, unchanged coverage C, assuming it is offered by the server:

C