package main.cn.edu.nju.software.sd.cll;
import java.io.*;
import java.util.*;

public class Configuration {
	public static String path = readClasspath();
	public static Properties configuration= new Properties();
	
/**讀取工程的classpath,獲得配置文件的路徑*/	
	public static String readClasspath()
	{
		String p = System.getProperty("java.class.path");
		String classpath = null;
		int semi = p.indexOf(";");
		if(semi==-1)
		{
			classpath = p+"/loggerConfiguration.txt";
		}
		else
		{
			classpath = p.substring(0, semi) + "/loggerConfiguration.txt";
		}
		return classpath;
	}
/**配置root logger*/	
	public static void initRootLogger(Logger rootLogger){
		try
		{
			configuration.load(new FileInputStream(path));
			configLevel(rootLogger);
			configDestination(rootLogger);
			configFormat(rootLogger);
		}
		catch(Exception e)
		{
			e.printStackTrace();
		}
	}
	public static void config(Logger logger) {
		try {
			configuration.load(new FileInputStream(path));
			
			configLevel(logger);
			configDestination(logger);
			configFormat(logger);		
		}
		catch(Exception e) {
			e.printStackTrace();
		}
	}
	
	
	/**配置logger的level*/
	public static void configLevel(Logger logger)
	{
		String levelstr = configuration.getProperty(logger.getName());
		if(levelstr==null)
		{
			logger.setLevel(null, true);
		}
		else
		{
			Level l = Level.toLevel(levelstr);
			logger.setLevel(l, false);
		}
	}
	/**從配置文件中讀取信息配置format*/
	public static void configFormat(Logger logger)
	{
		String formatstr = configuration.getProperty(logger.getName()+".format");
		if(formatstr==null)
		{
			logger.setFormat(null, true);
		}
		else
		{
			Format f = new Format(formatstr);
			logger.setFormat(f, false);
		}
	}
	/**從配置文件中讀取信息配置destination*/
	public static void configDestination(Logger logger)
	{
		String desStr = configuration.getProperty(logger.getName()+".destination");
		if(desStr==null)
		{
			logger.addHandler(null, true);
		}
		else
		{
			String[] des = desStr.split(",");
			for(int i=0;i<des.length;i++)
			{
				if(des[i].equalsIgnoreCase("CONSOLE"))
				{
					logger.addHandler(new ConsoleHandler(), false);
				}
				else if(des[i].equalsIgnoreCase("FILE"))
				{
					String files = configuration.getProperty(logger.getName()+".destination.file");
					logger.addHandler(new FileHandler(files), false);
				}
			}
		}
	}
}