📄 schdata.java
字号:
package jMaint;import java.util.*;public class SchData { Vector serv,dist,time,cal,veh; public SchData() { serv = new Vector(); dist = new Vector(); time = new Vector(); cal = new Vector(); veh = new Vector(); } public void addRecord(int ServiceID, int DistanceInterval, String TimeInterval, String CalendarInterval, int VehicleID) { this.serv.addElement(new Integer(ServiceID)); this.dist.addElement(new Integer(DistanceInterval)); this.time.addElement(new String(TimeInterval)); this.cal.addElement(new String(CalendarInterval)); this.veh.addElement(new Integer(VehicleID)); } public void deleteRecord(int x) { this.serv.removeElementAt(x); this.dist.removeElementAt(x); this.time.removeElementAt(x); this.cal.removeElementAt(x); this.veh.removeElementAt(x); } public void editRecord(int x, int DistanceInterval, String TimeInterval, String CalendarInterval) { this.dist.setElementAt(new Integer(DistanceInterval),x); this.time.setElementAt(new String(TimeInterval),x); this.cal.setElementAt(new String(CalendarInterval),x); } public String exportRecord(int x) { String t = String.valueOf('\t'); String nl = String.valueOf('\n'); return this.getServiceID(x)+t+this.getDistanceInterval(x)+t+this.getTimeInterval(x)+t+this.getCalendarInterval(x)+t+this.getVehicleID(x)+nl; } public String getCalendarInterval(int x) { return this.cal.get(x).toString(); } public int getDistanceInterval(int x) { return Integer.parseInt(this.dist.get(x).toString()); } public int getServiceID(int x) { return Integer.parseInt(this.serv.get(x).toString()); } public String getTimeInterval(int x) { return this.time.get(x).toString(); } public int getVehicleID(int x) { return Integer.parseInt(this.veh.get(x).toString()); } public int indexServiceID(int ServiceID, int VehicleID) { int x = this.serv.indexOf(new Integer(ServiceID),this.indexVehStart(VehicleID)); if (x>this.indexVehEnd(VehicleID)) x = -1; return x; } public int indexVehStart(int VehicleID) { return this.veh.indexOf(new Integer(VehicleID)); } public int indexVehEnd(int VehicleID) { return this.veh.lastIndexOf(new Integer(VehicleID)); } public void insertRecord(int x, int ServiceID, int DistanceInterval, String TimeInterval, String CalendarInterval, int VehicleID) { this.serv.insertElementAt(new Integer(ServiceID),x); this.dist.insertElementAt(new Integer(DistanceInterval),x); this.time.insertElementAt(new String(TimeInterval),x); this.cal.insertElementAt(new String(CalendarInterval),x); this.veh.insertElementAt(new Integer(VehicleID),x); } public int size() { return this.serv.size(); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -