📄 datareader.java
字号:
/** * */package cn.edu.njupt.sc.data;import java.io.File;/** * @author smartzxy@gmail.com * */public interface DataReader { /** * Set the data file from the given file name such as "data.xml". * * @param file */ public void setSource(String file); /** * Set the data file from the given File object. * * @param file * */ public void setSource(File file); /** * Query specific parameter's value from given path. * * @param arg * parameter path. * @return the value of parameter;This method does not return null. */ public String read(String arg); /** * Query specific parameter's attribute from given path. * * @param arg * parameter path * @return the attribute value for the attribute with the given name, or * null if there is no such attribute, or the empty string if the * attribute value is empty. */ public String readAttribute(String arg, String attribute);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -