📄 servergui.java
字号:
import java.awt.*;
import java.util.List;
import javax.swing.*;
import java.util.*;
import java.awt.event.*;
import java.io.*;
public class ServerGUI extends JFrame{
public ServerGUI(Library lib){
JProgressBar active=new JProgressBar(0,ServerPool.POOL_MAX);
JProgressBar total=new JProgressBar(0,ServerPool.POOL_MAX);
active.setStringPainted(true);
total.setStringPainted(true);
Container c=getContentPane();
c.setLayout(new GridLayout(2,1));
JPanel p=new JPanel(new FlowLayout());
p.add(new JLabel("total size"));
p.add(total);
c.add(p);
p=new JPanel(new FlowLayout());
p.add(new JLabel("active size"));
p.add(active);
c.add(p);
addWindowListener(new WindowAdapter() {
public void windowClosing(WindowEvent e) {
System.exit(0);
}
});
pack();
ServerPool sp=new ServerPool(lib,active,total);
setTitle("monitor on"+sp.getLocalPort());
}
public static void main(String[] args) {
List borrowers=new ArrayList();
for(int i=0;i<100;i++)
borrowers.add(new Borrower());
List books=new ArrayList();
for(int j=0;j<100;j++)
books.add(new Book(new Integer(j).toString()));
Library lib=new Library(books,borrowers);
ServerGUI frame = new ServerGUI(lib);
frame.setVisible(true);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -