public class JumpData extends java.lang.Object implements CoverageData
| Constructor and Description |
|---|
JumpData() |
| Modifier and Type | Method and Description |
|---|---|
int |
getFalseHits() |
int |
getId(boolean type) |
int |
getTrueHits() |
void |
merge(CoverageData data) |
void |
save(java.io.DataOutputStream os) |
void |
setFalseHits(int falseHits) |
void |
setId(int id,
boolean type)
Branch ID is used to store coverage data in an array at runtime.
|
void |
setTrueHits(int trueHits) |
void |
touchFalseHit() |
void |
touchTrueHit() |
public void touchTrueHit()
public void touchFalseHit()
public int getTrueHits()
public int getFalseHits()
public void save(java.io.DataOutputStream os)
throws java.io.IOException
java.io.IOExceptionpublic void merge(CoverageData data)
merge in interface CoverageDatapublic void setTrueHits(int trueHits)
public void setFalseHits(int falseHits)
public int getId(boolean type)
public void setId(int id,
boolean type)