public class ObjectCoverage
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Set<java.lang.Integer> |
allpairs
A set of integers, encoding all possible pairs of abstracted values
over the fields of CUT.
|
java.util.Set<java.lang.Integer> |
coveredPairs |
java.lang.Class |
CUT |
java.util.LinkedList<java.lang.reflect.Field> |
fields
All non-static, non-abstract, and non-final fields of CUT
|
Constructor and Description |
---|
ObjectCoverage(java.lang.Class CUT) |
Modifier and Type | Method and Description |
---|---|
void |
addCoveredPairs(java.lang.Object o)
Add the pairs covered by the given object to the set of covered pairs.
|
static void |
main(java.lang.String[] args) |
void |
printReport(java.io.OutputStream out) |
void |
reset()
Clear the list of covered pairs.
|
public java.lang.Class CUT
public java.util.LinkedList<java.lang.reflect.Field> fields
public java.util.Set<java.lang.Integer> allpairs
public java.util.Set<java.lang.Integer> coveredPairs
public void reset()
public void addCoveredPairs(java.lang.Object o)
public void printReport(java.io.OutputStream out) throws java.lang.Exception
java.lang.Exception
public static void main(java.lang.String[] args)