coverage property

Coverage coverage
getter/setter pair

Implementation

late Coverage coverage;