Property getter and setter for options:
List<String>? get options;
set options(List<String>? options);