📄 systemsettingpath.java
字号:
/**
* Description: provide the system setting paths
*
* @ Author Create/Modi Note
* Xiaofeng Xie Nov 02, 2006
*/
package maosKernel.infoIO.setting;
import java.io.*;
import Global.define.*;
import Global.system.io.*;
import Global.basic.nodes.*;
import Global.basic.nodes.utilities.*;
public class SystemSettingPath {
private static UtilSetNode usedFileCollection = new UtilSetNode();
// file system
public static final String RootSettingPath = GlobalPath.SettingPATH;
public static final String DefaultSettingFile = "default.par";
public static final String DefaultScheduleFile = "schedule.txt";
public static final String DefaultPrjIOFile = "projectIO.par";
public static final String DefaultSwarmFile = "swarm.par";
public static final String DefaultTopologyFile = "topology.par";
public static final String DefaultSolverName = "default";
public static final String SolverFilePrefix = "solver";
public static String getInitializerName(String problemType) {
return "implement."+problemType+".RealMAOSInitializer";
}
public static String getTimeScheduleFileName() {
return RootSettingPath+BasicTag.FILE_SEP_TAG+DefaultScheduleFile;
}
public static String getRootSettingPath() {
String path = System.getProperty("MAOSDIR");
if (path!=null) return path;
return RootSettingPath;
}
public static String getTopologyFileName() {
return GlobalFile.getFileLocation(getRootSettingPath(), DefaultTopologyFile);
}
public static String getSpecSettingPath(String problemType) {
return GlobalFile.getFileLocation(getRootSettingPath(), problemType);
}
public static String getFullSolverFileName(String problemType, String solverName) {
return GlobalFile.getFileLocation(
SystemSettingPath.getSpecSettingPath(problemType),
SystemSettingPath.getSolverFileName(solverName));
}
public static String getSolverFileName(String solverName) {
if (solverName.trim().length()==0) solverName = DefaultSolverName;
return GlobalFile.getFileLocation(SolverFilePrefix, solverName);
}
public static void submitUsedFile(String fileType, String fileName) {
usedFileCollection.initUtility(new BasicUtility(fileType, fileName));
}
public static String getAllUsedFilesString() {
String str = "";
for (int i=0; i<usedFileCollection.getUtilitiesSize(); i++) {
str += usedFileCollection.getUtilityAt(i).getSummary()+BasicTag.RETURN_TAG;
}
return str;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -