Java Config.getStringArray方法代码示例

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;
}
 

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);
}
 

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;
    }
}
 

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);
    }
  }
}
 

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);
}
 

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);
    }
  }
}
 

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);
  }
}
 

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);
}
 

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();
}
 

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;
}
 

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);
}
 

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); 
}
 

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;
}