com.intellij.rt.coverage.data

Class SwitchData

java.lang.Object

com.intellij.rt.coverage.data.SwitchData

All Implemented Interfaces:

CoverageData

public class SwitchData
extends java.lang.Object
implements CoverageData

Constructor Summary

Constructors

Constructor and Description
SwitchData(int[] keys)

Method Summary

Modifier and Type	Method and Description
int	getDefaultHits()
int[]	getHits()
int	getId(int index)
int[]	getKeys()
void	merge(CoverageData data)
void	save(java.io.DataOutputStream os)
void	setDefaultHits(int defaultHits)
void	setId(int id, int index) Switch ID is used to store coverage data in an array at runtime.
void	setKeysAndHits(int[] keys, int[] hits)
void	touch(int key)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SwitchData

public SwitchData(int[] keys)

Method Detail

touch

public void touch(int key)

getDefaultHits

public int getDefaultHits()

getHits

public int[] getHits()

save

public void save(java.io.DataOutputStream os)
          throws java.io.IOException

Throws:

java.io.IOException

merge

public void merge(CoverageData data)

Specified by:

merge in interface CoverageData

setDefaultHits

public void setDefaultHits(int defaultHits)

setKeysAndHits

public void setKeysAndHits(int[] keys,
                           int[] hits)

getKeys

public int[] getKeys()

getId

public int getId(int index)

setId

public void setId(int id,
                  int index)

Switch ID is used to store coverage data in an array at runtime.