options property

List<OptionElement> get options

Implementation

List<OptionElement> get options {
  final result = <OptionElement>[];
  for (var child in children) {
    if (child is OptionElement) {
      result.add(child);
    } else if (child is OptGroupElement) {
      for (var grandChild in child.children) {
        if (grandChild is OptionElement) {
          result.add(grandChild);
        }
      }
    }
  }
  return result;
}