📄 properties.java
字号:
import java.util.*;
import java.io.*;
public class Properties
{
public Properties()
{
resultRecord(100);
}
public void resultRecord(int score)
{
// System.out.println("test-a");
Properties pp = new Properties();
try
{
pp.load(new FileInputStream("Miracle.ini"));
Enumeration enumt= pp.propertyNames();
while(enumt.hasMoreElements())
{
String name = (String)enumt.nextElement();
String score_temp = pp.getProperty(name);
System.out.println(name+"="+score_temp);
}
}catch(Exception e)
{
System.out.println("Cannot find the file");
System.out.println(e.getMessage());
}
}
public static void main(String[] args)
{
new Properties();
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -