📄 kiddata.java
字号:
import java.util.*;
public class KidData
{
Vector kids;
//------------------------------------------
public KidData(String filename)
{
kids = new Vector();
InputFile f = new InputFile(filename);
String s = f.readLine();
while(s != null)
{
if(s.trim().length() > 0)
{
Kid k = new Kid(s);
kids.addElement(k);
}
s = f.readLine();
}
}
//--------------------------------
public Kid[] getData()
{
Kid[] kd = new Kid[kids.size()];
for(int i=0; i< kids.size(); i++)
kd[i] = (Kid)kids.elementAt(i);
return kd;
}
//--------------------------------
public Enumeration elements()
{
return kids.elements();
}
//-------------------------------
public int size()
{
return kids.size();
}
//--------------------------------
public Kid getKid(int i)
{
return (Kid)kids.elementAt(i);
}
//--------------------------------
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -