本文整理汇总了Java中gov.nasa.jpf.Config.getCompactTrimmedStringArray方法的典型用法代码示例。如果您正苦于以下问题：Java Config.getCompactTrimmedStringArray方法的具体用法？Java Config.getCompactTrimmedStringArray怎么用？Java Config.getCompactTrimmedStringArray使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config的用法示例。
在下文中一共展示了Config.getCompactTrimmedStringArray方法的5个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的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: getFieldAbstractions
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected List<FieldAbstraction> getFieldAbstractions(Config conf){
List<FieldAbstraction> list = null;
String[] fids = conf.getCompactTrimmedStringArray("das.fields");
for (String id : fids) {
String keyPrefix = "das." + id;
String fs = conf.getString(keyPrefix + ".field");
if (fs != null) {
FieldSpec fspec = FieldSpec.createFieldSpec(fs);
if (fspec != null) {
String aKey = keyPrefix + ".abstraction";
Abstraction abstraction = conf.getInstance(aKey, Abstraction.class);
logger.info("found field abstraction for ", fspec, " = ", abstraction.getClass().getName());
if (list == null){
list = new LinkedList<FieldAbstraction>();
}
list.add(new FieldAbstraction(fspec, abstraction));
}
} else {
logger.warning("no field spec for id: " + id);
}
}
return list;
}
示例4: getTestPathElements
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
static String[] getTestPathElements (Config config){
String projectId = JPFSiteUtils.getCurrentProjectId();
if (projectId != null) {
String testCpKey = projectId + ".test_classpath";
return config.getCompactTrimmedStringArray(testCpKey);
} else {
return new String[0];
}
}
示例5: JPF_sun_net_www_protocol_http_Handler
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public JPF_sun_net_www_protocol_http_Handler (Config conf){
String[] specs = conf.getCompactTrimmedStringArray("http.connection");
if (specs != null){
map = new MapEntry[specs.length];
for (int i=0; i<specs.length; i++){
String s = specs[i];
MapEntry e = null;
int idx = s.indexOf("--");
if (idx > 0 && idx < (s.length() - 3)){
String pattern = s.substring(0, idx).trim();
String clsName = s.substring(idx+2).trim();
if (!pattern.isEmpty() && !clsName.isEmpty()){
StringMatcher matcher = new StringMatcher(pattern);
e = new MapEntry(matcher, clsName);
logger.info("mapping URL pattern ", pattern, " to ", clsName);
}
}
if (e == null){
throw new JPFConfigException("not a valid http.connection spec: " + s);
}
map[i] = e;
}
}
}