Java JSAPResult.getErrorMessageIterator方法代码示例

import com.martiansoftware.jsap.JSAPResult; //导入方法依赖的package包/类
private boolean parseArguments(String[] args) {
	JSAPResult jsapConfig = jsap.parse(args);
	if (!jsapConfig.success()) {
		System.err.println();
		for (Iterator<?> errs = jsapConfig.getErrorMessageIterator(); errs.hasNext(); ) {
			System.err.println("Error: " + errs.next());
		}
		showUsage();
		return false;
	}
	String[] sources = jsapConfig.getStringArray("source");
	final File[] sourceFiles = new File[sources.length];
	for (int i = 0; i < sources.length; i++) {
		String path = sources[i];
		File sourceFile = FileLibrary.openFrom(path);
		sourceFiles[i] = sourceFile;
	}

	final URL[] classpath = JavaLibrary.classpathFrom(jsapConfig.getString("classpath"));

	this.nopolContext = new NopolContext(sourceFiles, classpath, jsapConfig.getStringArray("test"));

	nopolContext.setType(strToStatementType(jsapConfig.getString("type")));
	nopolContext.setMode(strToMode(jsapConfig.getString("mode")));
	nopolContext.setSynthesis(strToSynthesis(jsapConfig.getString("synthesis")));
	nopolContext.setOracle(strToOracle(jsapConfig.getString("oracle")));
	nopolContext.setSolver(strToSolver(jsapConfig.getString("solver")));
	if (jsapConfig.getString("solverPath") != null) {
		nopolContext.setSolverPath(jsapConfig.getString("solverPath"));
		SolverFactory.setSolver(nopolContext.getSolver(), nopolContext.getSolverPath());
	}
	nopolContext.setComplianceLevel(jsapConfig.getInt("complianceLevel", 7)); nopolContext.setMaxTimeInMinutes(jsapConfig.getInt("maxTime", nopolContext.getMaxTimeInMinutes()));
	nopolContext.setMaxTimeEachTypeOfFixInMinutes(jsapConfig.getInt("maxTimeType",5));

	nopolContext.setLocalizer(strToLocalizer(jsapConfig.getString("faultLocalization")));
	nopolContext.setOutputFolder(jsapConfig.getString("outputFolder"));
	nopolContext.setJson(jsapConfig.getBoolean("outputJson", false));
	return true;
}
 

import com.martiansoftware.jsap.JSAPResult; //导入方法依赖的package包/类
private static void printUsageAndExit(JSAP jsap, JSAPResult result) {
	@SuppressWarnings("rawtypes")
	Iterator it = result.getErrorMessageIterator();
	while (it.hasNext()) {
		System.err.println("Error: " + it.next());
	}

	System.err.println("Usage: " + Master.class.getName() + " "
			+ jsap.getUsage());
	System.err.println(jsap.getHelp());
	System.err
			.println("General Usage: \n1) Create a CC extractor JAR file (mvn install)\n2) Use 'deploy' command to upload the JAR to S3\n3) Use 'queue' command to fill the extraction queue with CC file names\n4) Use 'start' command to launch EC2 extraction instances\n5) Wait until everything is finished using the 'monitor' command\n6) Use 'shutdown' command to kill worker nodes\n7) Collect result data and statistics with the 'retrievedata' and 'retrievestats' commands");

	System.exit(1);
}
 

import com.martiansoftware.jsap.JSAPResult; //导入方法依赖的package包/类
public static String makeError(String command,
                               List params,
                               JSAPResult result) {
    StringBuffer buff = new StringBuffer();
    buff.append(Args.makeUsage(command, params));
    buff.append('\n');
    Iterator it = result.getErrorMessageIterator();
    while(it.hasNext()) {
        buff.append(it.next());
        buff.append('\n');
    }
    return buff.toString();
}
 

import com.martiansoftware.jsap.JSAPResult; //导入方法依赖的package包/类
public static void init(String[] args) throws Exception {
  // argument parser:
  JSAP jsap = new JSAP();

  jsap.registerParameter(new FlaggedOption("email").setStringParser(JSAP.STRING_PARSER).setRequired(false).setLongFlag("email"));

  jsap.registerParameter(new FlaggedOption("params").setStringParser(JSAP.STRING_PARSER).setRequired(true).setShortFlag('p'));

  jsap.registerParameter(new FlaggedOption("year").setStringParser(JSAP.INTEGER_PARSER).setRequired(false).setShortFlag('y'));

  jsap.registerParameter(new FlaggedOption("month").setStringParser(JSAP.INTEGER_PARSER).setRequired(false).setShortFlag('m'));

  jsap.registerParameter(
      new FlaggedOption("contract").setLongFlag("contract").setShortFlag('c').setStringParser(JSAP.INTEGER_PARSER).setRequired(false));

  jsap.registerParameter(new Switch("offline").setLongFlag("offline").setDefault("false"));

  jsap.registerParameter(new Switch("debug").setLongFlag("debug").setDefault("false"));

  jsap.registerParameter(new FlaggedOption("do").setStringParser(JSAP.STRING_PARSER).setRequired(false).setLongFlag("do"));

  JSAPResult config = jsap.parse(args);
  if (!config.success()) {
    for (@SuppressWarnings("rawtypes")
    java.util.Iterator errs = config.getErrorMessageIterator(); errs.hasNext();) {
      System.err.println("Error: " + errs.next());
    }
    System.out.println("Usage:\n\n\t" + jsap.getUsage() + "\n\n");

    System.exit(1);
  }

  File propFile = new File(config.getString("params"));
  if (!propFile.exists()) {
    String msg = "Cannot find property file: " + config.getString("params");
    System.out.println(msg);
    throw new Exception(msg);
  } else {}

  boolean connectToDB = !config.getBoolean("offline");

  FileInputStream in;
  Properties props = new Properties();
  ;
  try {
    in = new FileInputStream(propFile);
    props.load(in);
    in.close();
  } catch (Exception e) {
    logger.error(e);
    System.exit(0);
  }

  GlobalConstants.load(props);

  if (connectToDB) {
    DatabaseManager.initDatabaseManager(props.getProperty("host"), Integer.parseInt(props.getProperty("port")), props.getProperty("user"),
        props.getProperty("pass"), props.getProperty("db"), true);
  } else {
    System.out.println("WARNING: not connecting to DB");
  }

}