📄 record.java
字号:
package support;
import java.io.*;
public class Record {
/**
* @param args
*/
private String[] record;//记录内容
private int [] length;//每条记录内容的长度
private int recnum=0;//记录数量
private String path;//存储路径
private File file;//记录文件
/*构造函数*/
public Record(){}
public Record(String[] s)
{
this.setRecords(s);
}
public Record(int n)
{/*创建一个数量为n的记录对象*/
this.setRecords(n);
}
/*属性设定函数*/
public void setRecords(String []s )
{/*记录操作函数 */
record=s;
recnum=record.length;
length=new int[s.length];
for(int i=0;i<s.length;i++)
length[i]=record[i].length();
}
public void setRecords(int n)
{/*创建一个数量为n的记录对象*/
record=new String[n];
recnum=n;
length=new int[n];
for(int i=0;i<recnum;i++)
length[i]=0;
}
public String getRecord(int r)
{
return record[r];
}
public String[] getRecords()
{
return record;
}
public String getPath()
{/*返回存储路径*/
return path;
}
public void Load(String p)
{/*加载记录文件*/
path=p;
file=new File(path);
String temp="";//读取字符串缓冲
try{
DataInputStream din=new DataInputStream(new FileInputStream(file));
recnum=din.readInt();
this.setRecords(recnum);//创建记录存储对象
for(int i=0;i<recnum;i++)
{
length[i]=din.readInt();
for(int j=0;j<length[i];j++)
temp+=din.readChar();
record[i]=temp;
temp="";
}
din.close();
}catch(Exception e){/*暂时不作任何处理*/}
}
public void Save(String p)
{/*存储文件记录*/
path=p;
file=new File(path);
try{
DataOutputStream dout=new DataOutputStream(new FileOutputStream(file));
dout.writeInt(recnum);
for(int i=0;i<recnum;i++)
{
dout.writeInt(length[i]);
dout.writeChars(record[i]);
}
dout.close();
}catch(Exception e){/*暂时不作任何处理*/}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -