public class JumpData extends java.lang.Object implements BranchCoverageData<JumpData>, java.io.Serializable
Constructor and Description |
---|
JumpData(java.lang.String className,
int lineNumber,
int jumpNumber) |
Modifier and Type | Method and Description |
---|---|
double |
getBranchCoverageRate() |
int |
getJumpNumber() |
int |
getNumberOfCoveredBranches() |
int |
getNumberOfValidBranches() |
void |
merge(JumpData jumpData) |
java.lang.String |
toString() |
void |
touchBranch(boolean branch) |
public JumpData(java.lang.String className, int lineNumber, int jumpNumber)
public double getBranchCoverageRate()
getBranchCoverageRate
in interface BranchCoverageData<JumpData>
public int getJumpNumber()
public int getNumberOfCoveredBranches()
getNumberOfCoveredBranches
in interface BranchCoverageData<JumpData>
public int getNumberOfValidBranches()
getNumberOfValidBranches
in interface BranchCoverageData<JumpData>
public void merge(JumpData jumpData)
merge
in interface BranchCoverageData<JumpData>
public java.lang.String toString()
toString
in class java.lang.Object
public void touchBranch(boolean branch)