package edu.vt.marian.server;

import java.io.*;
import java.net.*;
import java.lang.*;
import java.util.*;

import edu.vt.marian.common.Debug;


/**
	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:
*/

public class coverage_string_pair
{

	/** define the coverage
	*/
	private int coverage;
	
	/** define the data of the coverage
    */
	private String data;

	/** define the debug object
	*/
	private 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
	*/      
	public coverage_string_pair(int coverage, String data, Debug debug)
	{

		this.coverage = coverage;
		this.debug = debug;
		this.data = data;
		return;

	}



	/**
		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
	*/      
	public int get_coverage()
	{

		return coverage;
	
	}


	/**
		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
	*/      
	public String get_data()
	{
		return data;
	}
}