Lines Matching defs:key
209 * Given a key-value option (one that features an =), handle it
210 * accordingly. Report an error and print usage info if the key is not
213 private static void handleKeyValueOption(String key, String value) {
214 if (key.equals("input")) {
216 } else if (key.equals("inputs")) {
226 } else if (key.equals("output")) {
228 } else if (key.equals("seed")) {
231 } else if (key.equals("method-mutations")) {
233 } else if (key.equals("min-methods")) {
235 } else if (key.equals("max-methods")) {
237 } else if (key.equals("repeat")) {
239 } else if (key.equals("log")) {
241 } else if (key.equals("likelihoods")) {
243 } else if (key.equals("dump-mutations")) {
246 } else if (key.equals("load-mutations")) {
249 } else if (key.equals("report")) {
251 } else if (key.equals("unique-db")) {
253 } else if (key.equals("execute-class")) {
255 } else if (key.equals("device")) {
258 } else if (key.equals("execute-dir")) {
261 Log.error("Unrecognised key: --" + key);