Java 类com.google.common.base.Splitter.MapSplitter 实例源码

private Mathsat5Settings(Configuration config, @Nullable PathCounterTemplate pLogfile)
    throws InvalidConfigurationException {
  config.inject(this);
  logfile = pLogfile;

  MapSplitter optionSplitter =
      Splitter.on(',')
          .trimResults()
          .omitEmptyStrings()
          .withKeyValueSeparator(Splitter.on('=').limit(2).trimResults());

  try {
    furtherOptionsMap = ImmutableMap.copyOf(optionSplitter.split(furtherOptions));
  } catch (IllegalArgumentException e) {
    throw new InvalidConfigurationException(
        "Invalid Mathsat option in \"" + furtherOptions + "\": " + e.getMessage(), e);
  }
}