本文整理汇总了Java中gov.nasa.jpf.Config.getClass方法的典型用法代码示例。如果您正苦于以下问题:Java Config.getClass方法的具体用法?Java Config.getClass怎么用?Java Config.getClass使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config
的用法示例。
在下文中一共展示了Config.getClass方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: PathOutputMonitor
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public PathOutputMonitor (Config config, JPF jpf) {
vm = jpf.getVM();
vm.storePathOutput();
jpf.addPublisherExtension(ConsolePublisher.class, this);
printOutput = config.getBoolean("pom.print_output", true);
deferOutput = config.getBoolean("pom.defer_output", true);
psClass = config.getClass("pom.output_spec.class", PathOutputSpec.class);
if (psClass == null) {
psClass = RegexOutputSpec.class;
}
anySpecs = loadSpecs(config, "pom.any");
allSpecs = loadSpecs(config, "pom.all");
noneSpecs = loadSpecs(config, "pom.none");
violatedSpecs = new ArrayList<PathOutputSpec>();
}
示例2: parseCategories
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected List<Category> parseCategories (Config conf){
ArrayList<Category> list = new ArrayList<Category>();
Category category = null;
for (String key : conf.getKeysStartingWith("cgrm.")){
String[] kc = conf.getKeyComponents(key);
if (kc.length == 3){
String k = kc[1];
if (category != null){
if (!category.id.equals(k)){
addCategory(list, category);
category = new Category(k);
}
} else {
category = new Category(k);
}
k = kc[2];
if ("cg_class".equals(k)){
category.cgClass = conf.getClass(key);
} else if ("locations".equals(k)){
parseLocationSpecs(category.locations, conf.getStringArray(key));
} else if ("method_bodies".equals(k)){
parseMethodSpecs(category.methodBodies, conf.getStringArray(key));
} else if ("method_calls".equals(k)){
parseMethodSpecs(category.methodCalls, conf.getStringArray(key));
} else {
// we might have more options in the future
log.warning("illegal CGRemover option: ", key);
}
} else {
log.warning("illegal CGRemover key: ", key);
}
}
addCategory(list, category);
return list;
}