📄 userlist.java
字号:
package user.xml;
import java.io.FileWriter;
import java.io.IOException;
import java.util.Vector;
public class UserList {
public int size;
public UserList(int size) {
this.size = size;
}
public static final UserList instance = new UserList(50);
public static UserList getInstance()
{
return instance;
}
private Vector<Users> list = new Vector<Users>();
public void addUser(Users user) {
list.add(user);
}
public void toDTD(String file) {
try {
FileWriter out = new FileWriter(file);
out.write("<?xml version=\"1.0\" encoding=\"ISO-8859-1\" ?>\n");
out.write("\n");
out.write("<DOCTYPE Userlist [\n");
out.write("<!ELEMENT userlist (Users*)>\n");
Users.toDTD(out);
out.close();
} catch (IOException e) {
System.out.println("Cannot write in file..."+ file);
e.printStackTrace();
}
}
public void toXML(String file) {
try {
FileWriter out = new FileWriter(file);
out.write( "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n" );
out.write( "\n" );
out.write("<UserList>\n");
for (Users b :list)
b.toXML(out);
out.write("</UserList>\n");
out.close();
}
catch (IOException e) {
System.out.println("Cannot write in file..." + file);
e.printStackTrace();
}
}
public String toString()
{
String res = "";
for (Users b :list)
res +=b.toString();
return res;
}
public int size() {
return size;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -