本文整理汇总了Java中gov.nasa.jpf.Config.getStringArray方法的典型用法代码示例。如果您正苦于以下问题:Java Config.getStringArray方法的具体用法?Java Config.getStringArray怎么用?Java Config.getStringArray使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config
的用法示例。
在下文中一共展示了Config.getStringArray方法的13个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: init
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
/**
* reset ThreadInfo statics (e.g. to reinitialize JPF)
*/
static boolean init (Config config) {
currentThread = null;
globalTids = new HashMap<Integer, Integer>();
String[] haltOnThrowSpecs = config.getStringArray("vm.halt_on_throw");
if (haltOnThrowSpecs != null){
haltOnThrow = new StringSetMatcher(haltOnThrowSpecs);
}
ignoreUncaughtHandlers = config.getBoolean( "vm.ignore_uncaught_handler", true);
passUncaughtHandler = config.getBoolean( "vm.pass_uncaught_handler", true);
maxTransitionLength = config.getInt("vm.max_transition_length", 5000);
return true;
}
示例2: ChoiceTracker
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public ChoiceTracker (Config config, JPF jpf) {
this.config = config;
vm = jpf.getVM();
search = jpf.getSearch();
String fname = config.getString("choice.trace");
if (fname == null) {
isReportExtension = true;
jpf.addPublisherExtension(ConsolePublisher.class, this);
// pw is going to be set later
} else {
try {
pw = new PrintWriter(fname);
} catch (FileNotFoundException fnfx) {
System.err.println("cannot write choice trace to file: " + fname);
pw = new PrintWriter(System.out);
}
}
excludes = config.getStringArray("choice.exclude");
cgClasses = config.getClasses("choice.class");
format = config.getEnum("choice.format", Format.values(), Format.CG);
showLocation = config.getBoolean("choice.show_location", true);
}
示例3: AbstractInstructionFactory
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public AbstractInstructionFactory(Config conf) {
try {
System.out.println("Running Panda ...");
filter = new ClassInfoFilter(null, null, null, null);
PredicateAbstractionFactory factory = new PredicateAbstractionFactory();
String[] abs_str = conf.getStringArray("panda.abstract_domain");
String[][] args = new String[abs_str.length][];
for (int i = 0; i < abs_str.length; ++i) {
args[i] = abs_str[i].split(" ");
args[i][0]= args[i][0].toLowerCase();
}
PredicateAbstraction.setInstance(factory.create(conf, args));
} catch (Throwable t) {
t.printStackTrace();
throw t;
}
}
示例4: addConfiguredPublishers
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
void addConfiguredPublishers (Config conf) {
String[] def = { "console" };
Class<?>[] argTypes = { Config.class, Reporter.class };
Object[] args = { conf, this };
for (String id : conf.getStringArray("report.publisher", def)){
Publisher p = conf.getInstance("report." + id + ".class",
Publisher.class, argTypes, args);
if (p != null){
publishers.add(p);
} else {
log.warning("could not instantiate publisher class: " + id);
}
}
}
示例5: init
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
/**
* note - this is not allowed to fail, since we couldn't log that. Hardcoded default
* values have to do in this case (make sure we catch the proper Config exceptions)
*/
public static void init (Config conf) {
try {
defaultLevel = Level.parse( conf.getString("log.level", "INFO").toUpperCase());
} catch (Throwable x) {
defaultLevel = Level.WARNING;
}
activeSevere = conf.getStringArray("log.severe");
activeWarning = conf.getStringArray("log.warning");
activeInfo = conf.getStringArray("log.info");
activeConfig = conf.getStringArray("log.config");
activeFine = conf.getStringArray("log.fine");
activeFiner = conf.getStringArray("log.finer");
activeFinest = conf.getStringArray("log.finest");
handler = conf.getInstance("log.handler.class", Handler.class);
}
示例6: CGCreatorFactory
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
private CGCreatorFactory() {
Config config = VM.getVM().getConfig();
String[] cgCreators = config.getStringArray("cg-creators");
// If user specified names for additional CG creators, lets add them
if (cgCreators != null) {
for (String creator : cgCreators) {
String[] nameClassPair = creator.split(":");
String cgName = nameClassPair[0];
String cgCreatorClassName = nameClassPair[1];
CGCreator cgCreator = createCGCreator(cgCreatorClassName);
addCGCreator(cgName, cgCreator);
}
}
}
示例7: initGroupers
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
private void initGroupers(Config config) {
HashMap<String, CGAccessor> accessors;
CGGrouper grouper;
int i;
if (config.getStringArray("ssa.sort_order") == null) {
config.setProperty("ssa.sort_order", "type");
config.setProperty("ssa.sort_order2", "package,class,method,instruction,type");
}
accessors = new HashMap<String, CGAccessor>(5);
accessors.put("package", new CGPackageAccessor());
accessors.put("class", new CGClassAccessor());
accessors.put("method", new CGMethodAccessor());
accessors.put("instruction", new CGInstructionAccessor());
accessors.put("type", new CGTypeAccessor());
m_groupers.add(initGrouper(config, "ssa.sort_order", accessors));
for (i = 2; true; i++) {
grouper = initGrouper(config, "ssa.sort_order" + i, accessors);
if (grouper == null) {
break;
}
m_groupers.add(grouper);
}
}
示例8: initGrouper
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
private CGGrouper initGrouper(Config config, String parameter, Map<String, CGAccessor> accessors) {
CGGrouper grouper;
CGAccessor list[];
StringBuilder name;
String key, sortOrder[];
int i;
sortOrder = config.getStringArray(parameter);
if ((sortOrder == null) || (sortOrder.length <= 0)) {
return (null);
}
name = new StringBuilder();
list = new CGAccessor[sortOrder.length];
for (i = 0; i < sortOrder.length; i++) {
key = sortOrder[i].toLowerCase();
name.append(key);
name.append(", ");
list[i] = accessors.get(key);
if (list[i] == null) {
config.exception("Unknown sort key: " + sortOrder[i] + ". Found in parameter: " + parameter);
}
}
name.setLength(name.length() - 2);
grouper = new CGGrouper(list, name.toString());
return (grouper);
}
示例9: ExceptionInjector
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public ExceptionInjector (Config config, JPF jpf){
throwFirst = config.getBoolean("ei.throw_first", false);
String[] xSpecs = config.getStringArray("ei.exception", new char[] {';'});
if (xSpecs != null){
for (String xSpec : xSpecs){
if (!parseException(xSpec)){
throw new JPFConfigException("invalid exception spec: " + xSpec);
}
}
}
printEntries();
}
示例10: getPeerPackages
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
static String[] getPeerPackages (Config conf) {
String[] defPeerPackages = { MODEL_PACKAGE, "gov.nasa.jpf.vm", DEFAULT_PACKAGE };
String[] packages = conf.getStringArray("peer_packages", defPeerPackages);
// internalize
for (int i=0; i<packages.length; i++) {
if (packages[i].equals(MODEL_PACKAGE)) {
packages[i] = MODEL_PACKAGE;
} else if (packages[i].equals(DEFAULT_PACKAGE)) {
packages[i] = DEFAULT_PACKAGE;
}
}
return packages;
}
示例11: getMeasuredMethods
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
private Set<String> getMeasuredMethods(Config jpfConf) {
String[] measMeth = jpfConf.getStringArray(MEASURED_METHODS, jpfConf.getStringArray(SYMBOLIC_METHODS));
return Util.extractSimpleMethodNames(measMeth);
}
示例12: getSymbolicMethods
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
private Set<String> getSymbolicMethods(Config jpfConf) {
String[] symMeth = jpfConf.getStringArray(SYMBOLIC_METHODS, jpfConf.getStringArray(MEASURED_METHODS));
return Util.extractSimpleMethodNames(symMeth);
}
示例13: getSelectedSysPropsFromHost
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
int getSelectedSysPropsFromHost (MJIEnv env){
Config conf = env.getConfig();
String keys[] = conf.getStringArray("vm.sysprop.keys");
if (keys == null){
String[] defKeys = {
"path.separator",
"line.separator",
"file.separator",
"user.name",
"user.dir",
"user.timezone",
"user.country",
"java.home",
"java.version",
"java.io.tmpdir",
JAVA_CLASS_PATH
//... and probably some more
// <2do> what about -Dkey=value commandline options
};
keys = defKeys;
}
int aref = env.newObjectArray("Ljava/lang/String;", keys.length * 2);
int i=0;
for (String s : keys) {
String v;
int idx = s.indexOf('/');
if (idx >0){ // this one is an explicit key/value pair from vm.system.properties
v = s.substring(idx+1);
s = s.substring(0,idx);
} else {
// the special beasts first (if they weren't overridden with vm.system.properties)
if (s == JAVA_CLASS_PATH) {
// maybe we should just use vm.classpath
// NOTE: the curent classloader at the point it has to be a system classloader.
ClassPath cp = ClassLoaderInfo.getCurrentClassLoader().getClassPath();
// <2do> should be consistent with path.separator (this is host VM notation)
v = cp.toString();
} else { // we bluntly grab it from the host VM properties
v = System.getProperty(s);
}
}
if (v != null){
env.setReferenceArrayElement(aref,i++, env.newString(s));
env.setReferenceArrayElement(aref,i++, env.newString(v));
}
}
return aref;
}