本文整理汇总了Java中gov.nasa.jpf.Config.getDouble方法的典型用法代码示例。如果您正苦于以下问题：Java Config.getDouble方法的具体用法？Java Config.getDouble怎么用？Java Config.getDouble使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config的用法示例。
在下文中一共展示了Config.getDouble方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: createFieldChecks
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
private void createFieldChecks(Config conf){
String[] checkIds = conf.getCompactTrimmedStringArray("range.fields");
if (checkIds.length > 0){
fieldChecks = new FieldCheck[checkIds.length];
for (int i = 0; i < checkIds.length; i++) {
String id = checkIds[i];
FieldCheck check = null;
String keyPrefix = "range." + id;
String spec = conf.getString(keyPrefix + ".field");
if (spec != null) {
FieldSpec fs = FieldSpec.createFieldSpec(spec);
if (fs != null) {
double min = conf.getDouble(keyPrefix + ".min", Double.MIN_VALUE);
double max = conf.getDouble(keyPrefix + ".max", Double.MAX_VALUE);
check = new FieldCheck(fs, min, max);
}
}
if (check == null) {
throw new JPFConfigException("illegal field range check specification for " + id);
}
fieldChecks[i] = check;
}
}
}
示例2: createVarChecks
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
private void createVarChecks(Config conf){
String[] checkIds = conf.getCompactTrimmedStringArray("range.vars");
if (checkIds.length > 0){
varChecks = new VarCheck[checkIds.length];
for (int i = 0; i < checkIds.length; i++) {
String id = checkIds[i];
VarCheck check = null;
String keyPrefix = "range." + id;
String spec = conf.getString(keyPrefix + ".var");
if (spec != null) {
VarSpec vs = VarSpec.createVarSpec(spec);
if (vs != null) {
double min = conf.getDouble(keyPrefix + ".min", Double.MIN_VALUE);
double max = conf.getDouble(keyPrefix + ".max", Double.MAX_VALUE);
check = new VarCheck(vs, min, max);
}
}
if (check == null) {
throw new JPFConfigException("illegal variable range check specification for " + id);
}
varChecks[i] = check;
}
}
}
示例3: DoubleThresholdGenerator
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public DoubleThresholdGenerator(Config conf, String id) {
super(id);
values[0] = conf.getDouble(id + ".low");
values[1] = conf.getDouble(id + ".threshold");
values[2] = conf.getDouble(id + ".high");
count = -1;
}