📄 convert.java
字号:
import java.io.*;import java.util.*;public class Convert { public static void main( String[] args ) { String serialize_file = args[0]; try { FileInputStream ins = new FileInputStream( serialize_file ); ObjectInputStream p = new ObjectInputStream( ins ); Vector vehicles = (Vector)p.readObject(); Vector dates = (Vector)p.readObject(); Vector odometer = (Vector)p.readObject(); Vector gallons = (Vector)p.readObject(); Vector costs = (Vector)p.readObject(); ins.close(); Vector entries = new Vector( vehicles.size() ); for( int i = 0; i < vehicles.size(); i++ ) { entries.add( new TableEntry( (String)(vehicles.get( i )) , (String)(dates.get( i )) , (String)(odometer.get( i )) , (String)(gallons.get( i )) , (String)(costs.get( i )) ) ); } FileOutputStream out = new FileOutputStream( serialize_file ); ObjectOutputStream s = new ObjectOutputStream( out ); s.writeObject( entries ); s.flush(); out.close(); } catch( Exception e ) { System.err.println( "An error occurred while converting: " + e.getMessage() ); e.printStackTrace(); } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -