Package | Description |
---|---|
jsondiscoverer.coverage |
Interfaces for the coverage model (EMF generated).
|
jsondiscoverer.coverage.impl |
Implementation classes for the coverage model (EMF generated).
|
jsondiscoverer.coverage.util |
Utility classes for the coverage model (EMF generated).
|
Modifier and Type | Method and Description |
---|---|
Coverage |
CoverageFactory.createCoverage()
Returns a new object of class 'Coverage'.
|
Modifier and Type | Class and Description |
---|---|
class |
CoverageImpl
An implementation of the model object 'Coverage'
|
Modifier and Type | Method and Description |
---|---|
Coverage |
CoverageFactoryImpl.createCoverage() |
Modifier and Type | Field and Description |
---|---|
private Coverage |
CoverageCreator.coverage
The coverage model managed by this class
|
Modifier and Type | Method and Description |
---|---|
Coverage |
CoverageCreator.getCoverage()
Returns the coverage model hold by this class
|
static Coverage |
CoverageCreator.loadCoverage(java.io.File file)
Load a coverage model from a file
|
Modifier and Type | Method and Description |
---|---|
T |
CoverageSwitch.caseCoverage(Coverage object)
Returns the result of interpreting the object as an instance of 'Coverage'.
|