public class JumpsAndSwitches extends java.lang.Object implements CoverageData
| Constructor and Description |
|---|
JumpsAndSwitches() |
| Modifier and Type | Method and Description |
|---|---|
JumpData |
addJump(int jump) |
SwitchData |
addSwitch(int switchNumber,
int[] keys) |
void |
fillArrays() |
JumpData |
getJumpData(int jump) |
JumpData[] |
getJumps() |
SwitchData |
getSwitchData(int switchNumber) |
SwitchData[] |
getSwitches() |
int |
jumpsCount() |
void |
merge(CoverageData data) |
void |
removeJump(int jump) |
void |
removeSwitch(int switchNumber) |
void |
save(java.io.DataOutputStream os) |
int |
switchesCount() |
public JumpData[] getJumps()
public SwitchData[] getSwitches()
public JumpData addJump(int jump)
public JumpData getJumpData(int jump)
public SwitchData addSwitch(int switchNumber, int[] keys)
public void removeSwitch(int switchNumber)
public SwitchData getSwitchData(int switchNumber)
public void save(java.io.DataOutputStream os)
throws java.io.IOException
java.io.IOExceptionpublic void removeJump(int jump)
public void fillArrays()
public void merge(CoverageData data)
merge in interface CoverageDatapublic int jumpsCount()
public int switchesCount()