⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 userlist.java

📁 chat system using rmi
💻 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 + -