/* * user.java * * Created on 2003年5月1日, 上午9:16 *//** * * @author  超級用戶 */public class user {        private String name = null;        private String password = null;        private double money = 0;        private privateStocks pri_stocks = null;        private dataBase db=new dataBase();        /** Creates a new instance of user */    public user(java.lang.String username) {        name=username;        password=db.getPassword(username);        money=db.getMoney(username);        pri_stocks.get(username);    }        void buy(user u, stock s, int num) {    }        void sall(user u, stock s, int num) {    }        double getMoney() {        return money;    }        String getPassword() {        return password;    }        public void save() {        db.clear(name);        db.userWrite(name, password, money);        pri_stocks.save(name);    }    }