options property

List<String> options
getter/setter pair

Implementation

List<String> options = List.empty();