// Path: src/org/snu/ids/ha/util/Timer.java
// public class Timer
// {
// 	long	startTime	= 0;
// 	long	endTime		= 0;
// 
// 
// 	/**
// 	 *
// 	 *
// 	 */
// 	public void start()
// 	{
// 		startTime = System.currentTimeMillis();
// 	}
// 
// 
// 	/**
// 	 *
// 	 *
// 	 */
// 	public void stop()
// 	{
// 		endTime = System.currentTimeMillis();
// 	}
// 
// 
// 	/**
// 	 *
// 	 * @return
// 	 */
// 	public long getStartTime()
// 	{
// 		return startTime;
// 	}
// 
// 
// 	/**
// 	 *
// 	 * @return
// 	 */
// 	public long getEndTime()
// 	{
// 		return endTime;
// 	}
// 
// 
// 	/**
// 	 *
// 	 * @return
// 	 */
// 	public double getInterval()
// 	{
// 		return getIntervalL() / 1000.0;
// 	}
// 
// 
// 	/**
// 	 * <pre>
// 	 *
// 	 * </pre>
// 	 * @author	therocks
// 	 * @since	2005. 9. 2
// 	 * @return
// 	 * @throws Exception
// 	 */
// 	public long getIntervalL()
// 	{
// 		if( startTime < endTime ) return endTime - startTime;
// 		return 0;
// 	}
// 
// 
// 	/**
// 	 * print interval time and given msg
// 	 * @param msg
// 	 */
// 	public void printMsg(String msg)
// 	{
// 		try {
// 			System.out.println(msg + "::" + getInterval() + " seconds");
// 		} catch (Exception e) {
// 			System.err.println("print error [" + msg + "]");
// 		}
// 	}
// }


import java.io.BufferedReader;
import java.io.FileInputStream;
import java.io.IOException;
import java.io.InputStreamReader;
import java.util.HashSet;
import org.snu.ids.ha.util.Timer;
/**
 * <pre>
 * </pre>
 * @author	therocks
 * @since	2008. 05. 02
 */
package org.snu.ids.ha.index;





/**
 * <pre>
 * 
 * </pre>
 * @author 	therocks
 * @since	2008. 05. 02
 */
public class WordDic
	extends HashSet<String>
{
	int	maxLen	= Integer.MIN_VALUE;
	int	minLen	= Integer.MAX_VALUE;


	public WordDic(String fileName)
	{
		super();
		load(fileName);
	}


	public void load(String fileName)
	{
		System.out.println("Loading " + fileName);
// Path: src/org/snu/ids/ha/util/Timer.java
// public class Timer
// {
// 	long	startTime	= 0;
// 	long	endTime		= 0;
// 
// 
// 	/**
// 	 *
// 	 *
// 	 */
// 	public void start()
// 	{
// 		startTime = System.currentTimeMillis();
// 	}
// 
// 
// 	/**
// 	 *
// 	 *
// 	 */
// 	public void stop()
// 	{
// 		endTime = System.currentTimeMillis();
// 	}
// 
// 
// 	/**
// 	 *
// 	 * @return
// 	 */
// 	public long getStartTime()
// 	{
// 		return startTime;
// 	}
// 
// 
// 	/**
// 	 *
// 	 * @return
// 	 */
// 	public long getEndTime()
// 	{
// 		return endTime;
// 	}
// 
// 
// 	/**
// 	 *
// 	 * @return
// 	 */
// 	public double getInterval()
// 	{
// 		return getIntervalL() / 1000.0;
// 	}
// 
// 
// 	/**
// 	 * <pre>
// 	 *
// 	 * </pre>
// 	 * @author	therocks
// 	 * @since	2005. 9. 2
// 	 * @return
// 	 * @throws Exception
// 	 */
// 	public long getIntervalL()
// 	{
// 		if( startTime < endTime ) return endTime - startTime;
// 		return 0;
// 	}
// 
// 
// 	/**
// 	 * print interval time and given msg
// 	 * @param msg
// 	 */
// 	public void printMsg(String msg)
// 	{
// 		try {
// 			System.out.println(msg + "::" + getInterval() + " seconds");
// 		} catch (Exception e) {
// 			System.err.println("print error [" + msg + "]");
// 		}
// 	}
// }


// Path: src/org/snu/ids/ha/index/WordDic.java
import java.io.BufferedReader;
import java.io.FileInputStream;
import java.io.IOException;
import java.io.InputStreamReader;
import java.util.HashSet;
import org.snu.ids.ha.util.Timer;

/**
 * <pre>
 * </pre>
 * @author	therocks
 * @since	2008. 05. 02
 */
package org.snu.ids.ha.index;





/**
 * <pre>
 * 
 * </pre>
 * @author 	therocks
 * @since	2008. 05. 02
 */
public class WordDic
	extends HashSet<String>
{
	int	maxLen	= Integer.MIN_VALUE;
	int	minLen	= Integer.MAX_VALUE;


	public WordDic(String fileName)
	{
		super();
		load(fileName);
	}


	public void load(String fileName)
	{
		System.out.println("Loading " + fileName);
		Timer timer = new Timer();