{
String name=in.readUTF(); //从记录中读取两个字节以UTF-8编码 int time=in.readInt(); //从记录中读取四个字节以UTF-8编码
readPosition=in.getFilePointer();
People people=new People(name,time);
treeSet.add(people);
}
in.close();
Iteratoriter=treeSet.iterator();
while(iter.hasNext())//迭代
{
People p=iter.next(); //下一个游戏者信息
showArea.append(p.getName()+":所用时间(秒), "+p.getTime()); showArea.append("\n");
}
}
catch(IOException exp){System.out.println(exp);}
}
public void actionPerformed(ActionEvent e)
{
if(e.getSource()==clear)//清除
{
try{