For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Gets a named option from the option object, if present.
JsonValue getOption(string name)