pick method

Parameters pick(List<String> paths)

Picks select parameters from this Parameters and returns them as a new Parameters object.

• paths keys to be picked and copied over to new Parameters. Returns a new Parameters object.

Implementation

Parameters pick(List<String> paths) {
  var result = Parameters();
  for (var index = 0; index < paths.length; index++) {
    var path = paths[index];
    if (containsKey(path)) result.put(path, get(path));
  }
  return result;
}