/** * Return the int property value associated with the given key, or * {@code defaultValue} if the key cannot be resolved. * * @param key the property name to resolve * @param defaultValue the default value to return if no value is found * @return The int property */ public int getInt(String key, int defaultValue) { return configuration.getInt(key, defaultValue); }
/** * Return the int property value associated with the given key, or * {@code defaultValue} if the key cannot be resolved. * * @param key the property name to resolve * @param defaultValue the default value to return if no value is found * @return The int property */ public int getInt(String key, int defaultValue) { return configuration.getInt(key, defaultValue); }
@Override public int getMaxParserContextTokens() { return _config.getInt(ARG_MAX_PARSER_CONTEXT_TOKENS); }
/** * Return the int property value associated with the given key, or * {@code defaultValue} if the key cannot be resolved. * * @param key the property name to resolve * @param defaultValue the default value to return if no value is found * @return The int property */ public int getInt(String key, int defaultValue) { return configuration.getInt(key, defaultValue); }
public int getServicePort() { return _config.getInt(ARG_SERVICE_PORT); }
public int getZ3timeout() { return _config.getInt(ARG_Z3_TIMEOUT); }
public int getCoordinatorPoolPort() { return _config.getInt(ARG_COORDINATOR_POOL_PORT); }
public int getJobs() { return _config.getInt(ARG_JOBS); }
@Override public int getMaxParserContextLines() { return _config.getInt(ARG_MAX_PARSER_CONTEXT_LINES); }
@Override public int getMaxParseTreePrintLength() { return _config.getInt(ARG_MAX_PARSE_TREE_PRINT_LENGTH); }
public int getParentPid() { return _config.getInt(ARG_PARENT_PID); }
public int getMaxRuntimeMs() { return _config.getInt(ARG_MAX_RUNTIME_MS); }
public Integer getTracingAgentPort() { return _config.getInt(ARG_TRACING_AGENT_PORT); }
public int lookupInt(String key, int defaultValue) { return configuration.getInt(key, defaultValue); }
/** * Get integer value of an integer setting from the command line (or return default). * * @param key argument name */ protected final int getIntOptionValue(String key) { String valueStr = _line.getOptionValue(key); if (valueStr != null) { _config.setProperty(key, Integer.parseInt(valueStr)); } return _config.getInt(key); }
return (T) Float.valueOf(getConfiguration().getFloat(name)); } else if (Integer.class.equals(type) || int.class.equals(type)) { return (T) Integer.valueOf(getConfiguration().getInt(name)); } else if (List.class.equals(type)) { return (T) getConfiguration().getList(name);