本文整理汇总了Java中gov.nasa.jpf.Config.containsKey方法的典型用法代码示例。如果您正苦于以下问题:Java Config.containsKey方法的具体用法?Java Config.containsKey怎么用?Java Config.containsKey使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config
的用法示例。
在下文中一共展示了Config.containsKey方法的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: SummaryConfig
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public SummaryConfig(Config conf) {
if (conf.containsKey("summary.methods")) {
for (String id : conf.getStringSet("summary.methods")) {
summaryMethods.add(ConcolicMethodConfig.read(
id, "concolic.method." + id, conf));
}
}
}
示例2: getPathElements
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected File[] getPathElements (Config conf, String keyBase, int appId) {
File[] pathElements = null;
// try appId indexed key first
String key = keyBase + '.' + appId;
if (conf.containsKey(key)) {
pathElements = conf.getPathArray(key);
} else { // fall back to keyBase
pathElements = conf.getPathArray(keyBase);
}
return pathElements;
}
示例3: read
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public static ConcolicMethodConfig read(String id, String prefix, Config config) {
String methodSpec = config.getProperty(prefix);
MethodSpec ms = MethodSpec.parse(methodSpec);
String location = config.getProperty(prefix + ".location");
String configId = config.getProperty(prefix + ".config");
AnalysisConfig ac = AnalysisConfig.read("jdart.configs." + configId, config);
String valConf = config.getProperty(prefix + ".values");
ConcolicValues values = new ConcolicValuesFromConfig(ms, valConf);
if (config.containsKey(prefix + ".valfile")) {
values = new ConcolicValuesFromFile(config.getProperty(prefix + ".valfile"), ms);
}
return new ConcolicMethodConfig(id, ms, location, ac, values);
}