📄 e0b22c353d8b001c1ef4f4e88aa799ae
字号:
package main.cn.edu.nju.software.sd.cll;
import java.io.*;
import java.util.*;
public class Configuration {
public static final String path = "config/loggerConfiguration.txt";
public static Properties configuration= new Properties();
public static void initRootLogger(Logger rootLogger){
try
{
configuration.load(new FileInputStream(path));
}
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);
}
}
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);
}
}
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);
}
}
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -