edu.vt.marian.server
Class coverage_string_pair
java.lang.Object
|
+--edu.vt.marian.server.coverage_string_pair
- public class coverage_string_pair
- extends java.lang.Object
class name: coverage_string_pair
class description: this class get the coverage and the data.
uses the services of class(es):
designer(s): Jianxin Zhao (jxzhao@csgrad.cs.vt.edu)
implementator(s): Jian Zeng (jizeng@vt.edu)
finished time:
known bugs:
JDK version: 1.1.7A
side effects:
|
Constructor Summary |
coverage_string_pair(int coverage,
java.lang.String data,
edu.vt.marian.common.Debug debug)
method description: this constructor will create a coverage_string_pair object with
the value of coverage and data. |
|
Method Summary |
int |
get_coverage()
method description: this method will return the value of coverage
uses the services of class(es):
input parameter(s): none
output parameter(s): none
return value:
coverage -- an integer indicates the coverage
synchronization consideration: none |
java.lang.String |
get_data()
method description: this method will return the value of data
uses the services of class(es):
input parameter(s): none
output parameter(s): none
return value:
data -- a String type
synchronization consideration: none |
| Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
coverage_string_pair
public coverage_string_pair(int coverage,
java.lang.String data,
edu.vt.marian.common.Debug debug)
- method description: this constructor will create a coverage_string_pair object with
the value of coverage and data.
uses the services of class(es): Debug
input parameter(s):
coverage -- the coverage of this object
data -- data of the coverage
debug -- used for debugging.
output parameter(s): none
return value: none
synchronization consideration: none
get_coverage
public int get_coverage()
- method description: this method will return the value of coverage
uses the services of class(es):
input parameter(s): none
output parameter(s): none
return value:
coverage -- an integer indicates the coverage
synchronization consideration: none
get_data
public java.lang.String get_data()
- method description: this method will return the value of data
uses the services of class(es):
input parameter(s): none
output parameter(s): none
return value:
data -- a String type
synchronization consideration: none